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 28603-28604 | |
(subclass Tripod Device) | Mid-level-ontology.kif 28602-28602 |
appearance as argument number 2 |
![]() |
(subclass Easel Tripod) | Mid-level-ontology.kif 28633-28633 | |
(termFormat EnglishLanguage Tripod "tripod") | Mid-level-ontology.kif 28605-28605 |
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 28607-28616 | |
(=> (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 28618-28631 |
![]() |
![]() |