| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14743-14744 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14746-14746 | formerName est une instance de pr�dicat binaire |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14745-14745 | formerName est une sous-relation de names |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3478-3478 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3477-3477 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3476-3476 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24746-24746 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24745-24745 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24744-24744 |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2750-2750 | formerName "AG" and AndeanCommunityOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2728-2728 | formerName "Agency for Cultural and Technical Cooperation" and AgencyForTheFrenchSpeakingCommunity |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2753-2753 | formerName "Ancom" and AndeanCommunityOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2752-2752 | formerName "Andean Common Market" and AndeanCommunityOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2751-2751 | formerName "Andean Parliament" and AndeanCommunityOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2749-2749 | formerName "AndeanGroup" and AndeanCommunityOfNations |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 602-602 | formerName "Burma" and Myanmar |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3677-3677 | formerName "CSCE" and OrganizationForSecurityAndCooperationInEurope |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3612-3612 | formerName "Central African Customs and Economic Union" and MonetaryAndEconomicCommunityOfCentralAfrica |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3676-3676 | formerName "Conference on Security and Cooperation in Europe" and OrganizationForSecurityAndCooperationInEurope |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3202-3202 | formerName "Conseil Europeenne pour la Recherche Nucleaire" and EuropeanOrganizationForNuclearResearch |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4226-4226 | formerName "Ellice Islands" and Tuvalu |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 127-127 | formerName "First World" and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4207-4207 | formerName "Gilbert Islands" and Kiribati |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3787-3787 | formerName "Grupo de los Ocho" and RioGroup |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3935-3935 | formerName "Habitat" and UnitedNationsCenterForHumanSettlements |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2928-2928 | formerName "Hexagonal Initiative" and CentralEuropeanInitiative |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3548-3548 | formerName "ICEM" and InternationalOrganizationForMigration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3550-3550 | formerName "ICM" and InternationalOrganizationForMigration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4292-4292 | formerName "IFCTU" and WorldConfederationOfLabor |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3357-3357 | formerName "IGADD" and InterGovernmentalAuthorityOnDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3518-3518 | formerName "IMCO" and InternationalMaritimeOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3356-3356 | formerName "Inter-Governmental Authority on Drought and Development" and InterGovernmentalAuthorityOnDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3547-3547 | formerName "Intergovernmental Committee for European Migration" and InternationalOrganizationForMigration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3549-3549 | formerName "Intergovernmental Committee for Migration" and InternationalOrganizationForMigration |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
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