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 9250-9251
(externalImage BloodTypeO "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1a/ Plasma-donation.png") pictureList.kif 8389-8389
(subclass BloodTypeO Blood) Mid-level-ontology.kif 9249-9249 Blood type o is a subclass of blood

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


(termFormat ChineseLanguage BloodTypeO "血型o") domainEnglishFormat.kif 11399-11399
(termFormat ChineseTraditionalLanguage BloodTypeO "血型o") domainEnglishFormat.kif 11398-11398
(termFormat EnglishLanguage BloodTypeO "blood type o") domainEnglishFormat.kif 11397-11397

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


(=>
    (instance ?B BloodTypeO)
    (not
        (exists (?A)
            (and
                (instance ?A AntigenA)
                (part ?A ?B)))))
Mid-level-ontology.kif 9252-9258
(=>
    (instance ?B BloodTypeO)
    (not
        (exists (?A)
            (and
                (instance ?A AntigenB)
                (part ?A ?B)))))
Mid-level-ontology.kif 9260-9266


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