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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Lung

Sigma KEE - Lung
Lung(lung)lung, pneumonic, pulmonary, pulmonic

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11188-11189
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11187-11187 Lung is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11186-11186 Lung is a subclass of vital organ

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12092-12092 A trachea is connected to a lung
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35321-35321
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35320-35320
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35319-35319

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10377-10377 The number 1 argument of breathingRate is an instance of lung

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 6505-6529
No TPTP formula. May not be expressible in strict first order. Medicine.kif 466-482
No TPTP formula. May not be expressible in strict first order. Medicine.kif 342-357

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11141-11151
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. Mid-level-ontology.kif 6056-6075
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11198-11211
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11247-11262
No TPTP formula. May not be expressible in strict first order. Medicine.kif 895-917
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11157-11172
No TPTP formula. May not be expressible in strict first order. Medicine.kif 853-875
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6207-6213
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4481-4492
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11191-11196
No TPTP formula. May not be expressible in strict first order. Medicine.kif 799-810
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11096-11101
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11070-11075
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11305-11310
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11294-11299
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3075-3080

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2894-2894 Left lung is a subclass of the left lung
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2897-2897 Right lung is a subclass of the right lung


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