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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Bloating

 Sigma KEE - Bloating
Bloating(腹脹)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6455-6456
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6453-6453 子類 腹脹 and Increasing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6454-6454 子類 腹脹 and PathologicProcess

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11339-11339
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11338-11338
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11337-11337

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


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


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