Property:Publisher

From Simia
(Difference between pages)
Jump to navigation Jump to search
imported>Denny
(New page: The publisher is mostly defined for books. Within this site it is also defined for blog posts, which are originally published in one of the different blogs this page used to be. [[has type...)
 
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).)
 
Line 1: Line 1:
The publisher is mostly defined for books. Within this site it is also defined for blog posts, which are originally published in one of the different blogs this page used to be. [[has type::page| ]]
+
As in Description Logics. The meaning of subproperty of is, in FOL:
 +
 
 +
:p(a, b).
 +
:subpropertyOf(p, r).
 +
----
 +
:r(a, b).

Latest revision as of 05:35, 19 December 2009

As in Description Logics. The meaning of subproperty of is, in FOL:

p(a, b).
subpropertyOf(p, r).

r(a, b).
... more about "Subproperty of"