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 2562-2564
No TPTP formula. May not be expressible in strict first order.
Government.kif 2557-2557
Le nombre 1 argument de
organizationalObjective
est une
instance
de
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Government.kif 2558-2558
Le nombre 2 argument de
organizationalObjective
est une
instance
de
AreaOfConcern
No TPTP formula. May not be expressible in strict first order.
Government.kif 2556-2556
organizationalObjective
est une
instance
de
pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.
Government.kif 2559-2559
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 42500-42500
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 42499-42499
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 42498-42498
antecedent
No TPTP formula. May not be expressible in strict first order.
Government.kif 2578-2582
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 2335-2341
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 2566-2570
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 2566-2570
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 2843-2843
organizationalObjective
ASEANRegionalForum
and
RegionalSecurity
No TPTP formula. May not be expressible in strict first order.
Government.kif 2715-2715
organizationalObjective
AfricanCaribbeanAndPacificGroupOfStates
and
EconomicCooperation
No TPTP formula. May not be expressible in strict first order.
Government.kif 2722-2722
organizationalObjective
AfricanDevelopmentBank
and
EconomicDevelopment
No TPTP formula. May not be expressible in strict first order.
Government.kif 2723-2723
organizationalObjective
AfricanDevelopmentBank
and
SocialDevelopment
No TPTP formula. May not be expressible in strict first order.
Government.kif 2743-2743
organizationalObjective
AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
and
NuclearNonproliferation
No TPTP formula. May not be expressible in strict first order.
Government.kif 2744-2744
organizationalObjective
AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
and
PeacefulUseOfAtomicPower
No TPTP formula. May not be expressible in strict first order.
Government.kif 2761-2761
organizationalObjective
AndeanCommunityOfNations
and
EconomicIntegration
No TPTP formula. May not be expressible in strict first order.
Government.kif 2766-2766
organizationalObjective
AntarcticTreatyCouncil
and
AdministrationAndManagement
No TPTP formula. May not be expressible in strict first order.
Government.kif 2767-2767
organizationalObjective
AntarcticTreatyCouncil
and
PromoteRegionalStability
No TPTP formula. May not be expressible in strict first order.
Government.kif 2777-2777
organizationalObjective
ArabBankForEconomicDevelopmentInAfrica
and
EconomicDevelopment
No TPTP formula. May not be expressible in strict first order.
Government.kif 2783-2783
organizationalObjective
ArabCooperationCouncil
and
EconomicIntegration
No TPTP formula. May not be expressible in strict first order.
Government.kif 2789-2789
organizationalObjective
ArabFundForEconomicAndSocialDevelopment
and
EconomicDevelopment
No TPTP formula. May not be expressible in strict first order.
Government.kif 2790-2790
organizationalObjective
ArabFundForEconomicAndSocialDevelopment
and
SocialDevelopment
No TPTP formula. May not be expressible in strict first order.
Government.kif 2798-2798
organizationalObjective
ArabLeague
and
EconomicCooperation
No TPTP formula. May not be expressible in strict first order.
Government.kif 2801-2801
organizationalObjective
ArabLeague
and
MilitaryCooperation
No TPTP formula. May not be expressible in strict first order.
Government.kif 2800-2800
organizationalObjective
ArabLeague
and
PoliticalCooperation
No TPTP formula. May not be expressible in strict first order.
Government.kif 2799-2799
organizationalObjective
ArabLeague
and
SocialCooperation
No TPTP formula. May not be expressible in strict first order.
Government.kif 2808-2808
organizationalObjective
ArabMaghrebUnion
and
CulturalCooperation
No TPTP formula. May not be expressible in strict first order.
Government.kif 2807-2807
organizationalObjective
ArabMaghrebUnion
and
EconomicIntegration
No TPTP formula. May not be expressible in strict first order.
Government.kif 2810-2810
organizationalObjective
ArabMaghrebUnion
and
MilitaryCooperation
No TPTP formula. May not be expressible in strict first order.
Government.kif 2809-2809
organizationalObjective
ArabMaghrebUnion
and
PoliticalCooperation
No TPTP formula. May not be expressible in strict first order.
Government.kif 2816-2816
organizationalObjective
ArabMonetaryFund
and
EconomicCooperation
No TPTP formula. May not be expressible in strict first order.
Government.kif 2822-2822
organizationalObjective
AsiaPacificEconomicCooperation
and
PromotionOfTradeAndInvestment
No TPTP formula. May not be expressible in strict first order.
Government.kif 2828-2828
organizationalObjective
AsianDevelopmentBank
and
EconomicCooperation
No TPTP formula. May not be expressible in strict first order.
Government.kif 2836-2836
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