| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14781-14783 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14779-14779 | Le nombre 1 argument de localLongName est une instance de cha�ne sympbolique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14780-14780 | Le nombre 2 argument de localLongName est une instance de entit� |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14778-14778 | localLongName est une instance de pr�dicat binaire |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14784-14784 | localLongName est une sous-relation de names |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1559-1559 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1558-1558 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1557-1557 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34841-34841 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34840-34840 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34839-34839 |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3603-3603 | localLongName "Asociacion Latinoamericana de Integracion" and LatinAmericanIntegrationAssociation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2913-2913 | localLongName "Banco Centroamericano de Integracion Economico" and CentralAmericanBankForEconomicIntegration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3347-3347 | localLongName "Banco Interamericano de Desarrollo" and InterAmericanDevelopmentBank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2719-2719 | localLongName "Banque Africaine de Developpement" and AfricanDevelopmentBank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2774-2774 | localLongName "Banque Arabe de Developpement Economique en Afrique" and ArabBankForEconomicDevelopmentInAfrica |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4260-4260 | localLongName "Banque Ouest-Africaine de Developpement" and WestAfricanDevelopmentBank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2906-2906 | localLongName "Banque de Developpement des Etats de l'Afrique Centrale" and CentralAfricanStatesDevelopmentBank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3097-3097 | localLongName "Communaute Economique des Pays des Grands Lacs" and EconomicCommunityOfTheGreatLakesCountries |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3234-3234 | localLongName "Conference des Ministres des Finances des Pays de la Zone Franc" and FrancZone |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3254-3254 | localLongName "Groupe des Six Sur le Desarmement" and GroupOf6 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3829-3829 | localLongName "Mercado Comun del Cono Sur" and SouthernConeCommonMarket |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2740-2740 | localLongName "Organismo para la Proscripcion de las Armas Nucleares en la America Latina y el Caribe" and AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3594-3594 | localLongName "Sistema Economico Latinoamericana" and LatinAmericanEconomicSystem |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4269-4269 | localLongName "Union Economique et Monetaire Ouest Africaine" and WestAfricanEconomicAndMonetaryUnion |
|
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