![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 |
|
|
| 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 |