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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Trachea
Trachea

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12092-12092 connectedBodyPart Trachea and
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11736-11737
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11735-11735 Trachea空中航线subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11734-11734 Trachea身体管道subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12090-12090 connectedBodyPart and Trachea
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12091-12091 connectedBodyPart 鼻子 and Trachea
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11738-11738

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11754-11769
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4135-4145


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