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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Pneumonia

Sigma KEE - Pneumonia
Pneumonia

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6216-6216
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6191-6202
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6189-6189 Pneumonia e' uma instancia de Doenca ou Sindrome

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6214-6214 BacterialPneumonia e' um sub-atributo de Pneumonia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6204-6204

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


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


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