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


KB Term:  Term intersection
English Word: 

Sigma KEE - Antigen
Antigen(antigen)anatoxin, antigen, toxoid

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


(subclass Antigen BiologicallyActiveSubstance) Mid-level-ontology.kif 11242-11242 Antigen is a subclass of biologically active substance
(documentation Antigen EnglishLanguage "Any BiologicallyActiveSubstance that has the capacity to stimulate the production of Antibodies.") Mid-level-ontology.kif 11244-11246 Antigen is a subclass of biologically active substance

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


(subclass AntigenA Antigen) Mid-level-ontology.kif 11248-11248 Antigen a is a subclass of antigen
(subclass AntigenB Antigen) Mid-level-ontology.kif 11253-11253 Antigen b is a subclass of antigen
(termFormat EnglishLanguage Antigen "antigen") domainEnglishFormat.kif 7852-7852 Antigen b is a subclass of antigen
(termFormat ChineseTraditionalLanguage Antigen "抗原") domainEnglishFormat.kif 7853-7853 Antigen b is a subclass of antigen
(termFormat ChineseLanguage Antigen "抗原") domainEnglishFormat.kif 7854-7854 Antigen b is a subclass of antigen

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


(=>
    (instance ?BODY Antibody)
    (hasPurpose ?BODY
        (exists (?DEST ?ANTI)
            (and
                (instance ?DEST Destruction)
                (agent ?DEST ?BODY)
                (patient ?DEST ?ANTI)
                (instance ?ANTI Antigen)))))
Mid-level-ontology.kif 11095-11103 If X is an instance of antibody, then X has the purpose there exist Y, Z such that Y is an instance of destruction, X is an agent of Y, Z is a patient of Y, and Z is an instance of antigen


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners