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
fOCShipsByOrigin
Sigma KEE - fOCShipsByOrigin
fOCShipsByOrigin
appearance as argument number 1
(
documentation
fOCShipsByOrigin
EnglishLanguage
"(
fOCShipsByOrigin
?MM ?AREA ?COUNT) means that the
MerchantMarine
?MM has ?COUNT number of ships from the
GeopoliticalArea
?AREA in its
ShipRegister
, using it as a
Flag
OfConvenience, although the owner of the ships is in ?AREA.")
Transportation.kif 1057-1062
(
domain
fOCShipsByOrigin
1
MerchantMarine
)
Transportation.kif 1054-1054
fOC按原产地出货
的 1 数量 是
商船
的
instance
(
domain
fOCShipsByOrigin
2
GeopoliticalArea
)
Transportation.kif 1055-1055
fOC按原产地出货
的 2 数量 是
地缘政治区域
的
instance
(
domain
fOCShipsByOrigin
3
NonnegativeInteger
)
Transportation.kif 1056-1056
fOC按原产地出货
的 3 数量 是
非负整数
的
instance
(
instance
fOCShipsByOrigin
TernaryPredicate
)
Transportation.kif 1053-1053
fOC按原产地出货
是
三元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
fOCShipsByOrigin
"%1 %n{不} 对 %3 由来源 %2 fOC 船只")
domainEnglishFormat.kif 1081-1081
(
format
ChineseTraditionalLanguage
fOCShipsByOrigin
"%1 %n{不} 對 %3 由來源 %2 fOC 船隻")
domainEnglishFormat.kif 1080-1080
(
format
EnglishLanguage
fOCShipsByOrigin
"%1 %n{doesn't} fOC ships by origin %2 for %3")
domainEnglishFormat.kif 1079-1079
(
termFormat
ChineseLanguage
fOCShipsByOrigin
"fOC按原产地出货")
domainEnglishFormat.kif 24452-24452
(
termFormat
ChineseTraditionalLanguage
fOCShipsByOrigin
"fOC按原產地出貨")
domainEnglishFormat.kif 24451-24451
(
termFormat
EnglishLanguage
fOCShipsByOrigin
"fOC ships by origin")
domainEnglishFormat.kif 24450-24450
antecedent
(=>
(
and
(
fOCShipsByOrigin
?MM ?HOME ?COUNT)
(
equal
?MM
(
MerchantMarineFn
?AREA)))
(
not
(
equal
?HOME ?AREA)))
Transportation.kif 1064-1068
如果
商船
对
非负整数
由来源
地缘政治区域
fOC
船只 和
那个 商船
equal
另一个 地缘政治区域
的
merchant
海洋,
然后
那个 地缘政治区域
不
equal
那个 另外 地缘政治区域
(=>
(
and
(
fOCShipsByOrigin
?MM ?HOME ?COUNT)
(
greaterThan
?COUNT 0)
(
marineInventory
?MM ?REGISTER))
(
instance
?REGISTER
FlagOfConvenienceRegister
))
Transportation.kif 1070-1075
如果
商船
对
非负整数
由来源
地缘政治区域
fOC
船只 和
那个 非负整数
是
greaterThan
0 和
船舶登记
是
那个 商船
的
marine
库存,
然后
那个 船舶登记
是
便利登记的旗帜
的
instance
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