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 10694-10695
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10693-10693 Lung is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10692-10692 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 11574-11574 a %1 is connected to a %2 trachea and lung
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35304-35304
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35303-35303
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35302-35302

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10647-10657
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11239-11254
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5740-5759
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10704-10717
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10753-10768
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10663-10678
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5891-5897
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10697-10702
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10603-10608
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10577-10582
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10809-10814
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10798-10803


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