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

Formal Language: 



KB Term:  Term intersection
English Word: 

  localShortName

 Sigma KEE - localShortName
localShortName

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14759-14761
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14764-14764 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 14765-14765 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 14763-14763 localShortName est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14762-14762 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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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