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
importPartnerByFraction
Sigma KEE - importPartnerByFraction
importPartnerByFraction
appearance as argument number 1
(
documentation
importPartnerByFraction
EnglishLanguage
"(
importPartnerByFraction
?AREA1 ?AREA2 ?FRACTION) means that the
GeopoliticalArea
?AREA1 imports goods from
GeopoliticalArea
?AREA2 and provides ?FRACTION of the
importTotalInPeriod
of ?AREA1, based on U.S. dollar value of imports.")
Economy.kif 2732-2736
(
domain
importPartnerByFraction
1
GeopoliticalArea
)
Economy.kif 2728-2728
按分数进口伙伴
的 1 数量 是
地缘政治区域
的
instance
(
domain
importPartnerByFraction
2
GeopoliticalArea
)
Economy.kif 2729-2729
按分数进口伙伴
的 2 数量 是
地缘政治区域
的
instance
(
domain
importPartnerByFraction
3
PositiveRealNumber
)
Economy.kif 2730-2730
按分数进口伙伴
的 3 数量 是
正实数
的
instance
(
instance
importPartnerByFraction
TernaryPredicate
)
Economy.kif 2727-2727
按分数进口伙伴
是
三元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
importPartnerByFraction
"%1 %n{不} 对于 %3 由一部分 %2 import 伙伴")
domainEnglishFormat.kif 1265-1265
(
format
ChineseTraditionalLanguage
importPartnerByFraction
"%1 %n{不} 對於 %3 由一部分 %2 import 夥伴")
domainEnglishFormat.kif 1264-1264
(
format
EnglishLanguage
importPartnerByFraction
"%1 %n{doesn't} import partner by fraction %2 for %3")
domainEnglishFormat.kif 1263-1263
(
termFormat
ChineseLanguage
importPartnerByFraction
"按分数进口伙伴")
domainEnglishFormat.kif 29419-29419
(
termFormat
ChineseTraditionalLanguage
importPartnerByFraction
"按分數進口夥伴")
domainEnglishFormat.kif 29418-29418
(
termFormat
EnglishLanguage
importPartnerByFraction
"import partner by fraction")
domainEnglishFormat.kif 29417-29417
antecedent
(=>
(
importPartnerByFraction
?AREA1 ?AREA2 ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 2738-2740
如果
地缘政治区域
对于
正实数
由一部分
另一个 地缘政治区域
import
伙伴,
然后
那个 正实数
是
lessThanOrEqualTo
1.0
consequent
(<=>
(
importPartnerByFractionInPeriod
?AREA1 ?AREA2 ?FRACTION ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
importPartnerByFraction
?AREA1 ?AREA2 ?FRACTION)))))
Economy.kif 2742-2747
地缘政治区域
对
正实数
和
有点 时距
在周期
另一个 地缘政治区域
由一部分
import
伙伴 若且唯若 有存在
时间位置
这样
那个 时间位置
是
有点 时距
的
instance
和
那个 地缘政治区域
对于
那个 正实数
由一部分
那个 另外 地缘政治区域
import
伙伴 在
那个 时间位置
holdsDuring
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