Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| LymphNode(lymph gland) |
| appearance as argument number 1 |
|
| (subclass LymphNode Gland) | Mid-level-ontology.kif 13829-13829 | Lymph gland is a subclass of gland |
| (documentation LymphNode EnglishLanguage "A lymph node, or lymph Gland, is a kidney-shaped organ of the lymphatic system, and the adaptive immune system. A large number of lymph nodes are linked throughout the body by the lymphatic vessels. They are major sites of lymphocytes that include B and T cells. Lymph nodes are important for the proper functioning of the immune system, acting as filters for foreign particles including cancer cells, but have no detoxification function.[from Wikipedia]") | Mid-level-ontology.kif 13831-13838 | Lymph gland is a subclass of gland |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage LymphNode "lymph node") | Mid-level-ontology.kif 13840-13840 | |
| (termFormat EnglishLanguage LymphNode "lymph gland") | Mid-level-ontology.kif 13841-13841 |
| antecedent |
|
|
| (=> (instance ?LN LymphNode) (exists (?WBC) (and (instance ?WBC WhiteBloodCell) (contains ?LN ?WBC)))) |
Mid-level-ontology.kif 13843-13848 | If X is an instance of lymph gland, then there exists Y such that Y is an instance of leukocyte and X contains Y |
|