Discography
|
|
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 14254-14257 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14252-14252 | State or province is a subclass of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14253-14253 | 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 24740-24740 | 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 24746-24751 | 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 8325-8327 | 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 24721-24726 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24689-24694 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24803-24808 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14259-14264 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1622-1624 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14280-14285 |
|
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 |