| 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 24879-24880 | |
| (subclass Tripod Device) | Mid-level-ontology.kif 24878-24878 |
| appearance as argument number 2 |
|
|
| (subclass Easel Tripod) | Mid-level-ontology.kif 24909-24909 | |
| (termFormat EnglishLanguage Tripod "tripod") | Mid-level-ontology.kif 24881-24881 |
| 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 24883-24892 | |
| (=> (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 24894-24907 |
|
|
|