| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 379-380 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 375-375 | The number 1 argument of capital city is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 376-376 | The number 2 argument of capital city is an instance of geopolitical area |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 374-374 | capital city is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 377-377 | capital city is a subrelation of administrative center |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 356-356 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 355-355 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 354-354 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13095-13095 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13094-13094 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13093-13093 |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 717-717 | Germany is a capital city of berlin germany |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 721-721 | Switzerland is a capital city of bern switzerland |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 858-858 | Ohio is a capital city of columbus ohio |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 844-844 | Denmark is a capital city of copenhagen denmark |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 838-838 | Colorado is a capital city of denver colorado |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 825-825 | Hawaii is a capital city of honolulu hawaii |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1837-1837 | Israel is a capital city of jerusalem israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2980-2980 | West bank is a capital city of Jerusalem Palestine |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 68-68 | United kingdom is a capital city of London |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 749-749 | Russia is a capital city of moscow russia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 56-56 | France is a capital city of paris |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 771-771 | Rhode island is a capital city of providence rhode island |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 775-775 | Virginia is a capital city of richmond virginia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 779-779 | Italy is a capital city of rome italy |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 786-786 | Minnesota is a capital city of saint paul minnesota |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2389-2389 | Japan is a capital city of tokyo japan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 802-802 | Poland is a capital city of warsaw poland |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1050-1050 | United states is a capital city of washingtonDC united states |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners