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

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


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

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


(=>
    (instance ?B BloodTypeO)
    (not
        (exists (?A)
            (and
                (instance ?A AntigenA)
                (part ?A ?B)))))
Mid-level-ontology.kif 10536-10542
(=>
    (instance ?B BloodTypeO)
    (not
        (exists (?A)
            (and
                (instance ?A AntigenB)
                (part ?A ?B)))))
Mid-level-ontology.kif 10544-10550


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