Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  NanoFn
|
|
|
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| (typicalPart SalivaryGland Mouth) | Mid-level-ontology.kif 13906-13906 | A salivary gland is typically a part of a mouth |
| (initialPart SalivaryGland Mouth) | Mid-level-ontology.kif 13907-13907 | Every salivary gland is initially part of a mouth |
| (termFormat EnglishLanguage Mouth "mouth") | domainEnglishFormat.kif 39011-39011 | Every salivary gland is initially part of a mouth |
| (termFormat ChineseTraditionalLanguage Mouth "口") | domainEnglishFormat.kif 39012-39012 | Every salivary gland is initially part of a mouth |
| (termFormat ChineseLanguage Mouth "口") | domainEnglishFormat.kif 39013-39013 | Every salivary gland is initially part of a mouth |
| antecedent |
|
|
| (=> (instance ?MOUTH Mouth) (exists (?FACE) (and (instance ?FACE Face) (part ?MOUTH ?FACE)))) |
Mid-level-ontology.kif 12926-12931 | If X is an instance of mouth, then there exists Y such that Y is an instance of face and X is a part of Y |
| (=> (and (instance ?J JawDropping) (agent ?J ?A) (instance ?M Mouth) (part ?M ?A)) (exists (?O) (and (instance ?O Opening) (subProcess ?O ?J) (patient ?O ?M) (holdsDuring (BeginFn (WhenFn ?O)) (attribute ?M Closed)) (holdsDuring (EndFn (WhenFn ?O)) (attribute ?M Open))))) |
emotion.kif 2157-2175 | If X is an instance of jaw dropping, Y is an agent of X, Z is an instance of mouth, and Z is a part of Y, then there exists W such that W is an instance of opening, W is a subprocess of X, Z is a patient of W, closed is an attribute of Z holds during the beginning of the time of existence of W, and open is an attribute of Z holds during the end of the time of existence of W |
| consequent |
|
|
| (=> (and (instance ?BITE Biting) (agent ?BITE ?ANIMAL)) (exists (?MOUTH) (and (instance ?MOUTH Mouth) (part ?MOUTH ?ANIMAL) (instrument ?BITE ?MOUTH)))) |
Mid-level-ontology.kif 7603-7611 | If X is an instance of biting and Y is an agent of X, then there exists Z such that Z is an instance of mouth, Z is a part of Y, and Z is an instrument for X |
| (=> (and (instance ?SPIT Spitting) (agent ?SPIT ?ANIMAL)) (exists (?MOUTH) (and (instance ?MOUTH Mouth) (part ?MOUTH ?ANIMAL) (origin ?SPIT ?MOUTH)))) |
Mid-level-ontology.kif 7641-7649 | If X is an instance of spitting and Y is an agent of X, then there exists Z such that Z is an instance of mouth, Z is a part of Y, and X originates at Z |
| (=> (and (instance ?SPIT Drooling) (experiencer ?SPIT ?ANIMAL)) (exists (?MOUTH ?S) (and (instance ?MOUTH Mouth) (objectTransferred ?SPIT ?S) (instance ?S Saliva) (part ?MOUTH ?ANIMAL) (origin ?SPIT ?MOUTH)))) |
Mid-level-ontology.kif 7655-7665 | If X is an instance of drooling and Y experiences X, then there exist Z, W such that Z is an instance of mouth, the object transferred in X is W, W is an instance of saliva, Z is a part of Y, and X originates at Z |
| (=> (and (instance ?S Swallowing) (agent ?S ?H)) (exists (?M ?E ?ST ?O) (and (instance ?M Mouth) (instance ?E Esophagus) (instance ?ST Stomach) (objectTransferred ?S ?O) (origin ?S ?M) (destination ?S ?ST) (path ?S ?E)))) |
Mid-level-ontology.kif 7683-7695 | If X is an instance of swallowing and Y is an agent of X, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is an instance of mouth (3) W is an instance of esophagus (4) V is an instance of stomach (5) the object transferred in X is U (6) X originates at Z (7) X ends up at V (8) W is path along which X occurs |
| (=> (instance ?TONGUE Tongue) (exists (?MOUTH) (and (instance ?MOUTH Mouth) (part ?TONGUE ?MOUTH)))) |
Mid-level-ontology.kif 12938-12943 | If X is an instance of tongue, then there exists Y such that Y is an instance of mouth and X is a part of Y |
| (=> (instance ?TOOTH Tooth) (exists (?MOUTH) (and (instance ?MOUTH Mouth) (part ?TOOTH ?MOUTH)))) |
Mid-level-ontology.kif 12973-12978 | If X is an instance of tooth, then there exists Y such that Y is an instance of mouth and X is a part of Y |
| (=> (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 |
| (=> (instance ?THROAT Throat) (exists (?MOUTH) (and (instance ?MOUTH Mouth) (connected ?THROAT ?MOUTH)))) |
Mid-level-ontology.kif 13227-13232 | If X is an instance of throat, then there exists Y such that Y is an instance of mouth and X is connected to Y |
|
