TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Tumor AbnormalAnatomicalStructure)	Mid-level-ontology.kif 10925-10925	Tumor is a subclass of abnormal anatomical structure
(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	Tumor is a subclass of abnormal anatomical structure

appearance as argument number 2

(termFormat EnglishLanguage Tumor "tumor")	domainEnglishFormat.kif 59419-59419
(termFormat ChineseTraditionalLanguage Tumor "瘤")	domainEnglishFormat.kif 59420-59420
(termFormat ChineseLanguage Tumor "瘤")	domainEnglishFormat.kif 59421-59421

antecedent

(=>
    (and
        (instance ?TUMOR Tumor)
        (part ?PART ?TUMOR))
    (instance ?PART Tissue))

If X is an instance of tumor and Y is a part of X, then Y is an instance of tissue

consequent

(=>
    (attribute ?PERSON Cancer)
    (exists (?TUMOR)
        (and
            (instance ?TUMOR Tumor)
            (part ?TUMOR ?PERSON))))

If cancer is an attribute of X, then there exists Y such that Y is an instance of tumor and Y is a part of X