pathologyCandidate |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1948-1948 | Le nombre 1 argument de pathologyCandidate est une instance de humain |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1949-1949 | Le nombre 2 argument de pathologyCandidate est une sous-classe de processus pathologique |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1947-1947 | pathologyCandidate est une instance de pr�dicat binaire |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1952-1952 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1937-1937 | diseaseCandidate est reli� � l'int�rieur de SUMO � pathologyCandidate |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1954-1962 |
|
![]() |
![]() |