localShortName |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14758-14760 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14763-14763 | 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 14764-14764 | 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 14762-14762 | localShortName est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14761-14761 | 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 3640-3640 | localShortName "ALADI" and LatinAmericanIntegrationAssociation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2756-2756 | localShortName "BAD" and AfricanDevelopmentBank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2811-2811 | localShortName "BADEA" and ArabBankForEconomicDevelopmentInAfrica |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3384-3384 | localShortName "BID" and InterAmericanDevelopmentBank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4297-4297 | localShortName "BOAD" and WestAfricanDevelopmentBank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2777-2777 | localShortName "OPANAL" and AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3631-3631 | localShortName "SELA" and LatinAmericanEconomicSystem |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4306-4306 | localShortName "WAEMU" and WestAfricanEconomicAndMonetaryUnion |