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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BloodTypeO
BloodTypeO

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


(documentation BloodTypeO EnglishLanguage "The subclass of Blood that contains neither AntigenA nor AntigenB.") Mid-level-ontology.kif 10315-10316
(externalImage BloodTypeO "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1a/ Plasma-donation.png") pictureList.kif 8387-8387
(subclass BloodTypeO Blood) Mid-level-ontology.kif 10314-10314 BloodTypeOsubclass では %n

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


(termFormat ChineseLanguage BloodTypeO "血型o") domainEnglishFormat.kif 11387-11387
(termFormat ChineseTraditionalLanguage BloodTypeO "血型o") domainEnglishFormat.kif 11386-11386
(termFormat EnglishLanguage BloodTypeO "blood type o") domainEnglishFormat.kif 11385-11385

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


(=>
    (instance ?B BloodTypeO)
    (not
        (exists (?A)
            (and
                (instance ?A AntigenA)
                (part ?A ?B)))))
Mid-level-ontology.kif 10318-10324
(=>
    (instance ?B BloodTypeO)
    (not
        (exists (?A)
            (and
                (instance ?A AntigenB)
                (part ?A ?B)))))
Mid-level-ontology.kif 10326-10332


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