| 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 27000-27001 | |
| (subclass Tripod Device) | Mid-level-ontology.kif 26999-26999 |
| appearance as argument number 2 |
|
|
| (subclass Easel Tripod) | Mid-level-ontology.kif 27030-27030 | |
| (termFormat EnglishLanguage Tripod "tripod") | Mid-level-ontology.kif 27002-27002 |
| 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 27004-27013 | |
| (=> (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 27015-27028 |
|
|
|