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