| Tripod(tripod) | | camera_tripod, tripod |
| appearance as argument number 1 |
|
|
| (subclass Tripod Device) | Mid-level-ontology.kif 29366-29366 | Tripod is a subclass of device |
| (documentation Tripod EnglishLanguage "Tripod refers to a Device with 3 legs to support some other Object") | Mid-level-ontology.kif 29367-29368 | Tripod is a subclass of device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Tripod "tripod") | Mid-level-ontology.kif 29369-29369 | |
| (subclass Easel Tripod) | Mid-level-ontology.kif 29397-29397 | Easel is a subclass of tripod |
| 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 29371-29380 | If X is an instance of tripod, then All of the following hold: (1) there exist Y, Z (2) W such that Y is a part of X (3) Z is a part of X (4) W is a part of X (5) Y meets Z (6) Z meets W (7) Y meets W |
| (=> (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 29382-29395 | If X is an instance of tripod, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of artifact (3) Z is an instance of putting (4) Y is a patient of Z (5) Z ends up at X (6) W is an instance of process (7) Y is an instrument for W (8) the end of the time of existence of Z happens before the beginning of the time of existence of W |
|
|
|