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 Throat AnimalAnatomicalStructure) | Mid-level-ontology.kif 13221-13221 | Throat is a subclass of animal anatomical structure |
| (subclass Throat BodyVessel) | Mid-level-ontology.kif 13222-13222 | Throat is a subclass of body vessel |
| (subclass Throat Airway) | Mid-level-ontology.kif 13223-13223 | Throat is a subclass of airway |
| (documentation Throat EnglishLanguage "A BodyVessel which connects the Mouth to the lungs and stomach.") | Mid-level-ontology.kif 13224-13225 | Throat is a subclass of airway |
| (externalImage Throat "http://upload.wikimedia.org/wikipedia/commons/a/ad/ Throat.agr.jpg") | pictureList.kif 187-187 | Throat is a subclass of airway |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 |
| consequent |
|
|
| (=> (and (instance ?C Coughing) (experiencer ?C ?H)) (hasPurpose ?C (exists (?R ?L ?O ?T) (and (instance ?L Lung) (instance ?T Throat) (instance ?O Object) (instance ?R Removing) (part ?L ?H) (part ?T ?H) (objectTransferred ?R ?O) (holdsDuring (ImmediatePastFn (WhenFn ?C)) (or (located ?O ?T) (located ?O ?L))))))) |
Mid-level-ontology.kif 7175-7194 | If X is an instance of coughing and Y experiences X, then All of the following hold: (1) X has the purpose there exist Z, W,, , V (2) U such that W is an instance of lung (3) U is an instance of throat (4) V is an instance of object (5) Z is an instance of removing (6) W is a part of Y (7) U is a part of Y (8) the object transferred in Z is V (9) V is located at U or V is located at W holds during immediately before the time of existence of X |
| (=> (instance ?S Strangling) (exists (?T) (and (patient ?S ?T) (instance ?T Throat)))) |
Mid-level-ontology.kif 7618-7623 | If X is an instance of strangling, then there exists Y such that Y is a patient of X and Y is an instance of throat |
| (=> (instance ?NOS Nostril) (exists (?N ?T) (and (instance ?N Nose) (instance ?T Throat) (connects ?NOS ?N ?T)))) |
Mid-level-ontology.kif 12823-12829 | If X is an instance of nostril, then there exist Y, Z such that Y is an instance of nose, Z is an instance of throat, X connects Y, and Z |
| (=> (instance ?T Trachea) (exists (?TH) (and (instance ?TH Throat) (connected ?TH ?T)))) |
Mid-level-ontology.kif 13240-13245 | If X is an instance of trachea, then there exists Y such that Y is an instance of throat and Y is connected to X |
| (=> (and (instance ?C Cricothyroidotomy) (patient ?C ?O)) (holdsDuring (EndFn (WhenFn ?C)) (exists (?H) (and (instance ?H HoleRegion) (equal ?T (HoleHostFn ?H)) (instance ?T Throat) (part ?T ?O))))) |
Medicine.kif 732-743 | If X is an instance of cricothyrotomy and Y is a patient of X, then there exists Z such that Z is an instance of hole, equal W, the host of the hole Z, W is an instance of throat, and W is a part of Y holds during the end of the time of existence of X |
| (=> (and (instance ?ELT ExperiencingALumpInTheThroat) (experiencer ?ELT ?A)) (exists (?P ?T) (and (instance ?P Perception) (subProcess ?P ?ELT) (agent ?P ?A) (patient ?P ?T) (instance ?T Throat) (part ?T ?A)))) |
emotion.kif 2565-2576 | If X is an instance of experiencing a lump in the throat and Y experiences X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of perception (3) Z is a subprocess of X (4) Y is an agent of Z (5) W is a patient of Z (6) W is an instance of throat (7) W is a part of Y |
|
