TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Torso EnglishLanguage "The body of a Primate excluding its Limbs.")	Mid-level-ontology.kif 12780-12780
(externalImage Torso "http://upload.wikimedia.org/wikipedia/commons/a/a9/ Chest.agr.jpg")	pictureList.kif 64-64
(subclass Torso AnimalAnatomicalStructure)	Mid-level-ontology.kif 12778-12778
(subclass Torso BodyPart)	Mid-level-ontology.kif 12779-12779

appearance as argument number 2

(initialPart LatissimusDorsi Torso)	Mid-level-ontology.kif 10747-10747
(initialPart ThoraxBone Torso)	Anatomy.kif 249-249
(partTypes Abdomen Torso)	Mid-level-ontology.kif 12792-12792
(termFormat ChineseLanguage Torso "躯干")	domainEnglishFormat.kif 58514-58514
(termFormat ChineseTraditionalLanguage Torso "軀幹")	domainEnglishFormat.kif 58513-58513
(termFormat EnglishLanguage Torso "torso")	domainEnglishFormat.kif 58512-58512
(typicalPart LatissimusDorsi Torso)	Mid-level-ontology.kif 10746-10746

antecedent

(=>
    (and
        (instance ?TORSO Torso)
        (instance ?LIMB Limb))
    (not
        (overlapsSpatially ?TORSO ?LIMB)))

Mid-level-ontology.kif 12782-12787

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 11191-11201
(=> (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 1738-1751
(=> (instance ?B Breast) (exists (?T) (and (instance ?T Torso) (part ?B (FrontFn ?T)))))	Mid-level-ontology.kif 12805-12811
(=> (instance ?B HumanBack) (exists (?P ?T) (and (instance ?P Human) (instance ?T Torso) (part ?T ?P) (equal ?B (BackFn ?T)))))	Medicine.kif 5659-5666

statement

(subclass Shirt
(CoveringFn Torso))

Mid-level-ontology.kif 5232-5232