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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BloodTypeO

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

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


(documentation BloodTypeO EnglishLanguage "The number of times the Heart of a Mammal beats in a given period. A normal rate for a Human at rest is 60 beats per minute although this can vary significantly with age, fitness level and health status.") Mid-level-ontology.kif 9906-9909
(documentation BloodTypeO EnglishLanguage "The subclass of Blood that contains neither AntigenA nor AntigenB.") Mid-level-ontology.kif 9883-9884
(externalImage BloodTypeO "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1a/ Plasma-donation.png") pictureList.kif 8388-8388
(subclass BloodTypeO Blood) Mid-level-ontology.kif 9882-9882 Blood type o is a subclass of blood

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


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

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


(=>
    (instance ?B BloodTypeO)
    (not
        (exists (?A)
            (and
                (instance ?A AntigenA)
                (part ?A ?B)))))
Mid-level-ontology.kif 9886-9892
(=>
    (instance ?B BloodTypeO)
    (not
        (exists (?A)
            (and
                (instance ?A AntigenB)
                (part ?A ?B)))))
Mid-level-ontology.kif 9894-9900


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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