![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
|
| (subclass PublicPark Park) | Mid-level-ontology.kif 9445-9445 | Public park is a subclass of park |
| (documentation PublicPark EnglishLanguage "A Park that is publicly owned, i.e. owned by a Government.") | Mid-level-ontology.kif 9446-9447 | Public park is a subclass of park |
| (externalImage PublicPark "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3e/ Public_garden_in_Tours%2C_France.jpg") | pictureList.kif 6802-6802 | Public park is a subclass of park |
| (externalImage PublicPark "http://upload.wikimedia.org/wikipedia/commons/ 8/ 85/ Laleh_park_jonub.jpg") | pictureList.kif 7672-7672 | Public park is a subclass of park |
| (externalImage PublicPark "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8b/ Queen_Elizabeth_Park.jpg") | pictureList.kif 7673-7673 | Public park is a subclass of park |
| (externalImage PublicPark "http://upload.wikimedia.org/wikipedia/en/e/e3/ Richmond_Park_-_London_-_England_-_02102005.jpg") | pictureList.kif 7676-7676 | Public park is a subclass of park |
| (externalImage PublicPark "http://upload.wikimedia.org/wikipedia/commons/ d/ d2/ Centralpark.png") | pictureList.kif 7677-7677 | Public park is a subclass of park |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?P PublicPark) (exists (?G) (and (instance ?G Government) (possesses ?G ?P)))) |
Mid-level-ontology.kif 9449-9454 | If X is an instance of public park, then there exists Y such that Y is an instance of government and Y possesses X |