| Cancer(cancer)
| | cancer, malignant_neoplastic_disease |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7249-7250 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4575-4575 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7248-7248 | Cancer is an instance of disease or syndrome |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12946-12946 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12945-12945 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12944-12944 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7252-7257 |
|
|
|
|