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 10307-10309
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 10305-10305 子類 消化 and 自主過程
No TPTP formula. May not be expressible in strict first order. Merge.kif 10304-10304 子類 消化 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 10311-10319
No TPTP formula. May not be expressible in strict first order. Merge.kif 10321-10326

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12037-12039
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12028-12030

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