Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Torso(torso)
|  | body, torso, trunk |
| appearance as argument number 1 |
|
|
| (subclass Torso AnimalAnatomicalStructure) | Mid-level-ontology.kif 14423-14423 | Torso is a subclass of animal anatomical structure |
| (subclass Torso BodyPart) | Mid-level-ontology.kif 14424-14424 | Torso is a subclass of body part |
| (documentation Torso EnglishLanguage "The body of a Primate excluding its Limbs.") | Mid-level-ontology.kif 14425-14425 | Torso is a subclass of body part |
| (externalImage Torso "http://upload.wikimedia.org/wikipedia/commons/a/a9/ Chest.agr.jpg") | pictureList.kif 64-64 | Torso is a subclass of body part |
| appearance as argument number 2 |
|
|
| (typicalPart LatissimusDorsi Torso) | Mid-level-ontology.kif 12231-12231 | A upper back muscle is typically a part of a torso |
| (initialPart LatissimusDorsi Torso) | Mid-level-ontology.kif 12232-12232 | Every upper back muscle is initially part of a torso |
| (initialPart ThoraxBone Torso) | Mid-level-ontology.kif 12724-12724 | Every thorax bone is initially part of a torso |
| (partTypes Abdomen Torso) | Mid-level-ontology.kif 14437-14437 | Every abdomen is a part of a torso |
| (termFormat EnglishLanguage Torso "torso") | domainEnglishFormat.kif 58501-58501 | Every abdomen is a part of a torso |
| (termFormat ChineseTraditionalLanguage Torso "軀幹") | domainEnglishFormat.kif 58502-58502 | Every abdomen is a part of a torso |
| (termFormat ChineseLanguage Torso "躯干") | domainEnglishFormat.kif 58503-58503 | Every abdomen is a part of a torso |
| antecedent |
|
|
| (=> (and (instance ?TORSO Torso) (instance ?LIMB Limb)) (not (overlapsSpatially ?TORSO ?LIMB))) |
Mid-level-ontology.kif 14427-14432 | If X is an instance of torso and Y is an instance of limb, then X and Y doesn't overlapsSpatially |
| consequent |
|
|
| (=> (and (instance ?C Chest) (instance ?A Animal) (instance ?C ?A) (part ?C ?A)) (exists (?T) (and (instance ?T Torso) (part ?C ?T) (part ?T ?A)))) |
Mid-level-ontology.kif 12709-12719 | If X is an instance of chest, Y is an instance of animal, X is an instance of Y, and X is a part of Y, then there exists Z such that Z is an instance of torso, X is a part of Z, and Z is a part of Y |
| (=> (instance ?B Breast) (exists (?T) (and (instance ?T Torso) (part ?B (FrontFn ?T))))) |
Mid-level-ontology.kif 14450-14456 | If X is an instance of breast, then there exists Y such that Y is an instance of torso and X is a part of the front of Y |
| (=> (instance ?A Abducting) (exists (?BP ?ORGANISM ?TORSO ?MAF) (and (instance ?BP BodyPart) (instance ?ORGANISM Organism) (instance ?TORSO Torso) (not (equal ?BP ?TORSO)) (subProcess ?MAF MovingAwayFrom) (patient ?MAF ?BP) (patient ?MAF ?TORSO) (part ?BP ?ORGANISM) (part ?TORSO ?ORGANISM) (experiencer ?A Organism) (moves ?A ?BP)))) |
Anatomy.kif 2037-2052 | If X is an instance of abducting, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of body part (3) Z is an instance of organism (4) W is an instance of torso (5) equal Y (6) W (7) V is a subprocess of moving away from (8) Y is a patient of V (9) W is a patient of V (10) Y is a part of Z (11) W is a part of Z (12) organism experiences X (13) Y moves during X |
| (=> (instance ?A Adducting) (exists (?BP ?ORGANISM ?TORSO ?MT) (and (instance ?BP BodyPart) (instance ?ORGANISM Organism) (instance ?TORSO Torso) (not (equal ?BP ?TORSO)) (instance ?MT MovingTowards) (subProcess ?MT ?A) (patient ?MT ?BP) (patient ?MT ?TORSO) (part ?BP ?ORGANISM) (part ?TORSO ?ORGANISM) (experiencer ?A Organism) (moves ?A ?BP)))) |
Anatomy.kif 2061-2077 | If X is an instance of adducting, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of body part (3) Z is an instance of organism (4) W is an instance of torso (5) equal Y (6) W (7) V is an instance of moving towards (8) V is a subprocess of X (9) Y is a patient of V (10) W is a patient of V (11) Y is a part of Z (12) W is a part of Z (13) organism experiences X (14) Y moves during X |
| (=> (instance ?B HumanBack) (exists (?P ?T) (and (instance ?P Human) (instance ?T Torso) (part ?T ?P) (equal ?B (BackFn ?T))))) |
Medicine.kif 5684-5691 | If X is an instance of back, then there exist Y, Z such that Y is an instance of human, Z is an instance of torso, Z is a part of Y, equal X, and the back of Z |
| (=> (and (instance ?ELT ExperiencingHeatInCheeksOrChest) (experiencer ?ELT ?A)) (exists (?P ?T) (and (instance ?P Perception) (subProcess ?P ?ELT) (agent ?P ?A) (patient ?P ?T) (or (instance ?T Torso) (instance ?T Face)) (part ?T ?A)))) |
emotion.kif 2593-2606 | If X is an instance of experiencing heat in cheeks or chest 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 torso or W is an instance of face (7) W is a part of Y |
| statement |
|
|
| (subclass Shirt (CoveringFn Torso)) |
Mid-level-ontology.kif 6355-6355 | Shirt is a subclass of a covering for torso |
|