No TPTP formula. May not be expressible in strict first order. | Food.kif 2210-2212 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6255-6255 | Shrub est une sous-classe de WoodyPlant |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6270-6270 | Lilac est une sous-classe de Shrub |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4551-4551 | TeaTree est une sous-classe de Shrub |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4598-4598 | CoffeePlant est une sous-classe de Shrub |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4724-4724 | TeaPlant est une sous-classe de Shrub |