Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Tripod
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Tripod Device) | Mid-level-ontology.kif 29297-29297 | Tripod is a subclass of device |
| (documentation Tripod EnglishLanguage "Tripod refers to a Device with 3 legs to support some other Object") | Mid-level-ontology.kif 29298-29299 | Tripod is a subclass of device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Tripod "tripod") | Mid-level-ontology.kif 29300-29300 | |
| (subclass Easel Tripod) | Mid-level-ontology.kif 29328-29328 | Easel is a subclass of tripod |
| antecedent |
|
|
| (=> (instance ?X Tripod) (exists (?LEG1 ?LEG2 ?LEG3) (and (part ?LEG1 ?X) (part ?LEG2 ?X) (part ?LEG3 ?X) (meetsSpatially ?LEG1 ?LEG2) (meetsSpatially ?LEG2 ?LEG3) (meetsSpatially ?LEG1 ?LEG3)))) |
Mid-level-ontology.kif 29302-29311 | If X is an instance of tripod, then All of the following hold: (1) there exist Y, Z (2) W such that Y is a part of X (3) Z is a part of X (4) W is a part of X (5) Y meets Z (6) Z meets W (7) Y meets W |
| (=> (instance ?X Tripod) (hasPurpose ?X (exists (?OBJ ?PUT ?PROC) (and (instance ?OBJ Artifact) (instance ?PUT Putting) (patient ?PUT ?OBJ) (destination ?PUT ?X) (instance ?PROC Process) (instrument ?PROC ?OBJ) (before (EndFn (WhenFn ?PUT)) (BeginFn (WhenFn ?PROC))))))) |
Mid-level-ontology.kif 29313-29326 | If X is an instance of tripod, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of artifact (3) Z is an instance of putting (4) Y is a patient of Z (5) Z ends up at X (6) W is an instance of process (7) Y is an instrument for W (8) the end of the time of existence of Z happens before the beginning of the time of existence of W |
|