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
cargoType
Sigma KEE - cargoType
cargoType
appearance as argument number 1
(
documentation
cargoType
EnglishLanguage
"(
cargoType
?DEVICE ?TYPE) means that the
TransportationDevice
?DEVICE typically carries cargo of the kind ?TYPE.")
Transportation.kif 1038-1040
(
domain
cargoType
1
TransportationDevice
)
Transportation.kif 1036-1036
域
貨物類型
, 1 and
TransportationDevice
(
domainSubclass
cargoType
2
Object
)
Transportation.kif 1037-1037
域子類
貨物類型
, 2 and
Object
(
instance
cargoType
BinaryPredicate
)
Transportation.kif 1035-1035
例
貨物類型
and
BinaryPredicate
appearance as argument number 2
(
format
ChineseLanguage
cargoType
"%2 %n 是 %1 的
cargo
种类")
domainEnglishFormat.kif 380-380
(
format
ChineseTraditionalLanguage
cargoType
"%2 %n 是 %1 的
cargo
種類")
domainEnglishFormat.kif 379-379
(
format
EnglishLanguage
cargoType
"%2 is %n a
cargo
type of %1")
domainEnglishFormat.kif 378-378
(
termFormat
ChineseLanguage
cargoType
"货物类型")
domainEnglishFormat.kif 13242-13242
(
termFormat
ChineseTraditionalLanguage
cargoType
"貨物類型")
domainEnglishFormat.kif 13241-13241
(
termFormat
EnglishLanguage
cargoType
"cargo type")
domainEnglishFormat.kif 13240-13240
consequent
(=>
(
instance
?SHIP
ChemicalTankerShip
)
(
cargoType
?SHIP
ChemicalProduct
))
Transportation.kif 2374-2376
例
TransportationDevice
and
化學品船
化學產品
是
TransportationDevice
的
cargo
種類
(=>
(
instance
?SHIP
CombinationBulkOilCarrierShip
)
(
cargoType
?SHIP
Object
))
Transportation.kif 2400-2402
例
TransportationDevice
and
CombinationBulkOilCarrierShip
Object
是
TransportationDevice
的
cargo
種類
(=>
(
instance
?SHIP
CombinationBulkOilCarrierShip
)
(
cargoType
?SHIP
Petroleum
))
Transportation.kif 2404-2406
例
TransportationDevice
and
CombinationBulkOilCarrierShip
石油
是
TransportationDevice
的
cargo
種類
(=>
(
instance
?SHIP
CombinationOreOilCarrierShip
)
(
cargoType
?SHIP
Mineral
))
Transportation.kif 2410-2412
例
TransportationDevice
and
CombinationOreOilCarrierShip
Mineral
是
TransportationDevice
的
cargo
種類
(=>
(
instance
?SHIP
CombinationOreOilCarrierShip
)
(
cargoType
?SHIP
Petroleum
))
Transportation.kif 2414-2416
例
TransportationDevice
and
CombinationOreOilCarrierShip
石油
是
TransportationDevice
的
cargo
種類
(=>
(
instance
?SHIP
ContainerShip
)
(
cargoType
?SHIP
ShipContainer
))
Transportation.kif 2333-2335
例
TransportationDevice
and
集裝箱船
船舶集裝箱
是
TransportationDevice
的
cargo
種類
(=>
(
instance
?SHIP
GeneralCargoShip
)
(
cargoType
?SHIP
Product
))
Transportation.kif 2318-2320
例
TransportationDevice
and
普通貨船
Product
是
TransportationDevice
的
cargo
種類
(=>
(
instance
?SHIP
LiquefiedGasTankerShip
)
(
cargoType
?SHIP
(
ExtensionFn
Liquid
)))
Transportation.kif 2389-2391
例
TransportationDevice
and
液化氣罐船
延期
液體
是
TransportationDevice
的
cargo
種類
(=>
(
instance
?SHIP
LiquefiedGasTankerShip
)
(
cargoType
?SHIP
ChemicalProduct
))
Transportation.kif 2385-2387
例
TransportationDevice
and
液化氣罐船
化學產品
是
TransportationDevice
的
cargo
種類
(=>
(
instance
?SHIP
LivestockCarrierShip
)
(
cargoType
?SHIP
Livestock
))
Transportation.kif 2328-2330
例
TransportationDevice
and
牲畜運輸船
家畜
是
TransportationDevice
的
cargo
種類
(=>
(
instance
?SHIP
PassengerShip
)
(
cargoType
?SHIP
Human
))
Transportation.kif 2311-2313
例
TransportationDevice
and
客船
Human
是
TransportationDevice
的
cargo
種類
(=>
(
instance
?SHIP
PetroleumTankerShip
)
(
cargoType
?SHIP
PetroleumProduct
))
Transportation.kif 2367-2369
例
TransportationDevice
and
石油油輪船
石油產品
是
TransportationDevice
的
cargo
種類
(=>
(
instance
?SHIP
RailcarCarrierShip
)
(
cargoType
?SHIP
RollingStock
))
Transportation.kif 2355-2357
例
TransportationDevice
and
鐵路運輸船
波蕩股
是
TransportationDevice
的
cargo
種類
(=>
(
instance
?SHIP
SpecializedTankerShip
)
(
cargoType
?SHIP
(
ExtensionFn
Fluid
)))
Transportation.kif 2428-2430
例
TransportationDevice
and
專業油輪
延期
流體
是
TransportationDevice
的
cargo
種類
(=>
(
instance
?SHIP
VehicleCarrierShip
)
(
cargoType
?SHIP
Vehicle
))
Transportation.kif 2347-2349
例
TransportationDevice
and
車載船
車輛
是
TransportationDevice
的
cargo
種類
(=>
(
instance
?T
Truck
)
(
exists
(?L)
(
and
(
subclass
?L
Object
)
(
cargoType
?T ?L))))
Transportation.kif 2019-2024
例
TransportationDevice
and
卡車
Object
子類
Object
and
Object
Object
是
TransportationDevice
的
cargo
種類
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