Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
organizationalObjective
Sigma KEE - organizationalObjective
organizationalObjective
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Government.kif 2598-2600
No TPTP formula. May not be expressible in strict first order.
Government.kif 2593-2593
Le nombre 1 argument de
organizationalObjective
est une
instance
de
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Government.kif 2594-2594
Le nombre 2 argument de
organizationalObjective
est une
instance
de
AreaOfConcern
No TPTP formula. May not be expressible in strict first order.
Government.kif 2592-2592
organizationalObjective
est une
instance
de
pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.
Government.kif 2595-2595
organizationalObjective
est une
sous
-relation de
attribute
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 1859-1859
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 1858-1858
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 1857-1857
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 42498-42498
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 42497-42497
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 42496-42496
antecedent
No TPTP formula. May not be expressible in strict first order.
Government.kif 2614-2618
AutonomousAgent
est une
instance
de
InternationalOrganization
organizationalObjective
AutonomousAgent
and
AreaOfConcern
AreaOfConcern
est une
instance
de
TransnationalIssue
No TPTP formula. May not be expressible in strict first order.
Government.kif 2371-2377
Agent cognitif
est une
instance
de
PoliticalPressureGroup
organizationalObjective
agent cognitif
and
AreaOfConcern
AutonomousAgent
est une
instance
de
GovernmentOrganization
organizationalObjective
AutonomousAgent
and
AreaOfConcern
agent cognitif
est
interess
� par
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Government.kif 2602-2606
organizationalObjective
AutonomousAgent
and
AreaOfConcern
AreaOfConcern
est un
sous
-attribut de
AreaOfConcern
organizationalObjective
AutonomousAgent
and
AreaOfConcern
consequent
No TPTP formula. May not be expressible in strict first order.
Government.kif 2602-2606
organizationalObjective
AutonomousAgent
and
AreaOfConcern
AreaOfConcern
est un
sous
-attribut de
AreaOfConcern
organizationalObjective
AutonomousAgent
and
AreaOfConcern
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Government.kif 2879-2879
organizationalObjective
ASEANRegionalForum
and
RegionalSecurity
No TPTP formula. May not be expressible in strict first order.
Government.kif 2751-2751
organizationalObjective
AfricanCaribbeanAndPacificGroupOfStates
and
EconomicCooperation
No TPTP formula. May not be expressible in strict first order.
Government.kif 2758-2758
organizationalObjective
AfricanDevelopmentBank
and
EconomicDevelopment
No TPTP formula. May not be expressible in strict first order.
Government.kif 2759-2759
organizationalObjective
AfricanDevelopmentBank
and
SocialDevelopment
No TPTP formula. May not be expressible in strict first order.
Government.kif 2779-2779
organizationalObjective
AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
and
NuclearNonproliferation
No TPTP formula. May not be expressible in strict first order.
Government.kif 2780-2780
organizationalObjective
AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
and
PeacefulUseOfAtomicPower
No TPTP formula. May not be expressible in strict first order.
Government.kif 2797-2797
organizationalObjective
AndeanCommunityOfNations
and
EconomicIntegration
No TPTP formula. May not be expressible in strict first order.
Government.kif 2802-2802
organizationalObjective
AntarcticTreatyCouncil
and
AdministrationAndManagement
No TPTP formula. May not be expressible in strict first order.
Government.kif 2803-2803
organizationalObjective
AntarcticTreatyCouncil
and
PromoteRegionalStability
No TPTP formula. May not be expressible in strict first order.
Government.kif 2813-2813
organizationalObjective
ArabBankForEconomicDevelopmentInAfrica
and
EconomicDevelopment
No TPTP formula. May not be expressible in strict first order.
Government.kif 2819-2819
organizationalObjective
ArabCooperationCouncil
and
EconomicIntegration
No TPTP formula. May not be expressible in strict first order.
Government.kif 2825-2825
organizationalObjective
ArabFundForEconomicAndSocialDevelopment
and
EconomicDevelopment
No TPTP formula. May not be expressible in strict first order.
Government.kif 2826-2826
organizationalObjective
ArabFundForEconomicAndSocialDevelopment
and
SocialDevelopment
No TPTP formula. May not be expressible in strict first order.
Government.kif 2834-2834
organizationalObjective
ArabLeague
and
EconomicCooperation
No TPTP formula. May not be expressible in strict first order.
Government.kif 2837-2837
organizationalObjective
ArabLeague
and
MilitaryCooperation
No TPTP formula. May not be expressible in strict first order.
Government.kif 2836-2836
organizationalObjective
ArabLeague
and
PoliticalCooperation
No TPTP formula. May not be expressible in strict first order.
Government.kif 2835-2835
organizationalObjective
ArabLeague
and
SocialCooperation
No TPTP formula. May not be expressible in strict first order.
Government.kif 2844-2844
organizationalObjective
ArabMaghrebUnion
and
CulturalCooperation
No TPTP formula. May not be expressible in strict first order.
Government.kif 2843-2843
organizationalObjective
ArabMaghrebUnion
and
EconomicIntegration
No TPTP formula. May not be expressible in strict first order.
Government.kif 2846-2846
organizationalObjective
ArabMaghrebUnion
and
MilitaryCooperation
No TPTP formula. May not be expressible in strict first order.
Government.kif 2845-2845
organizationalObjective
ArabMaghrebUnion
and
PoliticalCooperation
No TPTP formula. May not be expressible in strict first order.
Government.kif 2852-2852
organizationalObjective
ArabMonetaryFund
and
EconomicCooperation
No TPTP formula. May not be expressible in strict first order.
Government.kif 2858-2858
organizationalObjective
AsiaPacificEconomicCooperation
and
PromotionOfTradeAndInvestment
No TPTP formula. May not be expressible in strict first order.
Government.kif 2864-2864
organizationalObjective
AsianDevelopmentBank
and
EconomicCooperation
No TPTP formula. May not be expressible in strict first order.
Government.kif 2872-2872
organizationalObjective
AssociationOfSoutheastAsianNations
and
CulturalCooperation
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