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
Die Zahl 1 Argument von
importPartnerByFraction
ist ein
fall
von
GeopoliticalArea
%n{nicht}
(
domain
importPartnerByFraction
2
GeopoliticalArea
)
Economy.kif 2729-2729
Die Zahl 2 Argument von
importPartnerByFraction
ist ein
fall
von
GeopoliticalArea
%n{nicht}
(
domain
importPartnerByFraction
3
PositiveRealNumber
)
Economy.kif 2730-2730
Die Zahl 3 Argument von
importPartnerByFraction
ist ein
fall
von
PositiveRealNumber
%n{nicht}
(
instance
importPartnerByFraction
TernaryPredicate
)
Economy.kif 2727-2727
importPartnerByFraction
ist ein
fall
von
TernaryPredicate
%n{nicht}
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
Wenn
importPartnerByFraction
GeopoliticalArea
,
** GeopoliticalArea
and
PositiveRealNumber
,
dann
** PositiveRealNumber
ist
kleinerAlsOderGleich
1.0 %n{nicht}
consequent
(<=>
(
importPartnerByFractionInPeriod
?AREA1 ?AREA2 ?FRACTION ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
importPartnerByFraction
?AREA1 ?AREA2 ?FRACTION)))))
Economy.kif 2742-2747
importPartnerByFractionInPeriod
GeopoliticalArea
,
** GeopoliticalArea
,
PositiveRealNumber
and
** TimeInterval
genau dann wenn es gibt
TimePosition
um
** TimePosition
ist ein
fall
von
** TimeInterval
%n{nicht} und
importPartnerByFraction
** GeopoliticalArea
,
** ** GeopoliticalArea
and
** PositiveRealNumber
haelt
waehrend
** TimePosition
%n{nicht}
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