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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Serum
Serum(serum)antiserum

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10858-10858 Serum is disjoint from blood
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10859-10859
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10857-10857 Serum is a subclass of liquid body substance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52209-52209
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52208-52208
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52207-52207


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