No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6450-6451 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6448-6448 |
Le nombre 1 argument de sheddingBodyPart est une instance de organisme |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6449-6449 |
Le nombre 2 argument de sheddingBodyPart est une instance de partie du corps |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6447-6447 |
sheddingBodyPart est une instance de SheddingPart |