Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cancer
Cancer

appearance as argument number 1
-------------------------


(documentation Cancer EnglishLanguage "A DiseaseOrSyndrome characterized by pathologic and uncontrolled cell division that results in a Tumor.") Mid-level-ontology.kif 6293-6294
(externalImage Cancer "http://upload.wikimedia.org/wikipedia/commons/e/e9/ Urothelial_papillary_carcinoma_highly_differentiated_%28urinary_bladder%29H%26E_magn_200x.jpg") pictureList.kif 4576-4576
(instance Cancer DiseaseOrSyndrome) Mid-level-ontology.kif 6292-6292

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Cancer "癌症") domainEnglishFormat.kif 12931-12931
(termFormat ChineseTraditionalLanguage Cancer "癌症") domainEnglishFormat.kif 12930-12930
(termFormat EnglishLanguage Cancer "cancer") domainEnglishFormat.kif 12929-12929

antecedent
-------------------------


(=>
    (attribute ?PERSON Cancer)
    (exists (?TUMOR)
        (and
            (instance ?TUMOR Tumor)
            (part ?TUMOR ?PERSON))))
Mid-level-ontology.kif 6296-6301


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners