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
O argumento numero 1 de
fOCShipsByOrigin
e' uma
instancia
de
MerchantMarine
(
domain
fOCShipsByOrigin
2
GeopoliticalArea
)
Transportation.kif 1055-1055
O argumento numero 2 de
fOCShipsByOrigin
e' uma
instancia
de
Area Geopolitica
(
domain
fOCShipsByOrigin
3
NonnegativeInteger
)
Transportation.kif 1056-1056
O argumento numero 3 de
fOCShipsByOrigin
e' uma
instancia
de
Numero Inteiro nao-negativo
(
instance
fOCShipsByOrigin
TernaryPredicate
)
Transportation.kif 1053-1053
fOCShipsByOrigin
e' uma
instancia
de
Predicado Ternario
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
,
Area Geopolitica
and
Numero Inteiro nao-negativo
MerchantMarine
e'
igual
a
MerchantMarineFn
Area Geopolitica
Area Geopolitica
e'
igual
a
Area Geopolitica
(=>
(
and
(
fOCShipsByOrigin
?MM ?HOME ?COUNT)
(
greaterThan
?COUNT 0)
(
marineInventory
?MM ?REGISTER))
(
instance
?REGISTER
FlagOfConvenienceRegister
))
Transportation.kif 1070-1075
fOCShipsByOrigin
MerchantMarine
,
Area Geopolitica
and
Numero Inteiro nao-negativo
Numero Inteiro nao-negativo
e'
maior
que 0
marineInventory
MerchantMarine
and
ShipRegister
ShipRegister
e' uma
instancia
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