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
Le nombre 1 argument de
fOCShipsByOrigin
est une
instance
de
MerchantMarine
(
domain
fOCShipsByOrigin
2
GeopoliticalArea
)
Transportation.kif 1055-1055
Le nombre 2 argument de
fOCShipsByOrigin
est une
instance
de
secteur g�opolitique
(
domain
fOCShipsByOrigin
3
NonnegativeInteger
)
Transportation.kif 1056-1056
Le nombre 3 argument de
fOCShipsByOrigin
est une
instance
de
nombre entier non n�gatif
(
instance
fOCShipsByOrigin
TernaryPredicate
)
Transportation.kif 1053-1053
fOCShipsByOrigin
est une
instance
de
pr�dicat ternaire
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
fOCShipsByOrigin
MerchantMarine
,
secteur g�opolitique
and
nombre entier non n�gatif
MerchantMarine
est
MerchantMarineFn
secteur g�opolitique
secteur g�opolitique
est
secteur g�opolitique
(=>
(
and
(
fOCShipsByOrigin
?MM ?HOME ?COUNT)
(
greaterThan
?COUNT 0)
(
marineInventory
?MM ?REGISTER))
(
instance
?REGISTER
FlagOfConvenienceRegister
))
Transportation.kif 1070-1075
fOCShipsByOrigin
MerchantMarine
,
secteur g�opolitique
and
nombre entier non n�gatif
nombre entier non n�gatif
est
plus
grand
que 0
marineInventory
MerchantMarine
and
ShipRegister
ShipRegister
est une
instance
de
FlagOfConvenienceRegister
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