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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BloodTypeAB

Sigma KEE - BloodTypeAB
BloodTypeAB(blood typeA b)
AB, group_AB, type_AB

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


(documentation BloodTypeAB EnglishLanguage "The subclass of Blood that contains both AntigenA and AntigenB.") Mid-level-ontology.kif 9846-9847
(externalImage BloodTypeAB "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1a/ Plasma-donation.png") pictureList.kif 8386-8386
(subclass BloodTypeAB Blood) Mid-level-ontology.kif 9845-9845 Blood typeA b is a subclass of blood

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


(termFormat ChineseLanguage BloodTypeAB "血型b") domainEnglishFormat.kif 11378-11378
(termFormat ChineseTraditionalLanguage BloodTypeAB "血型b") domainEnglishFormat.kif 11377-11377
(termFormat EnglishLanguage BloodTypeAB "blood typeA b") domainEnglishFormat.kif 11376-11376

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


(=>
    (instance ?B BloodTypeAB)
    (exists (?A)
        (and
            (instance ?A AntigenA)
            (part ?A ?B))))
Mid-level-ontology.kif 9849-9854
(=>
    (instance ?B BloodTypeAB)
    (exists (?A)
        (and
            (instance ?A AntigenB)
            (part ?A ?B))))
Mid-level-ontology.kif 9856-9861


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