|
|
   StateOrProvince
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3348-3349 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14278-14281 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14276-14276 | State or province is a subclass of geopolitical area |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14277-14277 | State or province is a subclass of land area |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 21-21 | American state is a subclass of state or province |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 959-959 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1125-1125 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 635-635 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 166-166 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 169-169 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2320-2320 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 587-587 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 171-171 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 203-203 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 656-656 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 170-170 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24798-24798 | The number 2 argument of post district is an instance of state or province |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24804-24809 | A postal place is located at a state or province and the postal place is an instance of postal place and the state or province is an instance of state or province if and only if the postal place is in the state or province |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8353-8355 | A geopolitical area is an instance of state or province if and only if the government of the geopolitical area is an instance of state government |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6938-6942 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24779-24784 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24747-24752 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24861-24866 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14283-14288 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1586-1588 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14304-14309 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6976-6976 | American state is equal to all the instances of state or province in united states |
|
|
|