![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Tumor |
| appearance as argument number 1 |
|
|
| (subclass Tumor AbnormalAnatomicalStructure) | Mid-level-ontology.kif 10925-10925 | |
| (documentation Tumor EnglishLanguage "Any AbnormalAnatomicalStructure which consists of a mass of Tissue. Note that this class covers both malignant (i.e. cancerous) and benign tumors.") | Mid-level-ontology.kif 10926-10928 |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?TUMOR Tumor) (part ?PART ?TUMOR)) (instance ?PART Tissue)) |
Mid-level-ontology.kif 10930-10934 |
| consequent |
|
|
| (=> (attribute ?PERSON Cancer) (exists (?TUMOR) (and (instance ?TUMOR Tumor) (part ?TUMOR ?PERSON)))) |
Mid-level-ontology.kif 7415-7420 |