Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Nose

Sigma KEE - Nose
Nose(nose)
nose, olfactory_organ

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12090-12090 A nose is connected to a trachea
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12190-12190
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7456-7456
No TPTP formula. May not be expressible in strict first order. pictureList.kif 139-139
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7457-7457
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12189-12189 Nose is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12188-12188 Nose is a subclass of organ

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41271-41271
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41270-41270
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41269-41269

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12192-12194
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12196-12201
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11316-11324

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6121-6139
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6088-6094
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11326-11332

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 5227-5227 Hay fever is a subattribute of inflammation of nose


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