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
MerchantMarineFn
Sigma KEE - MerchantMarineFn
MerchantMarineFn
appearance as argument number 1
(
documentation
MerchantMarineFn
EnglishLanguage
"(
MerchantMarineFn
?AREA) denotes the
Collection
of all commercial ships registered in the
ShipRegister
of the
GeopoliticalArea
?AREA.")
Transportation.kif 968-970
(
domain
MerchantMarineFn
1
GeopoliticalArea
)
Transportation.kif 965-965
The number 1 argument of
merchant marine
is an
instance
of
geopolitical area
(
instance
MerchantMarineFn
UnaryFunction
)
Transportation.kif 964-964
Merchant marine
is an
instance
of
unary function
(
range
MerchantMarineFn
MerchantMarine
)
Transportation.kif 966-966
The
range
of
merchant marine
is an instance of
merchant marine
appearance as argument number 2
(
format
ChineseLanguage
MerchantMarineFn
"%1 的 merchant 海洋")
domainEnglishFormat.kif 1703-1703
(
format
ChineseTraditionalLanguage
MerchantMarineFn
"%1 的 merchant 海洋")
domainEnglishFormat.kif 1702-1702
(
format
EnglishLanguage
MerchantMarineFn
"the merchant marine of %1")
domainEnglishFormat.kif 1701-1701
(
termFormat
ChineseLanguage
MerchantMarineFn
"商船")
domainEnglishFormat.kif 37163-37163
(
termFormat
ChineseTraditionalLanguage
MerchantMarineFn
"商船")
domainEnglishFormat.kif 37162-37162
(
termFormat
EnglishLanguage
MerchantMarineFn
"merchant marine")
domainEnglishFormat.kif 37161-37161
antecedent
(=>
(
and
(
fOCShipsByOrigin
?MM ?HOME ?COUNT)
(
equal
?MM
(
MerchantMarineFn
?AREA)))
(
not
(
equal
?HOME ?AREA)))
Transportation.kif 1064-1068
If
a merchant marine
fOC
ships by origin
a geopolitical area
for
a nonnegative integer
and
the merchant marine
is
equal
to the
merchant
marine of
another geopolitical area
,
then
the geopolitical area
is not
equal
to
the other geopolitical area
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
MerchantMarineFn
?AREA)
MerchantMarine
))
(
possesses
?AREA
(
MerchantMarineFn
?AREA)))
Transportation.kif 978-982
If
a geopolitical area
is an
instance
of
geopolitical area
and the
merchant
marine of
the geopolitical area
is an
instance
of
merchant marine
,
then
the geopolitical area
possess
es the
merchant
marine of
the geopolitical area
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
member
?SHIP
(
MerchantMarineFn
?AREA)))
(
instance
?SHIP
MerchantMarineShip
))
Transportation.kif 972-976
If
a geopolitical area
is an
instance
of
geopolitical area
and
a physical
is a
member
of the
merchant
marine of
the geopolitical area
,
then
the physical
is an
instance
of
merchant marine ship
(=>
(
and
(
instance
?SHIP
Ship
)
(
instance
?AREA
GeopoliticalArea
)
(
member
?SHIP
(
MerchantMarineFn
?AREA)))
(
exists
(?REGISTRATION)
(
and
(
instance
?REGISTRATION
ShipRegistration
)
(
possesses
?SHIP ?REGISTRATION)
(
subsumesContentInstance
(
ShipRegisterFn
?AREA) ?REGISTRATION))))
Transportation.kif 1157-1166
If
an agent
is an
instance
of
ship
and
a geopolitical area
is an
instance
of
geopolitical area
and
the agent
is a
member
of the
merchant
marine of
the geopolitical area
,
then there exists
an object
such that
the object
is an
instance
of
ship registration
and
the agent
possess
es
the object
and the
ship
register of
the geopolitical area
subsume
s the content of
the object
(=>
(
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
consequent
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
MerchantMarineFn
?AREA)
MerchantMarine
))
(
possesses
?AREA
(
MerchantMarineFn
?AREA)))
Transportation.kif 978-982
If
a geopolitical area
is an
instance
of
geopolitical area
and the
merchant
marine of
the geopolitical area
is an
instance
of
merchant marine
,
then
the geopolitical area
possess
es the
merchant
marine of
the geopolitical area
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