| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14252-14252 | Etat ou province est une sous-classe de secteur g�opolitique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14253-14253 | Etat ou province est une sous-classe de zone de terre |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 21-21 | AmericanState est une sous-classe de Etat ou province |
|
|