No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6439-6440 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6437-6437 |
The number 1 argument of shedding leaves is an instance of plant |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6438-6438 |
The number 2 argument of shedding leaves is an instance of plant leaf |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6436-6436 |
shedding leaves is an instance of shedding part |