| Tripod | |
| appearance as argument number 1 |
|
|
| (documentation Tripod EnglishLanguage "Tripod refers to a Device with 3 legs to support some other Object") | Mid-level-ontology.kif 26168-26169 | |
| (subclass Tripod Device) | Mid-level-ontology.kif 26167-26167 |
| appearance as argument number 2 |
|
|
| (subclass Easel Tripod) | Mid-level-ontology.kif 26198-26198 | |
| (termFormat EnglishLanguage Tripod "tripod") | Mid-level-ontology.kif 26170-26170 |
| 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 26172-26181 | |
| (=> (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 26183-26196 |
|
|
|