| Antigen | |
| appearance as argument number 1 |
|
|
| (documentation Antigen EnglishLanguage "Any BiologicallyActiveSubstance that has the capacity to stimulate the production of Antibodies.") | Mid-level-ontology.kif 9798-9800 | |
| (subclass Antigen BiologicallyActiveSubstance) | Mid-level-ontology.kif 9796-9796 |
| appearance as argument number 2 |
|
|
| (subclass AntigenA Antigen) | Mid-level-ontology.kif 9802-9802 | |
| (subclass AntigenB Antigen) | Mid-level-ontology.kif 9807-9807 | |
| (termFormat ChineseLanguage Antigen "抗原") | domainEnglishFormat.kif 7854-7854 | |
| (termFormat ChineseTraditionalLanguage Antigen "抗原") | domainEnglishFormat.kif 7853-7853 | |
| (termFormat EnglishLanguage Antigen "antigen") | domainEnglishFormat.kif 7852-7852 |
| 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 9628-9636 |
|
|
|