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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Emphysema

Sigma KEE - Emphysema
Emphysema(emphysema)
emphysema, pulmonary_emphysema

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5676-5685
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4676-4676
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5675-5675 Emphysema is a subattribute of COPD

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21957-21957
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21956-21956
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21955-21955

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


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


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