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
The number 1 argument of
marine inventory
is an
instance
of
merchant marine
(
domain
marineInventory
2
ShipRegister
)
Transportation.kif 1049-1049
The number 2 argument of
marine inventory
is an
instance
of
ship register
(
instance
marineInventory
BinaryPredicate
)
Transportation.kif 1047-1047
marine inventory
is an
instance
of
binary predicate
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
If
a merchant marine
fOC
ships by origin
a geopolitical area
for
a nonnegative integer
and
the nonnegative integer
is
greater
than 0 and
a ship register
is a
marine
inventory of
the merchant marine
,
then
the ship register
is an
instance
of
flag of convenience register
consequent
(=>
(
instance
?MM
(
MerchantMarineFn
?AREA))
(
exists
(?REGISTER)
(
and
(
instance
?REGISTER
ShipRegister
)
(
possesses
?AREA ?REGISTER)
(
marineInventory
?MM ?REGISTER))))
Transportation.kif 1113-1119
If
a merchant marine
is an
instance
of the
merchant
marine of
a geopolitical area
,
then there exists
a ship register
such that
the ship register
is an
instance
of
ship register
and
the geopolitical area
possess
es
the ship register
and
the ship register
is a
marine
inventory of
the merchant 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