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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AntigenB
AntigenB(antigen b)

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


(documentation AntigenB EnglishLanguage "An Antigen that is carried in the RedBloodCells of those with BloodTypeB.") Mid-level-ontology.kif 9782-9783
(subclass AntigenB Antigen) Mid-level-ontology.kif 9780-9780 Antigen b is a subclass of antigen

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


(termFormat ChineseLanguage AntigenB "抗原 b") domainEnglishFormat.kif 7866-7866
(termFormat ChineseTraditionalLanguage AntigenB "抗原 b") domainEnglishFormat.kif 7865-7865
(termFormat EnglishLanguage AntigenB "antigen b") domainEnglishFormat.kif 7864-7864

consequent
-------------------------


(=>
    (instance ?B BloodTypeA)
    (not
        (exists (?A)
            (and
                (instance ?A AntigenB)
                (part ?A ?B)))))		 Mid-level-ontology.kif 10241-10247
(=>
    (instance ?B BloodTypeAB)
    (exists (?A)
        (and
            (instance ?A AntigenB)
            (part ?A ?B))))		 Mid-level-ontology.kif 10260-10265
(=>
    (instance ?B BloodTypeB)
    (exists (?A)
        (and
            (instance ?A AntigenB)
            (part ?A ?B))))		 Mid-level-ontology.kif 10271-10276
(=>
    (instance ?B BloodTypeO)
    (not
        (exists (?A)
            (and
                (instance ?A AntigenB)
                (part ?A ?B)))))		 Mid-level-ontology.kif 10298-10304


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