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 26704-26705 | |
(subclass Tripod Device) | Mid-level-ontology.kif 26703-26703 | Tripod ist eine teilkategorie von Device |
appearance as argument number 2 |
(subclass Easel Tripod) | Mid-level-ontology.kif 26734-26734 | Easel ist eine teilkategorie von Tripod |
(termFormat EnglishLanguage Tripod "tripod") | Mid-level-ontology.kif 26706-26706 |
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 26708-26717 |
|
(=> (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 26719-26732 |
|