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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Cancer

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 Cancer病気または症候群instance では %n

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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