| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7110-7110 | Crystal est une sous-classe de substance |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 3011-3011 | Snowflake est une sous-classe de Crystal |
|
|