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 | O argumento numero 1 de localShortName e' uma instancia de Sequencia Simbolica |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14764-14764 | O argumento numero 2 de localShortName e' uma instancia de Entidade |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14762-14762 | localShortName e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14761-14761 | localShortName e' uma sub-relacao 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 |
![]() |
![]() |