| No TPTP formula. May not be expressible in strict first order. | Food.kif 299-306 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9588-9601 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6191-6199 |
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4214-4218 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6201-6209 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14445-14445 | Plante est une sous-classe de organisme |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14450-14450 | Plant florissante est une sous-classe de plante |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14454-14454 | Plante non florissante est une sous-classe de plante |
|
|