TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Neck EnglishLanguage "The part of the body that connects the Head to the rest of the body.")	Mid-level-ontology.kif 12899-12900
(externalImage Neck "http://upload.wikimedia.org/wikipedia/commons/c/cd/ Neck.agr.jpg")	pictureList.kif 137-137
(subclass Neck AnimalAnatomicalStructure)	Mid-level-ontology.kif 12897-12897	Neck e' uma sub-classe de AnimalAnatomicalStructure
(subclass Neck BodyPart)	Mid-level-ontology.kif 12898-12898	Neck e' uma sub-classe de Parte do Corpo

appearance as argument number 2

(termFormat ChineseLanguage Neck "颈部")	domainEnglishFormat.kif 40067-40067
(termFormat ChineseTraditionalLanguage Neck "頸部")	domainEnglishFormat.kif 40066-40066
(termFormat EnglishLanguage Neck "neck")	domainEnglishFormat.kif 40065-40065

antecedent

(=>
    (instance ?NECK Neck)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (connected ?NECK ?HEAD))))

Mid-level-ontology.kif 12902-12907

Objeto e' uma instancia de Neck
Objeto Objeto e' uma instancia de Head Objeto e' conectado com Objeto

consequent

(=> (and (wears ?P ?C) (instance ?C Collar)) (exists (?N) (and (instance ?N Neck) (part ?N ?P) (meetsSpatially ?C ?N))))	Mid-level-ontology.kif 5114-5122	Animal usa WearableItem WearableItem e' uma instancia de Collar Objeto Objeto e' uma instancia de Neck Objeto e' uma &parte de Animal WearableItem encontra Objeto
(=> (and (wears ?P ?T) (instance ?T TieClothing)) (exists (?N) (and (instance ?N Neck) (part ?N ?P) (contains ?T ?N))))	Mid-level-ontology.kif 5080-5088	Animal usa Objeto auto-conectado Objeto auto-conectado e' uma instancia de TieClothing Objeto Objeto e' uma instancia de Neck Objeto e' uma &parte de Animal Objeto auto-conectado contem Objeto
(=> (instance ?H Hanging) (exists (?S ?N ?P) (and (instance ?P Human) (instance ?S String) (instance ?N Neck) (experiencer ?H ?P) (properPart ?N ?P) (instrument ?H ?S) (holdsDuring (WhenFn ?H) (meetsSpatially ?S ?N)))))	Mid-level-ontology.kif 18504-18515	Processo e' uma instancia de Hanging Objeto Objeto and AutonomousAgent AutonomousAgent e' uma instancia de Humano Objeto e' uma instancia de String Objeto e' uma instancia de Neck AutonomousAgent experimenta Processo Objeto e' uma &parte de AutonomousAgent Objeto e' um instrumento para Processo Objeto encontra Objeto vale durante tempo de existencia de Processo

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: