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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ContinuousCombustionEngine

 Sigma KEE - Mucus
Mucus

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12330-12342
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12328-12328 子類 Mucus and BodySubstance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12325-12325 Mucus 是 MucusGland 的 secretes 物質
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5669-5669 Mucus 是 MucusMembrane 的 secretes 物質
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5636-5636 子類 Phlegm and Mucus
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65206-65206


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