appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3441-3441 | Nation is disjoint from continent |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3346-3347 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13971-13974 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3359-3359 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13969-13969 | Nation is a subclass of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13970-13970 | Nation is a subclass of land area |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 568-568 | Afghanistan is an instance of nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 371-371 | Albania is an instance of nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 117-117 | Algeria is an instance of nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 153-153 | Angola is an instance of nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 429-429 | Antigua and barbuda is an instance of nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 514-514 | Argentina is an instance of nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 631-631 | Armenia is an instance of nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 661-661 | Australia is an instance of nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 276-276 | Austria is an instance of nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 633-633 | Azerbaijan is an instance of nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 241-241 | Bahrain is an instance of nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 570-570 | Bangladesh is an instance of nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 434-434 | Barbados is an instance of nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 297-297 | Belarus is an instance of nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 472-472 | Belize is an instance of nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 192-192 | Benin is an instance of nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 572-572 | Bhutan is an instance of nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 496-496 | Bolivia is an instance of nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 373-373 | Bosnia and herzegovina is an instance of nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 156-156 | Botswana is an instance of nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 501-501 | Brazil is an instance of nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 600-600 | Brunei is an instance of nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 375-375 | Bulgaria is an instance of nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 194-194 | Burkina faso is an instance of nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 86-86 | Burundi is an instance of nation |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Music.kif 949-949 | The number 1 argument of national anthem is an instance of nation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6370-6370 | The number 4 argument of street address is an instance of nation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16471-16471 | The number 2 argument of citizen is an instance of nation |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24063-24070 | A PostalPlace is located at a geopolitical area and the PostalPlace is an instance of PostalPlace and the geopolitical area is an instance of nation or the geopolitical area is an instance of dependency or special sovereignty area if and only if the PostalPlace is in the geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 860-864 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1555-1559 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4648-4653 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4628-4637 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4515-4520 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4491-4499 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4450-4458 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1594-1598 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 195-201 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 712-717 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1145-1149 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 3209-3213 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 3203-3207 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2308-2327 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2243-2251 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 760-768 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 891-898 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 495-499 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1441-1447 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1450-1454 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1456-1460 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2176-2181 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6626-6630 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2347-2354 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
![]() |
statement |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 908-916 | For all ?COUNTRY, ?ELECTION,, , ?VOTING and ?VOTER
|
![]() |
![]() |