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	Torso e' uma sub-classe de AnimalAnatomicalStructure
(subclass Torso BodyPart)	Mid-level-ontology.kif 12834-12834	Torso e' uma sub-classe de Parte do Corpo

appearance as argument number 2

(initialPart LatissimusDorsi Torso)	Mid-level-ontology.kif 10802-10802	initialPart LatissimusDorsi and Torso
(initialPart ThoraxBone Torso)	Anatomy.kif 249-249	initialPart ThoraxBone and Torso
(partTypes Abdomen Torso)	Mid-level-ontology.kif 12847-12847	partTypes Abdomen and Torso
(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	typicalPart LatissimusDorsi and Torso

antecedent

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

Mid-level-ontology.kif 12837-12842

Objeto e' uma instancia de Torso Objeto e' uma instancia de Limb
Objeto nao engloba %n Objeto

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	Objeto e' uma instancia de Chest Classe e' uma instancia de Animal Objeto e' uma instancia de Classe Objeto e' uma &parte de Classe Objeto Objeto e' uma instancia de Torso Objeto e' uma &parte de Objeto Objeto e' uma &parte de Classe
(=> (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	Processo e' uma instancia de ExperiencingHeatInCheeksOrChest AutonomousAgent experimenta Processo Processo Objeto Processo e' uma instancia de Percepcao Processo e' um sub-processo de Processo Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo Objeto e' uma instancia de Torso Objeto e' uma instancia de Face Objeto e' uma &parte de AutonomousAgent
(=> (instance ?B Breast) (exists (?T) (and (instance ?T Torso) (part ?B (FrontFn ?T)))))	Mid-level-ontology.kif 12860-12866	Objeto e' uma instancia de Breast Objeto auto-conectado Objeto auto-conectado e' uma instancia de Torso Objeto e' uma &parte de afrente de Objeto auto-conectado
(=> (instance ?B HumanBack) (exists (?P ?T) (and (instance ?P Human) (instance ?T Torso) (part ?T ?P) (equal ?B (BackFn ?T)))))	Medicine.kif 5659-5666	Objeto auto-conectado e' uma instancia de HumanBack Objeto Objeto auto-conectado Objeto e' uma instancia de Humano Objeto auto-conectado e' uma instancia de Torso Objeto auto-conectado e' uma &parte de Objeto Objeto auto-conectado e' igual a atras de Objeto auto-conectado

statement

(subclass Shirt
(CoveringFn Torso))

Mid-level-ontology.kif 5254-5254

Shirt e' uma sub-classe de CoveringFn 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: