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
ShipRegisterFn
Sigma KEE - ShipRegisterFn
ShipRegisterFn
appearance as argument number 1
(
documentation
ShipRegisterFn
EnglishLanguage
"(
ShipRegisterFn
?AREA) denotes the
ShipRegister
of the
Ship
s that fly the flag of the
GeopoliticalArea
?AREA.")
Transportation.kif 1135-1137
(
domain
ShipRegisterFn
1
GeopoliticalArea
)
Transportation.kif 1133-1133
ShipRegisterFn
の数値 1 引数は
地政学的地域
の
instance
では %n
(
instance
ShipRegisterFn
UnaryFunction
)
Transportation.kif 1132-1132
ShipRegisterFn
は
1変数関数
の
instance
では %n
(
range
ShipRegisterFn
ShipRegister
)
Transportation.kif 1134-1134
ShipRegisterFn
の
range
は
ShipRegister
のインスタンス では %n
appearance as argument number 2
(
format
ChineseLanguage
ShipRegisterFn
"%1 的 ship 注册")
domainEnglishFormat.kif 2271-2271
(
format
ChineseTraditionalLanguage
ShipRegisterFn
"%1 的 ship 註冊")
domainEnglishFormat.kif 2270-2270
(
format
EnglishLanguage
ShipRegisterFn
"the ship register of %1")
domainEnglishFormat.kif 2269-2269
(
termFormat
ChineseLanguage
ShipRegisterFn
"船舶登记")
domainEnglishFormat.kif 52719-52719
(
termFormat
ChineseTraditionalLanguage
ShipRegisterFn
"船舶登記")
domainEnglishFormat.kif 52718-52718
(
termFormat
EnglishLanguage
ShipRegisterFn
"ship register")
domainEnglishFormat.kif 52717-52717
antecedent
(=>
(
and
(
instance
(
ShipRegisterFn
?AREA)
ShipRegister
)
(
instance
?AREA
Nation
))
(
instance
(
ShipRegisterFn
?AREA)
NationalShipRegister
))
Transportation.kif 1145-1149
ShipRegisterFn
地政学的地域
は
ShipRegister
の
instance
では %n
地政学的地域
は
国民
の
instance
では %n
ShipRegisterFn
地政学的地域
は
NationalShipRegister
の
instance
では %n
(=>
(
and
(
instance
(
ShipRegisterFn
?AREA)
ShipRegister
)
(
instance
?AREA
OverseasArea
))
(
instance
(
ShipRegisterFn
?AREA)
OffshoreShipRegister
))
Transportation.kif 1151-1155
ShipRegisterFn
地政学的地域
は
ShipRegister
の
instance
では %n
地政学的地域
は
OverseasArea
の
instance
では %n
ShipRegisterFn
地政学的地域
は
OffshoreShipRegister
の
instance
では %n
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
ShipRegisterFn
?AREA)
ShipRegister
))
(
possesses
?AREA
(
ShipRegisterFn
?AREA)))
Transportation.kif 1139-1143
地政学的地域
は
地政学的地域
の
instance
では %n
ShipRegisterFn
地政学的地域
は
ShipRegister
の
instance
では %n
地政学的地域
は
ShipRegisterFn
地政学的地域
を
possess
es %n{ない}
consequent
(=>
(
and
(
instance
(
ShipRegisterFn
?AREA)
ShipRegister
)
(
instance
?AREA
Nation
))
(
instance
(
ShipRegisterFn
?AREA)
NationalShipRegister
))
Transportation.kif 1145-1149
ShipRegisterFn
地政学的地域
は
ShipRegister
の
instance
では %n
地政学的地域
は
国民
の
instance
では %n
ShipRegisterFn
地政学的地域
は
NationalShipRegister
の
instance
では %n
(=>
(
and
(
instance
(
ShipRegisterFn
?AREA)
ShipRegister
)
(
instance
?AREA
OverseasArea
))
(
instance
(
ShipRegisterFn
?AREA)
OffshoreShipRegister
))
Transportation.kif 1151-1155
ShipRegisterFn
地政学的地域
は
ShipRegister
の
instance
では %n
地政学的地域
は
OverseasArea
の
instance
では %n
ShipRegisterFn
地政学的地域
は
OffshoreShipRegister
の
instance
では %n
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
ShipRegisterFn
?AREA)
ShipRegister
))
(
possesses
?AREA
(
ShipRegisterFn
?AREA)))
Transportation.kif 1139-1143
地政学的地域
は
地政学的地域
の
instance
では %n
ShipRegisterFn
地政学的地域
は
ShipRegister
の
instance
では %n
地政学的地域
は
ShipRegisterFn
地政学的地域
を
possess
es %n{ない}
(=>
(
and
(
instance
?REGISTRATION
ShipRegistration
)
(
instance
?SHIP
Ship
)
(
possesses
?SHIP ?REGISTRATION)
(
instance
?AREA
GeopoliticalArea
)
(
flagState
?SHIP ?AREA))
(
subsumesContentInstance
(
ShipRegisterFn
?AREA) ?REGISTRATION))
Transportation.kif 1097-1104
オブジェクト
は
ShipRegistration
の
instance
では %n
AutonomousAgent
は
Ship
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
地政学的地域
は
地政学的地域
の
instance
では %n
flagState
AutonomousAgent
and
地政学的地域
ShipRegisterFn
地政学的地域
は
オブジェクト
の コンテンツを
subsume
s %n{ない}
(=>
(
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
AutonomousAgent
は
Ship
の
instance
では %n
地政学的地域
は
地政学的地域
の
instance
では %n
AutonomousAgent
は
MerchantMarineFn
地政学的地域
の
member
では %n
オブジェクト
オブジェクト
は
ShipRegistration
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
ShipRegisterFn
地政学的地域
は
オブジェクト
の コンテンツを
subsume
s %n{ない}
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