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 26692-26693 | |
(subclass Tripod Device) | Mid-level-ontology.kif 26691-26691 | Tripod は デバイス の subclass では %n |
appearance as argument number 2 |
(subclass Easel Tripod) | Mid-level-ontology.kif 26722-26722 | Easel は Tripod の subclass では %n |
(termFormat EnglishLanguage Tripod "tripod") | Mid-level-ontology.kif 26694-26694 |
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 26696-26705 | |
(=> (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 26707-26720 |
|