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 and Human |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1933-1933 |
域 diseaseCandidate, 2 and DiseaseOrSyndrome |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1931-1931 |
例 diseaseCandidate and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1937-1937 |
相關的內部概念 diseaseCandidate and pathologyCandidate |