Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - localShortName
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


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