Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
| (subclass Antibody Protein) | Mid-level-ontology.kif 11091-11091 | Antibody is a subclass of protein |
| (documentation Antibody EnglishLanguage "An immunoglobulin which is produced by the body and which has the ability to neutralize Antigens.") | Mid-level-ontology.kif 11092-11093 | Antibody is a subclass of protein |
| (externalImage Antibody "http://upload.wikimedia.org/wikipedia/commons/3/ 33/ Antibody.jpg") | pictureList.kif 4504-4504 | Antibody is a subclass of protein |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 |
| consequent |
|
|
| (=> (and (instance ?AI AutoImmuneDisorder) (experiencer ?AI ?H)) (exists (?A ?D ?C) (and (instance ?A Antibody) (part ?A ?H) (instance ?C Cell) (part ?C ?H) (instance ?D Destruction) (instrument ?D ?A) (not (desires ?H (and (instance ?D Destruction) (instrument ?D ?A))))))) |
Medicine.kif 2206-2222 | If X is an instance of auto-immune disease and Y experiences X, then there exist Z, W and V such that Z is an instance of antibody and Z is a part of Y and V is an instance of cell and V is a part of Y and W is an instance of destruction and Z is an instrument for W and Y doesn't desire ~{ W is an instance of destruction } or ~{ Z is an instrument for W } |
|
