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

Formal Language: 



KB Term:  Term intersection
English Word: 

  bloodVolume

Sigma KEE - Pajamas
Pajamas(睡衣)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5315-5316
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5314-5314 子類 睡衣 and Clothing

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64326-64326
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64327-64327
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64325-64325

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5331-5338
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5318-5329


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