|
|
   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 26737-26738 | |
| (subclass Tripod Device) | Mid-level-ontology.kif 26736-26736 | Tripod è una sottoclasse di Dispositivo |
| appearance as argument number 2 |
|
|
| (subclass Easel Tripod) | Mid-level-ontology.kif 26767-26767 | Easel è una sottoclasse di Tripod |
| (termFormat EnglishLanguage Tripod "tripod") | Mid-level-ontology.kif 26739-26739 |
| 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 26741-26750 | |
| (=> (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 26752-26765 |
|
|
|
|