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
组织目标
的 1 数量 是
施事体
的
instance
No TPTP formula. May not be expressible in strict first order.
Government.kif 2594-2594
组织目标
的 2 数量 是
关注的区域
的
instance
No TPTP formula. May not be expressible in strict first order.
Government.kif 2592-2592
组织目标
是
二元谓语
的
instance
No TPTP formula. May not be expressible in strict first order.
Government.kif 2595-2595
组织目标
是
属于
的
subrelation
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
如果
施事体
是
国际组织
的
instance
和
关注的区域
是
那个 施事体
的
organizational
目标,
然后
那个 关注的区域
是
跨国问题
的
instance
No TPTP formula. May not be expressible in strict first order.
Government.kif 2371-2377
如果
有认知的主事
是
政治压力集团
的
instance
和
关注的区域
是
那个 有认知的主事
的
organizational
目标 和
施事体
是
政府组织
的
instance
和
那个 关注的区域
是
那个 施事体
的
organizational
目标,
然后
那个 有认知的主事
对
那个 施事体
感兴趣
No TPTP formula. May not be expressible in strict first order.
Government.kif 2602-2606
如果
关注的区域
是
施事体
的
organizational
目标 和
那个 关注的区域
是
另一个 关注的区域
的
subAttribute
,
然后
那个 另外 关注的区域
是
那个 施事体
的
organizational
目标
consequent
No TPTP formula. May not be expressible in strict first order.
Government.kif 2602-2606
如果
关注的区域
是
施事体
的
organizational
目标 和
那个 关注的区域
是
另一个 关注的区域
的
subAttribute
,
然后
那个 另外 关注的区域
是
那个 施事体
的
organizational
目标
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Government.kif 2879-2879
区域安全
是
东盟区域论坛
的
organizational
目标
No TPTP formula. May not be expressible in strict first order.
Government.kif 2751-2751
经济合作
是
非洲加勒比和太平洋国家集团
的
organizational
目标
No TPTP formula. May not be expressible in strict first order.
Government.kif 2758-2758
经济发展
是
非洲开发银行
的
organizational
目标
No TPTP formula. May not be expressible in strict first order.
Government.kif 2759-2759
社会发展
是
非洲开发银行
的
organizational
目标
No TPTP formula. May not be expressible in strict first order.
Government.kif 2779-2779
核不扩散
是
在拉丁美洲和加勒比地区禁止核武器的机构
的
organizational
目标
No TPTP formula. May not be expressible in strict first order.
Government.kif 2780-2780
和平利用原子能
是
在拉丁美洲和加勒比地区禁止核武器的机构
的
organizational
目标
No TPTP formula. May not be expressible in strict first order.
Government.kif 2797-2797
经济一体化
是
安第斯国际社会
的
organizational
目标
No TPTP formula. May not be expressible in strict first order.
Government.kif 2802-2802
行政和管理
是
南极条约理事会
的
organizational
目标
No TPTP formula. May not be expressible in strict first order.
Government.kif 2803-2803
促进地区稳定
是
南极条约理事会
的
organizational
目标
No TPTP formula. May not be expressible in strict first order.
Government.kif 2813-2813
经济发展
是
阿拉伯非洲经济发展银行
的
organizational
目标
No TPTP formula. May not be expressible in strict first order.
Government.kif 2819-2819
经济一体化
是
阿拉伯合作理事会
的
organizational
目标
No TPTP formula. May not be expressible in strict first order.
Government.kif 2825-2825
经济发展
是
阿拉伯经济和社会发展基金
的
organizational
目标
No TPTP formula. May not be expressible in strict first order.
Government.kif 2826-2826
社会发展
是
阿拉伯经济和社会发展基金
的
organizational
目标
No TPTP formula. May not be expressible in strict first order.
Government.kif 2834-2834
经济合作
是
阿拉伯联盟
的
organizational
目标
No TPTP formula. May not be expressible in strict first order.
Government.kif 2837-2837
军事合作
是
阿拉伯联盟
的
organizational
目标
No TPTP formula. May not be expressible in strict first order.
Government.kif 2836-2836
政治合作
是
阿拉伯联盟
的
organizational
目标
No TPTP formula. May not be expressible in strict first order.
Government.kif 2835-2835
社会合作
是
阿拉伯联盟
的
organizational
目标
No TPTP formula. May not be expressible in strict first order.
Government.kif 2844-2844
文化合作
是
阿拉伯马格里布联盟
的
organizational
目标
No TPTP formula. May not be expressible in strict first order.
Government.kif 2843-2843
经济一体化
是
阿拉伯马格里布联盟
的
organizational
目标
No TPTP formula. May not be expressible in strict first order.
Government.kif 2846-2846
军事合作
是
阿拉伯马格里布联盟
的
organizational
目标
No TPTP formula. May not be expressible in strict first order.
Government.kif 2845-2845
政治合作
是
阿拉伯马格里布联盟
的
organizational
目标
No TPTP formula. May not be expressible in strict first order.
Government.kif 2852-2852
经济合作
是
阿拉伯货币基金
的
organizational
目标
No TPTP formula. May not be expressible in strict first order.
Government.kif 2858-2858
促进贸易和投资
是
亚太经济合作
的
organizational
目标
No TPTP formula. May not be expressible in strict first order.
Government.kif 2864-2864
经济合作
是
亚洲开发银行
的
organizational
目标
No TPTP formula. May not be expressible in strict first order.
Government.kif 2872-2872
文化合作
是
东南亚国家联盟
的
organizational
目标
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