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
marineInventory
Sigma KEE - marineInventory
marineInventory
appearance as argument number 1
(
documentation
marineInventory
EnglishLanguage
"A relation between a
MerchantMarine
and a
ShipRegister
which is a member of that
MerchantMarine
")
Transportation.kif 1050-1051
(
domain
marineInventory
1
MerchantMarine
)
Transportation.kif 1048-1048
域
海運庫存
, 1 and
商船
(
domain
marineInventory
2
ShipRegister
)
Transportation.kif 1049-1049
域
海運庫存
, 2 and
船舶登記
(
instance
marineInventory
BinaryPredicate
)
Transportation.kif 1047-1047
例
海運庫存
and
BinaryPredicate
appearance as argument number 2
(
format
ChineseLanguage
marineInventory
"%2 %n 是 %1 的 marine 库存")
domainEnglishFormat.kif 1615-1615
(
format
ChineseTraditionalLanguage
marineInventory
"%2 %n 是 %1 的 marine 庫存")
domainEnglishFormat.kif 1614-1614
(
format
EnglishLanguage
marineInventory
"%2 is %n a marine inventory of %1")
domainEnglishFormat.kif 1613-1613
(
termFormat
ChineseLanguage
marineInventory
"海运库存")
domainEnglishFormat.kif 36167-36167
(
termFormat
ChineseTraditionalLanguage
marineInventory
"海運庫存")
domainEnglishFormat.kif 36166-36166
(
termFormat
EnglishLanguage
marineInventory
"marine inventory")
domainEnglishFormat.kif 36165-36165
antecedent
(=>
(
and
(
fOCShipsByOrigin
?MM ?HOME ?COUNT)
(
greaterThan
?COUNT 0)
(
marineInventory
?MM ?REGISTER))
(
instance
?REGISTER
FlagOfConvenienceRegister
))
Transportation.kif 1070-1075
商船
對
NonnegativeInteger
由來源
GeopoliticalArea
fOC
船隻
比較多
NonnegativeInteger
and 0
船舶登記
是
商船
的
marine
庫存
例
船舶登記
and
便利登記的旗幟
consequent
(=>
(
instance
?MM
(
MerchantMarineFn
?AREA))
(
exists
(?REGISTER)
(
and
(
instance
?REGISTER
ShipRegister
)
(
possesses
?AREA ?REGISTER)
(
marineInventory
?MM ?REGISTER))))
Transportation.kif 1113-1119
例
商船
and
GeopoliticalArea
的
merchant
海洋
船舶登記
例
船舶登記
and
船舶登記
擁有
GeopoliticalArea
and
船舶登記
船舶登記
是
商船
的
marine
庫存
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