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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BloodTypeB
BloodTypeB

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


(documentation BloodTypeB EnglishLanguage "The subclass of Blood that contains AntigenB and does not contain AntigenA.") Mid-level-ontology.kif 10296-10297
(externalImage BloodTypeB "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1a/ Plasma-donation.png") pictureList.kif 8386-8386
(subclass BloodTypeB Blood) Mid-level-ontology.kif 10295-10295

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


(termFormat ChineseLanguage BloodTypeB "血型b") domainEnglishFormat.kif 11381-11381
(termFormat ChineseTraditionalLanguage BloodTypeB "血型b") domainEnglishFormat.kif 11380-11380
(termFormat EnglishLanguage BloodTypeB "blood type b") domainEnglishFormat.kif 11379-11379

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


(=>
    (instance ?B BloodTypeB)
    (exists (?A)
        (and
            (instance ?A AntigenB)
            (part ?A ?B))))
Mid-level-ontology.kif 10299-10304
(=>
    (instance ?B BloodTypeB)
    (not
        (exists (?A)
            (and
                (instance ?A AntigenA)
                (part ?A ?B)))))
Mid-level-ontology.kif 10306-10312


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