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
Die Zahl 1 Argument von
fOCShipsByOrigin
ist ein
fall
von
MerchantMarine
%n{nicht}
(
domain
fOCShipsByOrigin
2
GeopoliticalArea
)
Transportation.kif 1055-1055
Die Zahl 2 Argument von
fOCShipsByOrigin
ist ein
fall
von
GeopoliticalArea
%n{nicht}
(
domain
fOCShipsByOrigin
3
NonnegativeInteger
)
Transportation.kif 1056-1056
Die Zahl 3 Argument von
fOCShipsByOrigin
ist ein
fall
von
NonnegativeInteger
%n{nicht}
(
instance
fOCShipsByOrigin
TernaryPredicate
)
Transportation.kif 1053-1053
fOCShipsByOrigin
ist ein
fall
von
TernaryPredicate
%n{nicht}
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
Wenn
fOCShipsByOrigin
MerchantMarine
,
GeopoliticalArea
and
NonnegativeInteger
und
** MerchantMarine
ist gleich
MerchantMarineFn
** GeopoliticalArea
%n{nicht},
dann
** GeopoliticalArea
ist gleich
** ** GeopoliticalArea
nicht
(=>
(
and
(
fOCShipsByOrigin
?MM ?HOME ?COUNT)
(
greaterThan
?COUNT 0)
(
marineInventory
?MM ?REGISTER))
(
instance
?REGISTER
FlagOfConvenienceRegister
))
Transportation.kif 1070-1075
Wenn
fOCShipsByOrigin
MerchantMarine
,
GeopoliticalArea
and
NonnegativeInteger
und
** NonnegativeInteger
ist
groesserAls
0 %n{nicht} und
marineInventory
** MerchantMarine
and
ShipRegister
,
dann
** ShipRegister
ist ein
fall
von
FlagOfConvenienceRegister
%n{nicht}
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