Property:Subproperty of

From Simia
(Difference between pages)
Jump to navigation Jump to search
imported>Denny
(New page: As in Description Logics. The meaning of subproperty of is, in FOL: :p(a, b). :subpropertyOf(p, r). ---- :r(a, b).)
 
imported>Denny
(New page: For longer has type::texts.)
 
Line 1: Line 1:
As in Description Logics. The meaning of subproperty of is, in FOL:
+
For longer [[has type::text]]s.
 
 
:p(a, b).
 
:subpropertyOf(p, r).
 
----
 
:r(a, b).
 

Revision as of 16:58, 26 December 2007

For longer texts.

Showing 1 page using this property.
... more about "Subproperty of"