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 11625-11626
(externalImage BloodTypeB "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1a/ Plasma_donation.png") pictureList.kif 8385-8385
(subclass BloodTypeB Blood) Mid-level-ontology.kif 11624-11624 Blood type b is a subclass of blood

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


(termFormat ChineseLanguage BloodTypeB "血型b") domainEnglishFormat.kif 11390-11390
(termFormat ChineseTraditionalLanguage BloodTypeB "血型b") domainEnglishFormat.kif 11389-11389
(termFormat EnglishLanguage BloodTypeB "blood type b") domainEnglishFormat.kif 11388-11388

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


(=>
    (instance ?B BloodTypeB)
    (exists (?A)
        (and
            (instance ?A AntigenB)
            (part ?A ?B))))
Mid-level-ontology.kif 11628-11633
(=>
    (instance ?B BloodTypeB)
    (not
        (exists (?A)
            (and
                (instance ?A AntigenA)
                (part ?A ?B)))))
Mid-level-ontology.kif 11635-11641


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