TreeView Knowledge Base Browser - BloodTypeO

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - BloodTypeO

BloodTypeO(blood type o)

O, group_O, type_O

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10315-10316
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 10314-10314	Blood type o is a subclass of 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 10318-10324	If an object is an instance of blood type o, then there doesn't exist another object such that the other object is an instance of antigen a and the other object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10326-10332	If an object is an instance of blood type o, then there doesn't exist another object such that the other object is an instance of antigen b and the other object is a part of the object

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