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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - BloodTypeO
BloodTypeO(blood type o)
O, group_O, type_O

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


(documentation BloodTypeO EnglishLanguage "The subclass of Blood that contains neither AntigenA nor AntigenB.") Mid-level-ontology.kif 11644-11645
(externalImage BloodTypeO "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1a/ Plasma_donation.png") pictureList.kif 8386-8386
(subclass BloodTypeO Blood) Mid-level-ontology.kif 11643-11643 Blood type o is a subclass of blood

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


(termFormat ChineseLanguage BloodTypeO "血型o") domainEnglishFormat.kif 11396-11396
(termFormat ChineseTraditionalLanguage BloodTypeO "血型o") domainEnglishFormat.kif 11395-11395
(termFormat EnglishLanguage BloodTypeO "blood type o") domainEnglishFormat.kif 11394-11394

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


(=>
    (instance ?B BloodTypeO)
    (not
        (exists (?A)
            (and
                (instance ?A AntigenA)
                (part ?A ?B)))))
Mid-level-ontology.kif 11647-11653
(=>
    (instance ?B BloodTypeO)
    (not
        (exists (?A)
            (and
                (instance ?A AntigenB)
                (part ?A ?B)))))
Mid-level-ontology.kif 11655-11661


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