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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Dialysis
Dialysis(dialysis)
dialyse, dialysis, dialyze

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19598-19600
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4651-4651
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19597-19597 Dialysis is a subclass of separating

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19422-19422
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19421-19421
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19420-19420

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


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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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