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
-------------------------


s__documentation(s__AntigenB,s__EnglishLanguage,'"An Antigen that is carried in the red blood cells of those with BloodTypeB."')

Mid-level-ontology.kif 9081-9082
s__instance(s__Antigen,s__SetOrClass)

s__instance(s__AntigenB,s__SetOrClass)

s__subclass(s__AntigenB,s__Antigen)

Mid-level-ontology.kif 9079-9079 Antigen b is a subclass of antigen

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


s__termFormat(s__ChineseLanguage,s__AntigenB,'"抗原 b"')

domainEnglishFormat.kif 7875-7875
s__termFormat(s__ChineseTraditionalLanguage,s__AntigenB,'"抗原 b"')

domainEnglishFormat.kif 7874-7874
s__termFormat(s__EnglishLanguage,s__AntigenB,'"antigen b"')

domainEnglishFormat.kif 7873-7873

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


( ! [V__B] :
   ((s__instance(V__B,s__BloodTypeA) =>
       (~(( ? [V__A] :
             ((s__instance(V__A,s__AntigenB) &
                 s__part(V__A,V__B)))))))
   )
)

Mid-level-ontology.kif 9425-9431
( ! [V__B] :
   ((s__instance(V__B,s__BloodTypeAB) =>
       (( ? [V__A] :
           ((s__instance(V__A,s__AntigenB) &
               s__part(V__A,V__B))))))
   )
)

Mid-level-ontology.kif 9444-9449
( ! [V__B] :
   ((s__instance(V__B,s__BloodTypeB) =>
       (( ? [V__A] :
           ((s__instance(V__A,s__AntigenB) &
               s__part(V__A,V__B))))))
   )
)

Mid-level-ontology.kif 9455-9460
( ! [V__B] :
   ((s__instance(V__B,s__BloodTypeO) =>
       (~(( ? [V__A] :
             ((s__instance(V__A,s__AntigenB) &
                 s__part(V__A,V__B)))))))
   )
)

Mid-level-ontology.kif 9482-9488


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