TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Torso EnglishLanguage "The body of a Primate excluding its Limbs.")	Mid-level-ontology.kif 10484-10484
(externalImage Torso "http://upload.wikimedia.org/wikipedia/commons/a/a9/ Chest.agr.jpg")	pictureList.kif 64-64
(subclass Torso AnimalAnatomicalStructure)	Mid-level-ontology.kif 10482-10482	Torso is a subclass of animal anatomical structure
(subclass Torso BodyPart)	Mid-level-ontology.kif 10483-10483	Torso is a subclass of body part

appearance as argument number 2

(termFormat ChineseLanguage Torso "躯干")	domainEnglishFormat.kif 58404-58404
(termFormat ChineseTraditionalLanguage Torso "軀幹")	domainEnglishFormat.kif 58403-58403
(termFormat EnglishLanguage Torso "torso")	domainEnglishFormat.kif 58402-58402

antecedent

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

Mid-level-ontology.kif 10486-10490

consequent

(=> (and (instance ?ELT ExperiencingHeatInCheeksOrChest) (experiencer ?ELT ?A)) (exists (?P) (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 1701-1714	If a process is an instance of experiencing heat in cheeks or chest and an agent experiences the process, then there exists another process such that the other process is an instance of perception and the other process is a subprocess of the process and the agent is an agent of the other process and an object is a patient of the other process and the object is an instance of torso or the object is an instance of face and the object is a part of the agent
(=> (instance ?B Breast) (exists (?T) (and (instance ?T Torso) (part ?B (FrontFn ?T)))))	Mid-level-ontology.kif 10499-10505	If an object is an instance of breast, then there exists a self connected object such that the self connected object is an instance of torso and the object is a part of the front of the self connected object