TreeView Knowledge Base Browser

appearance as argument number 1

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

appearance as argument number 2

(initialPart LatissimusDorsi Torso)	Mid-level-ontology.kif 10802-10802
(initialPart ThoraxBone Torso)	Anatomy.kif 249-249
(partTypes Abdomen Torso)	Mid-level-ontology.kif 12847-12847
(termFormat ChineseLanguage Torso "躯干")	domainEnglishFormat.kif 58504-58504
(termFormat ChineseTraditionalLanguage Torso "軀幹")	domainEnglishFormat.kif 58503-58503
(termFormat EnglishLanguage Torso "torso")	domainEnglishFormat.kif 58502-58502
(typicalPart LatissimusDorsi Torso)	Mid-level-ontology.kif 10801-10801

antecedent

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

Mid-level-ontology.kif 12837-12842

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 11246-11256
(=> (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 12860-12866
(=> (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 5254-5254