Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Entity
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Chin AnimalAnatomicalStructure) | Mid-level-ontology.kif 14535-14535 | Chin is a subclass of animal anatomical structure |
| (subclass Chin BodyPart) | Mid-level-ontology.kif 14536-14536 | Chin is a subclass of body part |
| (documentation Chin EnglishLanguage "A part of the Face which protrudes slightly and which is lower than all other parts of the Face.") | Mid-level-ontology.kif 14537-14538 | Chin is a subclass of body part |
| (externalImage Chin "http://upload.wikimedia.org/wikipedia/commons/7/70/ Stubbly_face.jpg") | pictureList.kif 65-65 | Chin is a subclass of body part |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?CHIN Chin) (exists (?FACE) (and (instance ?FACE Face) (part ?CHIN ?FACE)))) |
Mid-level-ontology.kif 14540-14545 | If X is an instance of chin, then there exists Y such that Y is an instance of face and X is a part of Y |
| (=> (and (instance ?CHIN Chin) (instance ?FACE Face) (part ?CHIN ?FACE) (part ?PART ?FACE) (not (part ?PART ?CHIN))) (orientation ?PART ?CHIN Below)) |
Mid-level-ontology.kif 14547-14555 | If X is an instance of chin, Y is an instance of face, X is a part of Y, Z is a part of Y, and Z is not a part of X, then Z is below to X |
|
