Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Hammock
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Hammock Bed) | Mid-level-ontology.kif 4599-4599 | Hammock is a subclass of bed |
| (documentation Hammock EnglishLanguage "Hammock is a type of Bed made of rope or canvas and is suspended between two stationary objects") | Mid-level-ontology.kif 4600-4601 | Hammock is a subclass of bed |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Hammock "hammock") | Mid-level-ontology.kif 4602-4602 |
| antecedent |
|
|
| (=> (instance ?X Hammock) (and (material Fabric ?X) (exists (?POLE1 ?POLE2 ?GROUND) (and (orientation ?POLE1 ?POLE2 Near) (connected ?POLE1 ?X) (connected ?POLE2 ?X) (instance ?GROUND LandArea) (located ?X ?GROUND) (orientation ?X ?GROUND Above))))) |
Mid-level-ontology.kif 4604-4615 | If X is an instance of hammock, then X is made of fabric and All of the following hold: (1) there exist Y, Z (2) W such that Y is near to Z (3) Y is connected to X (4) Z is connected to X (5) W is an instance of land area (6) X is located at W (7) X is above to W |
| (=> (instance ?X Hammock) (hasPurpose ?X (exists (?PROC) (and (instance ?PROC LyingDown) (eventLocated ?PROC ?X))))) |
Mid-level-ontology.kif 4617-4623 | If X is an instance of hammock, then X has the purpose there exists Y such that Y is an instance of lying down and Y is located at X |
|