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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Digesting

 Sigma KEE - Digesting
Digesting(消化)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2912-2913
No TPTP formula. May not be expressible in strict first order. Merge.kif 10321-10323
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1661-1662
No TPTP formula. May not be expressible in strict first order. Merge.kif 10319-10319 子類 消化 and 自主過程
No TPTP formula. May not be expressible in strict first order. Merge.kif 10318-10318 子類 消化 and OrganismProcess

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19506-19506
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19505-19505
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19504-19504

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10325-10333
No TPTP formula. May not be expressible in strict first order. Merge.kif 10335-10340

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12065-12067
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12056-12058

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2116-2116 子類 GastroIntestinalIssue and ImpairmentFn 消化


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