TreeView Knowledge Base Browser

appearance as argument number 1

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

appearance as argument number 2

(initialPart LatissimusDorsi Torso)	Mid-level-ontology.kif 10279-10279	Every upper back muscle is initially part of a torso
(partTypes Abdomen Torso)	Mid-level-ontology.kif 12281-12281	Every abdomen is a part of a torso
(termFormat ChineseLanguage Torso "躯干")	domainEnglishFormat.kif 58469-58469
(termFormat ChineseTraditionalLanguage Torso "軀幹")	domainEnglishFormat.kif 58468-58468
(termFormat EnglishLanguage Torso "torso")	domainEnglishFormat.kif 58467-58467
(typicalPart LatissimusDorsi Torso)	Mid-level-ontology.kif 10278-10278	A upper back muscle is typically a part of a torso

antecedent

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

Mid-level-ontology.kif 12271-12276

If an object is an instance of torso and an entity is an instance of limb,
then the object and the entity is not 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 10721-10731	If an object is an instance of chest and a class is an instance of animal and the object is an instance of the class and the object is a part of the class, then there exists another object such that the other object is an instance of torso and the object is a part of the other object and the other object is a part of the class
(=> (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 1746-1759	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 12294-12300	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

statement

(subclass Shirt
(CoveringFn Torso))

Mid-level-ontology.kif 4982-4982

Shirt is a subclass of a covering for torso

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: