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
Il numero 1 argomenti di
cargoType
è un
istanza
di
MezzoDiTrasporto
(
domainSubclass
cargoType
2
Object
)
Transportation.kif 1037-1037
Il numero 2 argomento
cargoType
è una
sottoclasse
di
Oggetto
(
instance
cargoType
BinaryPredicate
)
Transportation.kif 1035-1035
cargoType
è un'
istanza
di
PredicatoBinario
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 2380-2382
MezzoDiTrasporto
è un'
istanza
di
ChemicalTankerShip
cargoType
MezzoDiTrasporto
and
ChemicalProduct
(=>
(
instance
?SHIP
CombinationBulkOilCarrierShip
)
(
cargoType
?SHIP
Object
))
Transportation.kif 2406-2408
MezzoDiTrasporto
è un'
istanza
di
CombinationBulkOilCarrierShip
cargoType
MezzoDiTrasporto
and
Oggetto
(=>
(
instance
?SHIP
CombinationBulkOilCarrierShip
)
(
cargoType
?SHIP
Petroleum
))
Transportation.kif 2410-2412
MezzoDiTrasporto
è un'
istanza
di
CombinationBulkOilCarrierShip
cargoType
MezzoDiTrasporto
and
Petroleum
(=>
(
instance
?SHIP
CombinationOreOilCarrierShip
)
(
cargoType
?SHIP
Mineral
))
Transportation.kif 2416-2418
MezzoDiTrasporto
è un'
istanza
di
CombinationOreOilCarrierShip
cargoType
MezzoDiTrasporto
and
Minerale
(=>
(
instance
?SHIP
CombinationOreOilCarrierShip
)
(
cargoType
?SHIP
Petroleum
))
Transportation.kif 2420-2422
MezzoDiTrasporto
è un'
istanza
di
CombinationOreOilCarrierShip
cargoType
MezzoDiTrasporto
and
Petroleum
(=>
(
instance
?SHIP
ContainerShip
)
(
cargoType
?SHIP
ShipContainer
))
Transportation.kif 2339-2341
MezzoDiTrasporto
è un'
istanza
di
ContainerShip
cargoType
MezzoDiTrasporto
and
ShipContainer
(=>
(
instance
?SHIP
GeneralCargoShip
)
(
cargoType
?SHIP
Product
))
Transportation.kif 2324-2326
MezzoDiTrasporto
è un'
istanza
di
GeneralCargoShip
cargoType
MezzoDiTrasporto
and
Prodotto
(=>
(
instance
?SHIP
LiquefiedGasTankerShip
)
(
cargoType
?SHIP
(
ExtensionFn
Liquid
)))
Transportation.kif 2395-2397
MezzoDiTrasporto
è un'
istanza
di
LiquefiedGasTankerShip
cargoType
MezzoDiTrasporto
and la
classe
corrispondente a
Liquid
(=>
(
instance
?SHIP
LiquefiedGasTankerShip
)
(
cargoType
?SHIP
ChemicalProduct
))
Transportation.kif 2391-2393
MezzoDiTrasporto
è un'
istanza
di
LiquefiedGasTankerShip
cargoType
MezzoDiTrasporto
and
ChemicalProduct
(=>
(
instance
?SHIP
LivestockCarrierShip
)
(
cargoType
?SHIP
Livestock
))
Transportation.kif 2334-2336
MezzoDiTrasporto
è un'
istanza
di
LivestockCarrierShip
cargoType
MezzoDiTrasporto
and
Livestock
(=>
(
instance
?SHIP
PassengerShip
)
(
cargoType
?SHIP
Human
))
Transportation.kif 2317-2319
MezzoDiTrasporto
è un'
istanza
di
PassengerShip
cargoType
MezzoDiTrasporto
and
Umano
(=>
(
instance
?SHIP
PetroleumTankerShip
)
(
cargoType
?SHIP
PetroleumProduct
))
Transportation.kif 2373-2375
MezzoDiTrasporto
è un'
istanza
di
PetroleumTankerShip
cargoType
MezzoDiTrasporto
and
PetroleumProduct
(=>
(
instance
?SHIP
RailcarCarrierShip
)
(
cargoType
?SHIP
RollingStock
))
Transportation.kif 2361-2363
MezzoDiTrasporto
è un'
istanza
di
RailcarCarrierShip
cargoType
MezzoDiTrasporto
and
RollingStock
(=>
(
instance
?SHIP
SpecializedTankerShip
)
(
cargoType
?SHIP
(
ExtensionFn
Fluid
)))
Transportation.kif 2434-2436
MezzoDiTrasporto
è un'
istanza
di
SpecializedTankerShip
cargoType
MezzoDiTrasporto
and la
classe
corrispondente a
Fluid
(=>
(
instance
?SHIP
VehicleCarrierShip
)
(
cargoType
?SHIP
Vehicle
))
Transportation.kif 2353-2355
MezzoDiTrasporto
è un'
istanza
di
VehicleCarrierShip
cargoType
MezzoDiTrasporto
and
Vehicle
(=>
(
instance
?T
Truck
)
(
exists
(?L)
(
and
(
subclass
?L
Object
)
(
cargoType
?T ?L))))
Transportation.kif 2019-2024
MezzoDiTrasporto
è un'
istanza
di
Truck
Oggetto
Oggetto
è una
sottoclasse
di
Oggetto
cargoType
MezzoDiTrasporto
and
Oggetto
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