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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Antigen

Sigma KEE - Antigen
Antigen

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9826-9828
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9824-9824 Antigen est une sous-classe de substance biologique active

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9830-9830 AntigenA est une sous-classe de Antigen
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9835-9835 AntigenB est une sous-classe de Antigen
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7854-7854
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7853-7853
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7852-7852

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9656-9664


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