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 |
域 sheddingBodyPart, 1 and Organism |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6449-6449 |
域 sheddingBodyPart, 2 and BodyPart |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6447-6447 |
例 sheddingBodyPart and SheddingPart |