localShortName |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14786-14788 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14791-14791 | Le nombre 1 argument de localShortName est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14792-14792 | Le nombre 2 argument de localShortName est une instance de entit� |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14790-14790 | localShortName est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14789-14789 | localShortName est une sous-relation de names |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1563-1563 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1562-1562 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1561-1561 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34853-34853 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34852-34852 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34851-34851 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3604-3604 | localShortName "ALADI" and LatinAmericanIntegrationAssociation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2720-2720 | localShortName "BAD" and AfricanDevelopmentBank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2775-2775 | localShortName "BADEA" and ArabBankForEconomicDevelopmentInAfrica |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3348-3348 | localShortName "BID" and InterAmericanDevelopmentBank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4261-4261 | localShortName "BOAD" and WestAfricanDevelopmentBank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2741-2741 | localShortName "OPANAL" and AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3595-3595 | localShortName "SELA" and LatinAmericanEconomicSystem |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4270-4270 | localShortName "WAEMU" and WestAfricanEconomicAndMonetaryUnion |