Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Lip(lip)
|  | lip, overlip, underlip |
| appearance as argument number 1 |
|
|
| (subclass Lip AnimalAnatomicalStructure) | Mid-level-ontology.kif 13088-13088 | Lip is a subclass of animal anatomical structure |
| (subclass Lip BodyPart) | Mid-level-ontology.kif 13089-13089 | Lip is a subclass of body part |
| (documentation Lip EnglishLanguage "Folds of Tissue surrounding the mouths of some Vertebrates.") | Mid-level-ontology.kif 13090-13091 | Lip is a subclass of body part |
| (externalImage Lip "http://upload.wikimedia.org/wikipedia/commons/f/f0/Lip.agr.jpg") | pictureList.kif 128-128 | Lip is a subclass of body part |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?LIP Lip) (exists (?MOUTH) (and (instance ?MOUTH Mouth) (part ?LIP ?MOUTH)))) |
Mid-level-ontology.kif 13093-13098 | If X is an instance of lip, then there exists Y such that Y is an instance of mouth and X is a part of Y |
| consequent |
|
|
| (=> (instance ?KISS Kissing) (exists (?PERSON1 ?PERSON2 ?LIP1 ?LIP2) (and (agent ?KISS ?PERSON1) (agent ?KISS ?PERSON2) (instance ?PERSON1 Human) (instance ?PERSON2 Human) (not (equal ?PERSON1 ?PERSON2)) (instance ?LIP1 Lip) (instance ?LIP2 Lip) (part ?LIP1 ?PERSON1) (part ?LIP2 ?PERSON2) (holdsDuring (BeginFn (WhenFn ?KISS)) (not (meetsSpatially ?LIP1 ?LIP2))) (holdsDuring (EndFn (WhenFn ?KISS)) (meetsSpatially ?LIP1 ?LIP2))))) |
Mid-level-ontology.kif 13104-13123 | If X is an instance of kissing, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an agent of X (3) Z is an agent of X (4) Y is an instance of human (5) Z is an instance of human (6) equal Y (7) Z (8) W is an instance of lip (9) V is an instance of lip (10) W is a part of Y (11) V is a part of Z (12) W doesn't meet V holds during the beginning of the time of existence of X (13) W meets V holds during the end of the time of existence of X |
| (=> (and (instance ?PLT PressingLipsTogether) (agent ?PLT ?A)) (exists (?L ?BM) (and (instance ?L Lip) (part ?L ?A) (instance ?BM BodyMotion) (patient ?BM ?L) (agent ?BM ?A)))) |
emotion.kif 2046-2056 | If X is an instance of pressing lips together and Y is an agent of X, then there exist Z, W such that Z is an instance of lip, Z is a part of Y, W is an instance of body motion, Z is a patient of W, and Y is an agent of W |
|