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
The number 1 argument of
cargo type
is an
instance
of
transportation device
(
domainSubclass
cargoType
2
Object
)
Transportation.kif 1037-1037
The number 2 argument of
cargo type
is a
subclass
of
object
(
instance
cargoType
BinaryPredicate
)
Transportation.kif 1035-1035
cargo type
is an
instance
of
binary predicate
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
If
a transportation device
is an
instance
of
chemical tanker ship
,
then
chemical product
is a
cargo
type of
the transportation device
(=>
(
instance
?SHIP
CombinationBulkOilCarrierShip
)
(
cargoType
?SHIP
Object
))
Transportation.kif 2400-2402
If
a transportation device
is an
instance
of
CombinationBulkOilCarrierShip
,
then
object
is a
cargo
type of
the transportation device
(=>
(
instance
?SHIP
CombinationBulkOilCarrierShip
)
(
cargoType
?SHIP
Petroleum
))
Transportation.kif 2404-2406
If
a transportation device
is an
instance
of
CombinationBulkOilCarrierShip
,
then
petroleum
is a
cargo
type of
the transportation device
(=>
(
instance
?SHIP
CombinationOreOilCarrierShip
)
(
cargoType
?SHIP
Mineral
))
Transportation.kif 2410-2412
If
a transportation device
is an
instance
of
CombinationOreOilCarrierShip
,
then
mineral
is a
cargo
type of
the transportation device
(=>
(
instance
?SHIP
CombinationOreOilCarrierShip
)
(
cargoType
?SHIP
Petroleum
))
Transportation.kif 2414-2416
If
a transportation device
is an
instance
of
CombinationOreOilCarrierShip
,
then
petroleum
is a
cargo
type of
the transportation device
(=>
(
instance
?SHIP
ContainerShip
)
(
cargoType
?SHIP
ShipContainer
))
Transportation.kif 2333-2335
If
a transportation device
is an
instance
of
container ship
,
then
ship container
is a
cargo
type of
the transportation device
(=>
(
instance
?SHIP
GeneralCargoShip
)
(
cargoType
?SHIP
Product
))
Transportation.kif 2318-2320
If
a transportation device
is an
instance
of
general cargo ship
,
then
product
is a
cargo
type of
the transportation device
(=>
(
instance
?SHIP
LiquefiedGasTankerShip
)
(
cargoType
?SHIP
(
ExtensionFn
Liquid
)))
Transportation.kif 2389-2391
If
a transportation device
is an
instance
of
liquefied gas tanker ship
,
then the
class
corresponding to
liquid
is a
cargo
type of
the transportation device
(=>
(
instance
?SHIP
LiquefiedGasTankerShip
)
(
cargoType
?SHIP
ChemicalProduct
))
Transportation.kif 2385-2387
If
a transportation device
is an
instance
of
liquefied gas tanker ship
,
then
chemical product
is a
cargo
type of
the transportation device
(=>
(
instance
?SHIP
LivestockCarrierShip
)
(
cargoType
?SHIP
Livestock
))
Transportation.kif 2328-2330
If
a transportation device
is an
instance
of
livestock carrier ship
,
then
livestock
is a
cargo
type of
the transportation device
(=>
(
instance
?SHIP
PassengerShip
)
(
cargoType
?SHIP
Human
))
Transportation.kif 2311-2313
If
a transportation device
is an
instance
of
passenger ship
,
then
human
is a
cargo
type of
the transportation device
(=>
(
instance
?SHIP
PetroleumTankerShip
)
(
cargoType
?SHIP
PetroleumProduct
))
Transportation.kif 2367-2369
If
a transportation device
is an
instance
of
petroleum tanker ship
,
then
petroleum product
is a
cargo
type of
the transportation device
(=>
(
instance
?SHIP
RailcarCarrierShip
)
(
cargoType
?SHIP
RollingStock
))
Transportation.kif 2355-2357
If
a transportation device
is an
instance
of
railcar carrier ship
,
then
rolling stock
is a
cargo
type of
the transportation device
(=>
(
instance
?SHIP
SpecializedTankerShip
)
(
cargoType
?SHIP
(
ExtensionFn
Fluid
)))
Transportation.kif 2428-2430
If
a transportation device
is an
instance
of
specialized tanker ship
,
then the
class
corresponding to
fluid
is a
cargo
type of
the transportation device
(=>
(
instance
?SHIP
VehicleCarrierShip
)
(
cargoType
?SHIP
Vehicle
))
Transportation.kif 2347-2349
If
a transportation device
is an
instance
of
vehicle carrier ship
,
then
vehicle
is a
cargo
type of
the transportation device
(=>
(
instance
?T
Truck
)
(
exists
(?L)
(
and
(
subclass
?L
Object
)
(
cargoType
?T ?L))))
Transportation.kif 2019-2024
If
a transportation device
is an
instance
of
truck
,
then there exists
a kind of object
such that
a kind of object
is a
subclass
of
object
and
the kind of object
is a
cargo
type of
the transportation device
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