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
Die Zahl 1 Argument von
cargoType
ist ein
fall
von
TransportationDevice
%n{nicht}
(
domainSubclass
cargoType
2
Object
)
Transportation.kif 1037-1037
Die Zahl 2 Argument von
cargoType
ist eine
teilkategorie
von
Object
%n{nicht}
(
instance
cargoType
BinaryPredicate
)
Transportation.kif 1035-1035
cargoType
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
Wenn
TransportationDevice
ist ein
fall
von
ChemicalTankerShip
%n{nicht},
dann
cargoType
** TransportationDevice
and
ChemicalProduct
(=>
(
instance
?SHIP
CombinationBulkOilCarrierShip
)
(
cargoType
?SHIP
Object
))
Transportation.kif 2400-2402
Wenn
TransportationDevice
ist ein
fall
von
CombinationBulkOilCarrierShip
%n{nicht},
dann
cargoType
** TransportationDevice
and
Object
(=>
(
instance
?SHIP
CombinationBulkOilCarrierShip
)
(
cargoType
?SHIP
Petroleum
))
Transportation.kif 2404-2406
Wenn
TransportationDevice
ist ein
fall
von
CombinationBulkOilCarrierShip
%n{nicht},
dann
cargoType
** TransportationDevice
and
Petroleum
(=>
(
instance
?SHIP
CombinationOreOilCarrierShip
)
(
cargoType
?SHIP
Mineral
))
Transportation.kif 2410-2412
Wenn
TransportationDevice
ist ein
fall
von
CombinationOreOilCarrierShip
%n{nicht},
dann
cargoType
** TransportationDevice
and
Mineral
(=>
(
instance
?SHIP
CombinationOreOilCarrierShip
)
(
cargoType
?SHIP
Petroleum
))
Transportation.kif 2414-2416
Wenn
TransportationDevice
ist ein
fall
von
CombinationOreOilCarrierShip
%n{nicht},
dann
cargoType
** TransportationDevice
and
Petroleum
(=>
(
instance
?SHIP
ContainerShip
)
(
cargoType
?SHIP
ShipContainer
))
Transportation.kif 2333-2335
Wenn
TransportationDevice
ist ein
fall
von
ContainerShip
%n{nicht},
dann
cargoType
** TransportationDevice
and
ShipContainer
(=>
(
instance
?SHIP
GeneralCargoShip
)
(
cargoType
?SHIP
Product
))
Transportation.kif 2318-2320
Wenn
TransportationDevice
ist ein
fall
von
GeneralCargoShip
%n{nicht},
dann
cargoType
** TransportationDevice
and
Product
(=>
(
instance
?SHIP
LiquefiedGasTankerShip
)
(
cargoType
?SHIP
(
ExtensionFn
Liquid
)))
Transportation.kif 2389-2391
Wenn
TransportationDevice
ist ein
fall
von
LiquefiedGasTankerShip
%n{nicht},
dann
cargoType
** TransportationDevice
and die
kategorie
, die
Liquid
entspricht
(=>
(
instance
?SHIP
LiquefiedGasTankerShip
)
(
cargoType
?SHIP
ChemicalProduct
))
Transportation.kif 2385-2387
Wenn
TransportationDevice
ist ein
fall
von
LiquefiedGasTankerShip
%n{nicht},
dann
cargoType
** TransportationDevice
and
ChemicalProduct
(=>
(
instance
?SHIP
LivestockCarrierShip
)
(
cargoType
?SHIP
Livestock
))
Transportation.kif 2328-2330
Wenn
TransportationDevice
ist ein
fall
von
LivestockCarrierShip
%n{nicht},
dann
cargoType
** TransportationDevice
and
Livestock
(=>
(
instance
?SHIP
PassengerShip
)
(
cargoType
?SHIP
Human
))
Transportation.kif 2311-2313
Wenn
TransportationDevice
ist ein
fall
von
PassengerShip
%n{nicht},
dann
cargoType
** TransportationDevice
and
Human
(=>
(
instance
?SHIP
PetroleumTankerShip
)
(
cargoType
?SHIP
PetroleumProduct
))
Transportation.kif 2367-2369
Wenn
TransportationDevice
ist ein
fall
von
PetroleumTankerShip
%n{nicht},
dann
cargoType
** TransportationDevice
and
PetroleumProduct
(=>
(
instance
?SHIP
RailcarCarrierShip
)
(
cargoType
?SHIP
RollingStock
))
Transportation.kif 2355-2357
Wenn
TransportationDevice
ist ein
fall
von
RailcarCarrierShip
%n{nicht},
dann
cargoType
** TransportationDevice
and
RollingStock
(=>
(
instance
?SHIP
SpecializedTankerShip
)
(
cargoType
?SHIP
(
ExtensionFn
Fluid
)))
Transportation.kif 2428-2430
Wenn
TransportationDevice
ist ein
fall
von
SpecializedTankerShip
%n{nicht},
dann
cargoType
** TransportationDevice
and die
kategorie
, die
Fluid
entspricht
(=>
(
instance
?SHIP
VehicleCarrierShip
)
(
cargoType
?SHIP
Vehicle
))
Transportation.kif 2347-2349
Wenn
TransportationDevice
ist ein
fall
von
VehicleCarrierShip
%n{nicht},
dann
cargoType
** TransportationDevice
and
Vehicle
(=>
(
instance
?T
Truck
)
(
exists
(?L)
(
and
(
subclass
?L
Object
)
(
cargoType
?T ?L))))
Transportation.kif 2019-2024
Wenn
TransportationDevice
ist ein
fall
von
Truck
%n{nicht},
dann es gibt
** Object
um
** Object
ist eine
teilkategorie
von
Object
und
cargoType
** TransportationDevice
and
** ** Object
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