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
The number 1 argument of
trip
is an
instance
of
vehicle
(
instance
TripFn
UnaryFunction
)
Transportation.kif 1582-1582
Trip
is an
instance
of
unary function
(
rangeSubclass
TripFn
Transportation
)
Transportation.kif 1584-1584
The values returned by
trip
are
subclasses
of
transportation
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 59222-59222
(
termFormat
ChineseTraditionalLanguage
TripFn
"旅")
domainEnglishFormat.kif 59221-59221
(
termFormat
EnglishLanguage
TripFn
"trip")
domainEnglishFormat.kif 59220-59220
antecedent
(=>
(
and
(
instance
?VEHICLE
TransportationDevice
)
(
instance
?TRIP
(
TripFn
?VEHICLE)))
(
instrument
?TRIP ?VEHICLE))
Transportation.kif 1591-1595
If
a vehicle
is an
instance
of
transportation device
and
a process
is an
instance
of the
trip
of
the vehicle
,
then
the vehicle
is an
instrument
for
the process
consequent
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
greaterThan
?AMOUNT ?DRAFT))
(
capability
(
TripFn
?SHIP)
path
?WATERWAY))
Transportation.kif 2653-2658
If
a real number
meter
(s) is a
navigable
for draft of
a water area
and
another real number
meter
(s) is a
laden
draft of
a water vehicle
and
the real number
is
greater
than
the other real number
,
then
the water area
is
capable
of doing the
trip
of
the water vehicle
as a
path
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
lessThanOrEqualTo
?AMOUNT ?DRAFT))
(
not
(
capability
(
TripFn
?SHIP)
path
?WATERWAY)))
Transportation.kif 2660-2665
If
a real number
meter
(s) is a
navigable
for draft of
a water area
and
another real number
meter
(s) is a
laden
draft of
a water vehicle
and
the real number
is
less
than or equal to
the other real number
,
then
the water area
is not
capable
of doing the
trip
of
the water vehicle
as a
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 2637-2643
If
a real number
long ton
(s) is a
navigable
for shipping tonnage of
a water area
and
a water vehicle
is an
instance
of
water vehicle
and
another real number
long ton
(s) is a
vessel
displacement of
the water vehicle
and
the other real number
is
less
than or equal to
the real number
,
then
the water area
is
capable
of doing the
trip
of
the water vehicle
as a
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