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
The number 1 argument of
fOC ships by origin
is an
instance
of
merchant marine
(
domain
fOCShipsByOrigin
2
GeopoliticalArea
)
Transportation.kif 1055-1055
The number 2 argument of
fOC ships by origin
is an
instance
of
geopolitical area
(
domain
fOCShipsByOrigin
3
NonnegativeInteger
)
Transportation.kif 1056-1056
The number 3 argument of
fOC ships by origin
is an
instance
of
nonnegative integer
(
instance
fOCShipsByOrigin
TernaryPredicate
)
Transportation.kif 1053-1053
fOC ships by origin
is an
instance
of
ternary predicate
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
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
(
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
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