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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BloodTypeO

 Sigma KEE - BloodTypeO
BloodTypeO(血型o)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10314-10315
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8387-8387
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10313-10313 子類 血型o and Blood

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11387-11387
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11386-11386
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11385-11385

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10317-10323
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10325-10331


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