| Toe(toe)
| | toe |
| appearance as argument number 1 |
|
|
| (subclass Toe AnimalAnatomicalStructure) | Mid-level-ontology.kif 14244-14244 | Toe is a subclass of animal anatomical structure |
| (subclass Toe BodyPart) | Mid-level-ontology.kif 14245-14245 | Toe is a subclass of body part |
| (subclass Toe DigitAppendage) | Mid-level-ontology.kif 14246-14246 | Toe is a subclass of digit appendage |
| (documentation Toe EnglishLanguage "The five extremities of a Foot.") | Mid-level-ontology.kif 14247-14247 | Toe is a subclass of digit appendage |
| (externalImage Toe "http://upload.wikimedia.org/wikipedia/commons/5/5d/Tenen.jpg") | pictureList.kif 190-190 | Toe is a subclass of digit appendage |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?TOE Toe) (exists (?FOOT) (and (instance ?FOOT Foot) (part ?TOE ?FOOT)))) |
Mid-level-ontology.kif 14249-14254 | If X is an instance of toe, then there exists Y such that Y is an instance of foot and X is a part of Y |
|
|
|