Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Park
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Park LandArea) | Mid-level-ontology.kif 9425-9425 | Park is a subclass of land area |
| (documentation Park EnglishLanguage "A LandArea which is intended to be used for recreation and/ or exercise.") | Mid-level-ontology.kif 9426-9427 | Park is a subclass of land area |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?PARK Park) (hasPurpose ?PARK (exists (?REC) (and (instance ?REC RecreationOrExercise) (eventLocated ?REC ?PARK))))) |
Mid-level-ontology.kif 9429-9435 | If X is an instance of park, then X has the purpose there exists Y such that Y is an instance of recreation or exercise and Y is located at X |
| (=> (instance ?PARK Park) (modalAttribute (exists (?G) (and (instance ?G Garden) (located ?G ?PARK))) Likely)) |
Mid-level-ontology.kif 9437-9443 | If X is an instance of park, then the statement there exists Y such that Y is an instance of garden and Y is located at X has the modal force of likely |
|