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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BloodTypeB
BloodTypeB(blood type b)
B, group_B, type_B

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


(documentation BloodTypeB EnglishLanguage "The subclass of Blood that contains AntigenB and does not contain AntigenA.") Mid-level-ontology.kif 9232-9233
(externalImage BloodTypeB "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1a/ Plasma-donation.png") pictureList.kif 8388-8388
(subclass BloodTypeB Blood) Mid-level-ontology.kif 9231-9231 Blood type b is a subclass of blood

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


(termFormat ChineseLanguage BloodTypeB "血型b") domainEnglishFormat.kif 11393-11393
(termFormat ChineseTraditionalLanguage BloodTypeB "血型b") domainEnglishFormat.kif 11392-11392
(termFormat EnglishLanguage BloodTypeB "blood type b") domainEnglishFormat.kif 11391-11391

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


(=>
    (instance ?B BloodTypeB)
    (exists (?A)
        (and
            (instance ?A AntigenB)
            (part ?A ?B))))
Mid-level-ontology.kif 9234-9239
(=>
    (instance ?B BloodTypeB)
    (not
        (exists (?A)
            (and
                (instance ?A AntigenA)
                (part ?A ?B)))))
Mid-level-ontology.kif 9241-9247


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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