TreeView Knowledge Base Browser - BloodTypeA

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - BloodTypeA

BloodTypeA(blood type a)

A, group_A, type_A

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10259-10260
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8384-8384
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10258-10258	Blood type a is a subclass of blood

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11369-11369
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11368-11368
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11367-11367

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10262-10267	If an object is an instance of blood type a, then there exists 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 10269-10275	If an object is an instance of blood type a, 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