| Tripod | | camera_tripod, 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 24755-24756 | |
| (subclass Tripod Device) | Mid-level-ontology.kif 24754-24754 |
| appearance as argument number 2 |
|
|
| (subclass Easel Tripod) | Mid-level-ontology.kif 24785-24785 | |
| (termFormat EnglishLanguage Tripod "tripod") | Mid-level-ontology.kif 24757-24757 |
| 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 24759-24768 | |
| (=> (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 24770-24783 |
|
|
|