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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Throat
Throat(throat)
pharynx, pleural, spiracle, throat

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9939-9940
No TPTP formula. May not be expressible in strict first order. pictureList.kif 187-187
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9938-9938 Throat is a subclass of airway
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9936-9936 Throat is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9937-9937 Throat is a subclass of body vessel

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57828-57828
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57827-57827
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57826-57826

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9942-9947

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


No TPTP formula. May not be expressible in strict first order. emotion.kif 1678-1689
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9632-9638
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6224-6229


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



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