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
TripFn
Sigma KEE - TripFn
TripFn
appearance as argument number 1
(
documentation
TripFn
EnglishLanguage
"(
TripFn
?VEHICLE) denotes the subclass of
Transportation
events in which a particular
TransportationDevice
?VEHICLE is the vehicle. Contrast this function with
TransportationFn
, which is used to denote transportation events by a specific kind of vehicle.")
Transportation.kif 1585-1589
(
domain
TripFn
1
Vehicle
)
Transportation.kif 1583-1583
Il numero 1 argomenti di
TripFn
è un
istanza
di
Vehicle
(
instance
TripFn
UnaryFunction
)
Transportation.kif 1582-1582
TripFn
è un'
istanza
di
FunzioneUnaria
(
rangeSubclass
TripFn
Transportation
)
Transportation.kif 1584-1584
I valori resi da
TripFn
sono
sottoclassi
di
Trasporto
appearance as argument number 2
(
format
ChineseLanguage
TripFn
"%1 的 trip ")
domainEnglishFormat.kif 2555-2555
(
format
ChineseTraditionalLanguage
TripFn
"%1 的 trip ")
domainEnglishFormat.kif 2554-2554
(
format
EnglishLanguage
TripFn
"the trip of %1")
domainEnglishFormat.kif 2553-2553
(
termFormat
ChineseLanguage
TripFn
"旅")
domainEnglishFormat.kif 59224-59224
(
termFormat
ChineseTraditionalLanguage
TripFn
"旅")
domainEnglishFormat.kif 59223-59223
(
termFormat
EnglishLanguage
TripFn
"trip")
domainEnglishFormat.kif 59222-59222
antecedent
(=>
(
and
(
instance
?VEHICLE
TransportationDevice
)
(
instance
?TRIP
(
TripFn
?VEHICLE)))
(
instrument
?TRIP ?VEHICLE))
Transportation.kif 1591-1595
Vehicle
è un'
istanza
di
MezzoDiTrasporto
Processo
è un'
istanza
di
TripFn
Vehicle
Vehicle
è uno
strumento
per
Processo
consequent
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
greaterThan
?AMOUNT ?DRAFT))
(
capability
(
TripFn
?SHIP)
path
?WATERWAY))
Transportation.kif 2686-2691
navigableForDraft
SuperficieAcquatica
and
NumeroReale
Meter
(s
ladenDraft
WaterVehicle
and
NumeroReale
Meter
(s
NumeroReale
è
pi
ù grande di
NumeroReale
SuperficieAcquatica
è
capace
di fare
TripFn
WaterVehicle
nel ruolo
path
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
lessThanOrEqualTo
?AMOUNT ?DRAFT))
(
not
(
capability
(
TripFn
?SHIP)
path
?WATERWAY)))
Transportation.kif 2693-2698
navigableForDraft
SuperficieAcquatica
and
NumeroReale
Meter
(s
ladenDraft
WaterVehicle
and
NumeroReale
Meter
(s
NumeroReale
è
minore
o uguale a
NumeroReale
SuperficieAcquatica
è
capace
di fare
TripFn
WaterVehicle
nel ruolo
path
(=>
(
and
(
navigableForShippingTonnage
?WATERWAY
(
MeasureFn
?TONNAGE
LongTon
))
(
instance
?VESSEL
WaterVehicle
)
(
vesselDisplacement
?VESSEL
(
MeasureFn
?DWT
LongTon
))
(
lessThanOrEqualTo
?DWT ?TONNAGE))
(
capability
(
TripFn
?VESSEL)
path
?WATERWAY))
Transportation.kif 2670-2676
navigableForShippingTonnage
SuperficieAcquatica
and
NumeroReale
LongTon
(s
WaterVehicle
è un'
istanza
di
WaterVehicle
vesselDisplacement
WaterVehicle
and
NumeroReale
LongTon
(s
NumeroReale
è
minore
o uguale a
NumeroReale
SuperficieAcquatica
è
capace
di fare
TripFn
WaterVehicle
nel ruolo
path
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