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

Formal Language: 



KB Term:  Term intersection
English Word: 

  abbreviation

 Sigma KEE - abbreviation
abbreviation

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27235-27237
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27231-27231 O argumento numero 1 de abbreviation e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27232-27232 O argumento numero 2 de abbreviation e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27230-27230 abbreviation e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27233-27233 abbreviation e' uma sub-relacao de conventionalShortName

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16-16
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15-15
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14-14
No TPTP formula. May not be expressible in strict first order. Media.kif 3034-3034 acronym e' uma sub-relacao de abbreviation
No TPTP formula. May not be expressible in strict first order. Economy.kif 3616-3616 currencyCode e' uma sub-relacao de abbreviation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5046-5046
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5045-5045
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5044-5044

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 3165-3169

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 2809-2809 abbreviation "ABEDA" and ArabBankForEconomicDevelopmentInAfrica
No TPTP formula. May not be expressible in strict first order. Government.kif 2817-2817 abbreviation "ACC" and ArabCooperationCouncil
No TPTP formula. May not be expressible in strict first order. Government.kif 2763-2763 abbreviation "ACCT" and AgencyForTheFrenchSpeakingCommunity
No TPTP formula. May not be expressible in strict first order. Government.kif 2749-2749 abbreviation "ACP Group" and AfricanCaribbeanAndPacificGroupOfStates
No TPTP formula. May not be expressible in strict first order. Government.kif 2823-2823 abbreviation "AFESD" and ArabFundForEconomicAndSocialDevelopment
No TPTP formula. May not be expressible in strict first order. Government.kif 2831-2831 abbreviation "AL" and ArabLeague
No TPTP formula. May not be expressible in strict first order. Government.kif 2850-2850 abbreviation "AMF" and ArabMonetaryFund
No TPTP formula. May not be expressible in strict first order. Government.kif 2841-2841 abbreviation "AMU" and ArabMaghrebUnion
No TPTP formula. May not be expressible in strict first order. Government.kif 2888-2888 abbreviation "ANZUS" and AustraliaNewZealandUnitedStatesSecurityTreaty
No TPTP formula. May not be expressible in strict first order. Government.kif 2856-2856 abbreviation "APEC" and AsiaPacificEconomicCooperation
No TPTP formula. May not be expressible in strict first order. Government.kif 2876-2876 abbreviation "ARF" and ASEANRegionalForum
No TPTP formula. May not be expressible in strict first order. Government.kif 2868-2868 abbreviation "ASEAN" and AssociationOfSoutheastAsianNations
No TPTP formula. May not be expressible in strict first order. Government.kif 2754-2754 abbreviation "AfDB" and AfricanDevelopmentBank
No TPTP formula. May not be expressible in strict first order. Government.kif 2862-2862 abbreviation "AsDB" and AsianDevelopmentBank
No TPTP formula. May not be expressible in strict first order. Government.kif 2948-2948 abbreviation "BCIE" and CentralAmericanBankForEconomicIntegration
No TPTP formula. May not be expressible in strict first order. Government.kif 2941-2941 abbreviation "BDEAC" and CentralAfricanStatesDevelopmentBank
No TPTP formula. May not be expressible in strict first order. Government.kif 2894-2894 abbreviation "BIS" and BankForInternationalSettlements
No TPTP formula. May not be expressible in strict first order. Government.kif 2920-2920 abbreviation "BSEC" and BlackSeaEconomicCooperationZone
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4091-4091 abbreviation "BVI" and BritishVirginIslands
No TPTP formula. May not be expressible in strict first order. Government.kif 2900-2900 abbreviation "Benelux" and BeneluxEconomicUnion
No TPTP formula. May not be expressible in strict first order. Government.kif 2979-2979 abbreviation "C" and CommonwealthOfNations
No TPTP formula. May not be expressible in strict first order. Government.kif 2956-2956 abbreviation "CACM" and CentralAmericanCommonMarket
No TPTP formula. May not be expressible in strict first order. Government.kif 3013-3013 abbreviation "CAEU" and CouncilOfArabEconomicUnity
No TPTP formula. May not be expressible in strict first order. Government.kif 2784-2784 abbreviation "CAN" and AndeanCommunityOfNations
No TPTP formula. May not be expressible in strict first order. Government.kif 3034-3034 abbreviation "CBSS" and CouncilOfTheBalticSeaStates

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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