| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1934-1935 |
|
| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1950-1951 |
|
| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1932-1932 |
diseaseCandidate 的 1 数量 是 人类 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1933-1933 |
diseaseCandidate 的 2 数量 是 疾病或综合症 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1931-1931 |
diseaseCandidate 是 二元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1937-1937 |
diseaseCandidate 和 pathologyCandidate 是 内部相关 |
diseaseCandidate