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 |
Le nombre 1 argument de diseaseCandidate est une instance de humain |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1933-1933 |
Le nombre 2 argument de diseaseCandidate est une instance de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1931-1931 |
diseaseCandidate est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1937-1937 |
diseaseCandidate est reli� � l'int�rieur de SUMO � pathologyCandidate |