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

Formal Language: 



KB Term:  Term intersection
English Word: 

  conventionalLongName

 Sigma KEE - conventionalLongName
conventionalLongName

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27210-27212
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27214-27214 O argumento numero 1 de conventionalLongName e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27215-27215 O argumento numero 2 de conventionalLongName e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27208-27208 conventionalLongName e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Media.kif 3298-3298 conventionalLongName e' uma sub-relacao de fullName
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27217-27217 conventionalLongName e' uma sub-relacao de names

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 544-544
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 543-543
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 542-542
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17088-17088
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17087-17087
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17086-17086
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27216-27216

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 2791-2794 Posicao Temporal e' uma instancia de o dia 1 conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations vale durante imediatemente apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order. Government.kif 2765-2769 Posicao Temporal e' uma instancia de o ano 1996 conventionalLongName "Agency for the French-Speaking Community" and AgencyForTheFrenchSpeakingCommunity vale durante imediatemente apos Posicao Temporal

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2875-2875 conventionalLongName "ASEAN Regional Forum" and ASEANRegionalForum
No TPTP formula. May not be expressible in strict first order. Government.kif 3733-3733 conventionalLongName "African Union" and OrganizationOfAfricanUnity
No TPTP formula. May not be expressible in strict first order. Government.kif 2748-2748 conventionalLongName "African, Caribbean, and Pacific Group of States" and AfricanCaribbeanAndPacificGroupOfStates
No TPTP formula. May not be expressible in strict first order. Government.kif 2762-2762 conventionalLongName "Agency for the French-Speaking Community" and AgencyForTheFrenchSpeakingCommunity
No TPTP formula. May not be expressible in strict first order. Government.kif 2774-2774 conventionalLongName "Agency for the Prohibition of Nuclear Weapons in Latin America and the Caribbean" and AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
No TPTP formula. May not be expressible in strict first order. Government.kif 2783-2783 conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations
No TPTP formula. May not be expressible in strict first order. Government.kif 2800-2800 conventionalLongName "Antarctic Treaty Council" and AntarcticTreatyCouncil
No TPTP formula. May not be expressible in strict first order. Geography.kif 3191-3191 conventionalLongName "Antarctic Treaty" and AntarcticTreaty
No TPTP formula. May not be expressible in strict first order. Government.kif 2808-2808 conventionalLongName "Arab Bank for Economic Development in Africa" and ArabBankForEconomicDevelopmentInAfrica
No TPTP formula. May not be expressible in strict first order. Government.kif 2816-2816 conventionalLongName "Arab Cooperation Council" and ArabCooperationCouncil
No TPTP formula. May not be expressible in strict first order. Government.kif 2822-2822 conventionalLongName "Arab Fund for Economic and Social Development" and ArabFundForEconomicAndSocialDevelopment
No TPTP formula. May not be expressible in strict first order. Government.kif 2829-2829 conventionalLongName "Arab League" and ArabLeague
No TPTP formula. May not be expressible in strict first order. Government.kif 2840-2840 conventionalLongName "Arab Maghreb Union" and ArabMaghrebUnion
No TPTP formula. May not be expressible in strict first order. Government.kif 2849-2849 conventionalLongName "Arab Monetary Fund" and ArabMonetaryFund
No TPTP formula. May not be expressible in strict first order. Government.kif 2855-2855 conventionalLongName "Asia-Pacific Economic Cooperation" and AsiaPacificEconomicCooperation
No TPTP formula. May not be expressible in strict first order. Government.kif 2861-2861 conventionalLongName "Asian Development Bank" and AsianDevelopmentBank
No TPTP formula. May not be expressible in strict first order. Government.kif 2867-2867 conventionalLongName "Association of Southeast Asian Nations" and AssociationOfSoutheastAsianNations
No TPTP formula. May not be expressible in strict first order. Government.kif 2882-2882 conventionalLongName "Australia Group" and AustraliaGroup
No TPTP formula. May not be expressible in strict first order. Government.kif 2887-2887 conventionalLongName "Australia-New Zealand-United States Security Treaty" and AustraliaNewZealandUnitedStatesSecurityTreaty
No TPTP formula. May not be expressible in strict first order. Government.kif 2893-2893 conventionalLongName "Bank for International Settlements" and BankForInternationalSettlements
No TPTP formula. May not be expressible in strict first order. Geography.kif 3246-3247 conventionalLongName "Basel Convention on the Control of Transboundary Movements of Hazardous Wastes and Their Disposal" and HazardousWastesConvention
No TPTP formula. May not be expressible in strict first order. Government.kif 2899-2899 conventionalLongName "Benelux Economic Union" and BeneluxEconomicUnion
No TPTP formula. May not be expressible in strict first order. Government.kif 2908-2908 conventionalLongName "Big Seven" and BigSeven
No TPTP formula. May not be expressible in strict first order. Government.kif 2913-2913 conventionalLongName "Big Six" and BigSix
No TPTP formula. May not be expressible in strict first order. Government.kif 2919-2919 conventionalLongName "Black Sea Economic Cooperation Zone" and BlackSeaEconomicCooperationZone

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