Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
path
Sigma KEE - path
path
appearance as argument number 1
(
documentation
path
ChineseLanguage
"(
path
?MOTION ?PATH)的意思是 ?PATH 是 ?MOTION 在上移动 的一条路线。例如:高速公路101以下命题的路径:那辆车驶向高速公路101。")
chinese_format.kif 3000-3001
(
documentation
path
EnglishLanguage
"(
path
?MOTION ?PATH) means that ?PATH is a route along which ?MOTION occurs. For example, Highway 101 is the path in the following proposition: the car drove up Highway 101.")
Merge.kif 11216-11218
(
documentation
path
JapaneseLanguage
"(
path
?MOTION ?PATH) は、?PATH が ?MOTION が発生す るルートであることを意味する。例:高速道路 101 は、次の命題のパスである: 車で、高速道路 101 を 走らせた。")
japanese_format.kif 1762-1764
(
domain
path
1
Motion
)
Merge.kif 11213-11213
(
domain
path
2
Object
)
Merge.kif 11214-11214
(
instance
path
CaseRole
)
Merge.kif 11208-11208
(
instance
path
TotalValuedRelation
)
Merge.kif 11209-11209
(
subrelation
path
eventPartlyLocated
)
Merge.kif 11212-11212
appearance as argument number 2
(
format
ChineseLanguage
path
"%2%n是%1发生的
path
")
chinese_format.kif 575-575
(
format
EnglishLanguage
path
"%2 is %n
path
along which %1 occurs")
english_format.kif 580-580
(
format
FrenchLanguage
path
"%2 est %n le chemin le long duquel %1 se produit")
french_format.kif 341-341
(
format
ItalianLanguage
path
"%2 è %n cammino mentre %1 si verifica")
relations-it.txt 216-216
(
format
JapaneseLanguage
path
"%2 は %1 が 発生する
path
では %n")
japanese_format.kif 2097-2097
(
format
PortugueseLanguage
path
"%2 e' %n o caminho ao longo do qual %1 ocorre")
portuguese_format.kif 293-293
(
format
cz
path
"%2 %p{je} %n{nen�} cesta pod�l kter� se vyskytuje %1")
relations-cz.txt 349-349
(
format
de
path
"%2 ist der pfad entlang dem %1 geschieht")
relations-de.txt 755-755
(
format
hi
path
"%1 %2 ke raaste men %n hotaa hai")
relations-hindi.txt 254-254
(
format
ro
path
"%2 %n{nu} este
path
%t{rutã} de-a lungul cãreia are loc %1")
relations-ro.kif 363-363
(
format
sv
path
"%2 är en väg längs med %1 %n{inte} inträffar")
relations-sv.txt 378-378
(
format
tg
path
"%2 %n ay ang landas sa %1 nangyari")
relations-tg.txt 408-408
(
termFormat
ChineseLanguage
path
"路径")
chinese_format.kif 576-576
(
termFormat
ChineseTraditionalLanguage
path
"路徑")
domainEnglishFormat.kif 44767-44767
(
termFormat
EnglishLanguage
path
"path")
domainEnglishFormat.kif 44766-44766
(
termFormat
de
path
"pfad")
terms-de.txt 227-227
antecedent
(=>
(
and
(
betweenOnPath
?O1 ?O2 ?O3 ?PATH)
(
instance
?T
Transfer
)
(
path
?T ?PATH)
(
origin
?T ?O1)
(
destination
?T ?O3))
(
and
(
beforeOnPath
?O1 ?O2 ?PATH ?T)
(
beforeOnPath
?O2 ?O3 ?PATH ?T)))
Mid-level-ontology.kif 31672-31681
(=>
(
and
(
instance
?CF
ColdFront
)
(
instance
?C
AirMass
)
(
origin
?CF ?C)
(
airTemperature
?C
(
MeasureFn
?X
CelsiusDegree
))
(
instance
?W
AirMass
)
(
path
?W ?W)
(
airTemperature
?W
(
MeasureFn
?Y
CelsiusDegree
)))
(
lessThan
?X ?Y))
Weather.kif 881-892
(=>
(
and
(
instance
?CONN
WirelessNetwork
)
(
instance
?COM
NetworkCommunication
)
(
instrument
?COM ?CONN)
(
path
?COM ?PATH))
(
exists
(?PART)
(
and
(
part
?PART ?PATH)
(
not
(
instance
?PART
Cable
)))))
ComputingBrands.kif 1422-1432
(=>
(
and
(
instance
?CPR
CPR
)
(
instance
?C
Compressing
)
(
path
?C ?P)
(
subProcess
?C ?CPR)
(
length
?P
(
MeasureFn
?L
Centimeter
)))
(
and
(
greaterThan
?L 5.0)
(
lessThan
?L 6.0)))
Medicine.kif 610-620
(=>
(
and
(
instance
?EM
Electromagnet
)
(
instance
?T
Transfer
)
(
instance
?E
Electricity
)
(
objectTransferred
?T ?E)
(
path
?T ?EM))
(
exists
(?M)
(
and
(
instance
?M
Magnetism
)
(
instrument
?M ?EM))))
Cars.kif 3954-3964
(=>
(
and
(
instance
?EM
Electromagnet
)
(
not
(
holdsDuring
?T1
(
exists
(?T ?E)
(
and
(
instance
?T
Transfer
)
(
instance
?E
Electricity
)
(
objectTransferred
?T ?E)
(
path
?T ?EM))))))
(
not
(
holdsDuring
?T1
(
exists
(?M)
(
and
(
instance
?M
Magnetism
)
(
instrument
?M ?EM))))))
Cars.kif 3966-3982
(=>
(
and
(
instance
?FP
FuelPump
)
(
instance
?A
Automobile
)
(
part
?FP ?A)
(
instance
?T
Transportation
)
(
instance
?F
Fuel
)
(
patient
?T ?F)
(
instrument
?F ?FP)
(
instance
?GT
GasTank
)
(
part
?GT ?A)
(
instance
?EC
EngineCylinder
)
(
part
?EC ?A)
(
origin
?T ?GT)
(
destination
?T ?EC)
(
path
?T ?P))
(
hasPurpose
?T
(
exists
(?FF)
(
and
(
instance
?FF
FuelFilter
)
(
betweenOnPath
?GT ?FF ?EC ?P)))))
Cars.kif 1070-1090
(=>
(
and
(
instance
?M
HalfMarathon
)
(
agent
?M ?H)
(
path
?M ?P)
(
distanceOnPath
(
MeasureFn
?N
Mile
) ?P))
(
equal
?N 13.1))
Sports.kif 307-314
(=>
(
and
(
instance
?M
Marathon
)
(
agent
?M ?H)
(
path
?M ?P)
(
distanceOnPath
(
MeasureFn
?N
Mile
) ?P))
(
equal
?N 26.2))
Sports.kif 293-300
(=>
(
and
(
instance
?O
Odometer
)
(
instance
?V
Vehicle
)
(
part
?O ?V)
(
instance
?T
Translocation
)
(
instrument
?T ?V)
(
path
?T ?P)
(
distanceOnPath
(
MeasureFn
?D ?U) ?P)
(
instance
?U
LengthMeasure
))
(
hasPurpose
?O
(
exists
(?M ?L ?DIST ?U)
(
and
(
instance
?M
Measuring
)
(
instrument
?M ?O)
(
measurementReading
?O ?DIST)
(
inList
?D ?L)
(
holdsDuring
(
WhenFn
(
EndFn
?M))
(
and
(
equal
?DIST
(
MeasureFn
(
ListSumFn
?L) ?U))
(
not
(
attribute
?O
ResetMeasuringDevice
))))))))
Cars.kif 2970-2996
(=>
(
and
(
instance
?S
MultiModalTransitSystem
)
(
routeInSystem
?P ?S)
(
instance
?T1
Transportation
)
(
path
?T1 ?P)
(
instance
?V1
Aircraft
)
(
instrument
?T1 ?V1)
(
instance
?T2
Transportation
)
(
path
?T2 ?P)
(
instrument
?T2 ?V2))
(
or
(
instance
?V2
RailVehicle
)
(
instance
?V2
WaterVehicle
)
(
instance
?V2
RoadVehicle
)))
Transportation.kif 3616-3630
(=>
(
and
(
instance
?S
MultiModalTransitSystem
)
(
routeInSystem
?P ?S)
(
instance
?T1
Transportation
)
(
path
?T1 ?P)
(
instance
?V1
RailVehicle
)
(
instrument
?T1 ?V1)
(
instance
?T2
Transportation
)
(
path
?T2 ?P)
(
instrument
?T2 ?V2))
(
or
(
instance
?V2
RoadVehicle
)
(
instance
?V2
WaterVehicle
)
(
instance
?V2
Aircraft
)))
Transportation.kif 3584-3598
(=>
(
and
(
instance
?S
MultiModalTransitSystem
)
(
routeInSystem
?P ?S)
(
instance
?T1
Transportation
)
(
path
?T1 ?P)
(
instance
?V1
RoadVehicle
)
(
instrument
?T1 ?V1)
(
instance
?T2
Transportation
)
(
path
?T2 ?P)
(
instrument
?T2 ?V2))
(
or
(
instance
?V2
RailVehicle
)
(
instance
?V2
WaterVehicle
)
(
instance
?V2
Aircraft
)))
Transportation.kif 3568-3582
(=>
(
and
(
instance
?S
MultiModalTransitSystem
)
(
routeInSystem
?P ?S)
(
instance
?T1
Transportation
)
(
path
?T1 ?P)
(
instance
?V1
WaterVehicle
)
(
instrument
?T1 ?V1)
(
instance
?T2
Transportation
)
(
path
?T2 ?P)
(
instrument
?T2 ?V2))
(
or
(
instance
?V2
RailVehicle
)
(
instance
?V2
RoadVehicle
)
(
instance
?V2
Aircraft
)))
Transportation.kif 3600-3614
(=>
(
and
(
instance
?S
UniModalTransitSystem
)
(
routeInSystem
?P ?S)
(
instance
?T1
Transportation
)
(
path
?T1 ?P)
(
instance
?V1
Aircraft
)
(
instrument
?T1 ?V1)
(
instance
?T2
Transportation
)
(
path
?T2 ?P)
(
instrument
?T2 ?V2))
(
instance
?V2
Aircraft
))
Transportation.kif 3550-3561
(=>
(
and
(
instance
?S
UniModalTransitSystem
)
(
routeInSystem
?P ?S)
(
instance
?T1
Transportation
)
(
path
?T1 ?P)
(
instance
?V1
RailVehicle
)
(
instrument
?T1 ?V1)
(
instance
?T2
Transportation
)
(
path
?T2 ?P)
(
instrument
?T2 ?V2))
(
instance
?V2
RailVehicle
))
Transportation.kif 3524-3535
(=>
(
and
(
instance
?S
UniModalTransitSystem
)
(
routeInSystem
?P ?S)
(
instance
?T1
Transportation
)
(
path
?T1 ?P)
(
instance
?V1
RoadVehicle
)
(
instrument
?T1 ?V1)
(
instance
?T2
Transportation
)
(
path
?T2 ?P)
(
instrument
?T2 ?V2))
(
instance
?V2
RoadVehicle
))
Transportation.kif 3511-3522
(=>
(
and
(
instance
?S
UniModalTransitSystem
)
(
routeInSystem
?P ?S)
(
instance
?T1
Transportation
)
(
path
?T1 ?P)
(
instance
?V1
WaterVehicle
)
(
instrument
?T1 ?V1)
(
instance
?T2
Transportation
)
(
path
?T2 ?P)
(
instrument
?T2 ?V2))
(
instance
?V2
WaterVehicle
))
Transportation.kif 3537-3548
(=>
(
and
(
instance
?T
AirTransportation
)
(
path
?T ?P))
(
instance
?P
AirTransitway
))
Transportation.kif 1259-1263
(=>
(
and
(
instance
?T
LandTransportation
)
(
path
?T ?P))
(
instance
?P
LandTransitway
))
Mid-level-ontology.kif 19335-19339
(=>
(
and
(
instance
?T
Tailpipe
)
(
instance
?TR
Transfer
)
(
instance
?E
Exhaust
)
(
instance
?A
Automobile
)
(
instance
?AES
AutomobileExhaustSystem
)
(
part
?T ?A)
(
path
?TR ?T)
(
patient
?TR ?E))
(
hasPurpose
?T
(
not
(
exists
(?O)
(
and
(
part
?O ?A)
(
beforeOnPath
?T ?O ?AES ?TR))))))
Cars.kif 4107-4122
(=>
(
and
(
instance
?T
Transportation
)
(
instance
?P1
Transitway
)
(
path
?T ?P1)
(
conveyance
?T ?V)
(
instance
?J
TransitwayJunction
)
(
part
?J ?P1))
(
exists
(?P2 ?M)
(
and
(
instance
?P2
Transitway
)
(
not
(
equal
?P1 ?P2))
(
connects
?J ?P1 ?P2)
(
capability
Transfer
path
?J)
(
instance
?M
Transfer
)
(
conveyance
?M ?V)
(
meetsTemporally
(
WhenFn
?T)
(
WhenFn
?M))
(
modalAttribute
(
path
?M ?P2)
Possibility
))))
Transportation.kif 3822-3842
(=>
(
and
(
instance
?W
AnabaticWind
)
(
path
?W ?P)
(
origin
?W ?L)
(
destination
?W ?H)
(
beforeOnPath
?L ?H ?P ?W))
(
orientation
?H ?L
Uphill
))
Weather.kif 2103-2110
(=>
(
and
(
instance
?W
FohnWind
)
(
path
?W ?P)
(
origin
?W ?H)
(
destination
?W ?L)
(
beforeOnPath
?H ?L ?P ?W))
(
orientation
?L ?H
Downhill
))
Weather.kif 1733-1740
(=>
(
and
(
instance
?W
KatabaticWind
)
(
path
?W ?P)
(
origin
?W ?H)
(
destination
?W ?L)
(
beforeOnPath
?H ?L ?P ?W))
(
orientation
?L ?H
Downhill
))
Weather.kif 2056-2063
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(=>
(
and
(
instance
?AS
AutomobileShock
)
(
instance
?C
Compressing
)
(
instance
?H
HoleRegion
)
(
attribute
?F
Fluid
)
(
equal
?AS
(
HoleHostFn
?H))
(
contains
?AS ?F)
(
patient
?C ?AS))
(
exists
(?T)
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?F)
(
path
?T ?H)
(
causes
?C ?T))))
Cars.kif 871-885
(=>
(
and
(
instance
?E
Entering
)
(
destination
?E ?F)
(
attribute
?F
PhysicallyRestrictedRegion
)
(
not
(
entrance
?R ?F)))
(
modalAttribute
(
path
?E ?R)
Prohibition
))
Mid-level-ontology.kif 7861-7869
(=>
(
and
(
instance
?E
Entering
)
(
destination
?E ?F)
(
attribute
?F
PhysicallyRestrictedRegion
))
(
modalAttribute
(
exists
(?R)
(
and
(
entrance
?R ?F)
(
path
?E ?R)))
Obligation
))
Mid-level-ontology.kif 7850-7859
(=>
(
and
(
instance
?E
Exiting
)
(
origin
?E ?F)
(
attribute
?F
PhysicallyRestrictedRegion
)
(
not
(
entrance
?R ?F)))
(
modalAttribute
(
path
?E ?R)
Prohibition
))
Mid-level-ontology.kif 7882-7890
(=>
(
and
(
instance
?E
Exiting
)
(
origin
?E ?F)
(
attribute
?F
PhysicallyRestrictedRegion
))
(
modalAttribute
(
exists
(?R)
(
and
(
entrance
?R ?F)
(
path
?E ?R)))
Obligation
))
Mid-level-ontology.kif 7871-7880
(=>
(
and
(
instance
?F
Facility
)
(
attribute
?F
PhysicallyRestrictedRegion
)
(
entrance
?R ?F))
(
hasPurpose
?R
(
exists
(?E)
(
and
(
or
(
instance
?E
Entering
)
(
instance
?E
Exiting
))
(
path
?E ?R)))))
Mid-level-ontology.kif 7815-7826
(=>
(
and
(
instance
?F
Facility
)
(
attribute
?F
PhysicallyRestrictedRegion
))
(
modalAttribute
(
exists
(?E ?R)
(
and
(
or
(
instance
?E
Entering
)
(
instance
?E
Exiting
))
(
path
?E ?R)
(
not
(
entrance
?R ?F))))
Unlikely
))
Mid-level-ontology.kif 7828-7840
(=>
(
and
(
instance
?G
Gun
)
(
instance
?B
GunBarrel
)
(
part
?B ?G)
(
instance
?S
Shooting
)
(
instrument
?S ?G)
(
patient
?S ?P)
(
instance
?P
Projectile
))
(
exists
(?SUB)
(
and
(
subProcess
?SUB ?S)
(
path
?SUB ?B))))
Mid-level-ontology.kif 1301-1313
(=>
(
and
(
instance
?GOING
(
TransitFn
?WAY))
(
instance
?WAY
Transitway
))
(
path
?GOING ?WAY))
Transportation.kif 1738-1742
(=>
(
and
(
instance
?HARBOR
Harbor
)
(
equipmentCount
?HARBOR
ShipBerth
?NUM)
(
greaterThan
?NUM 0))
(
capability
ShipBerthing
path
?HARBOR))
Transportation.kif 3780-3785
(=>
(
and
(
instance
?PORT
PortFacility
)
(
capability
ShipBerthing
patient
?PORT))
(
exists
(?HARBOR)
(
and
(
instance
?HARBOR
Harbor
)
(
connected
?HARBOR ?PORT)
(
capability
ShipBerthing
path
?HARBOR))))
Transportation.kif 3787-3795
(=>
(
and
(
instance
?S
Shooting
)
(
instance
?G
Gun
)
(
instrument
?S ?G))
(
exists
(?E ?GB ?B ?C ?M)
(
and
(
subProcess
?E ?S)
(
instance
?E
Exiting
)
(
eventLocated
?E ?GB)
(
instance
?GB
GunBarrel
)
(
part
?GB ?G)
(
objectTransferred
?E ?B)
(
instance
?B
Bullet
)
(
origin
?B ?C)
(
instance
?C
BulletCartridge
)
(
located
?C ?GB)
(
path
?E ?GB)
(
entrance
?M ?GB)
(
instance
?M
GunMuzzle
))))
Mid-level-ontology.kif 1362-1381
(=>
(
and
(
instance
?S
Swallowing
)
(
agent
?S ?H))
(
exists
(?M ?E ?ST ?O)
(
and
(
instance
?M
Mouth
)
(
instance
?E
Esophagus
)
(
instance
?ST
Stomach
)
(
objectTransferred
?S ?O)
(
origin
?S ?M)
(
destination
?S ?ST)
(
path
?S ?E))))
Mid-level-ontology.kif 7532-7544
(=>
(
and
(
instance
?T
Transportation
)
(
instance
?P1
Transitway
)
(
path
?T ?P1)
(
conveyance
?T ?V)
(
instance
?J
TransitwayJunction
)
(
part
?J ?P1))
(
exists
(?P2 ?M)
(
and
(
instance
?P2
Transitway
)
(
not
(
equal
?P1 ?P2))
(
connects
?J ?P1 ?P2)
(
capability
Transfer
path
?J)
(
instance
?M
Transfer
)
(
conveyance
?M ?V)
(
meetsTemporally
(
WhenFn
?T)
(
WhenFn
?M))
(
modalAttribute
(
path
?M ?P2)
Possibility
))))
Transportation.kif 3822-3842
(=>
(
and
(
instance
?W
Transitway
)
(
attribute
?W
BiDirectionalTraffic
))
(
exists
(?P)
(
and
(
instance
?P
Policy
)
(
confersNorm
?P
(
exists
(?T1 ?A ?B)
(
and
(
instance
?T1
Transportation
)
(
path
?T1 ?W)
(
instance
?A
GeographicArea
)
(
origin
?T1 ?A)
(
instance
?B
GeographicArea
)
(
destination
?T1 ?B)
(
holdsDuring
(
WhenFn
?T1)
(
exists
(?T2)
(
and
(
instance
?T2
Transportation
)
(
path
?T2 ?W)
(
origin
?T1 ?B)
(
destination
?T1 ?A)
(
not
(
equal
?T1 ?T2)))))))
Permission
))))
Transportation.kif 3242-3266
(=>
(
and
(
instance
?W
Transitway
)
(
attribute
?W
UniDirectionalTraffic
))
(
exists
(?P)
(
and
(
instance
?P
Policy
)
(
confersNorm
?P
(
exists
(?T1 ?A ?B)
(
and
(
instance
?T1
Transportation
)
(
path
?T1 ?W)
(
instance
?A
GeographicArea
)
(
origin
?T1 ?A)
(
instance
?B
GeographicArea
)
(
destination
?T1 ?B)
(
holdsDuring
(
WhenFn
?T1)
(
exists
(?T2)
(
and
(
instance
?T2
Transportation
)
(
path
?T2 ?W)
(
origin
?T1 ?B)
(
destination
?T1 ?A)
(
not
(
equal
?T1 ?T2)))))))
Prohibition
))))
Transportation.kif 3275-3299
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
greaterThan
?AMOUNT ?DRAFT))
(
capability
(
TripFn
?SHIP)
path
?WATERWAY))
Transportation.kif 3184-3189
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
lessThanOrEqualTo
?AMOUNT ?DRAFT))
(
not
(
capability
(
TripFn
?SHIP)
path
?WATERWAY)))
Transportation.kif 3191-3196
(=>
(
and
(
navigableForShippingTonnage
?WATERWAY
(
MeasureFn
?TONNAGE
LongTon
))
(
instance
?VESSEL
WaterVehicle
)
(
vesselDisplacement
?VESSEL
(
MeasureFn
?DWT
LongTon
))
(
lessThanOrEqualTo
?DWT ?TONNAGE))
(
capability
(
TripFn
?VESSEL)
path
?WATERWAY))
Transportation.kif 3168-3174
(=>
(
instance
?B
Bowling
)
(
exists
(?BALL ?TRANS ?LANE)
(
and
(
instance
?TRANS
Translocation
)
(
instance
?BALL
BowlingBall
)
(
patient
?TRANS ?BALL)
(
instance
?LANE
BowlingLane
)
(
path
?TRANS ?LANE)
(
subProcess
?TRANS ?B))))
Sports.kif 1121-1130
(=>
(
instance
?B
Bridge
)
(
hasPurpose
?B
(
exists
(?T ?X)
(
and
(
instance
?T
Translocation
)
(
path
?T ?B)
(
orientation
?B ?X
Above
)
(
or
(
instance
?X
LandArea
)
(
instance
?X
BodyOfWater
))))))
Transportation.kif 1752-1762
(=>
(
instance
?BC
BloodCirculation
)
(
exists
(?O ?V ?A ?B)
(
and
(
instance
?O
Animal
)
(
instance
?B
Blood
)
(
moves
?BC ?B)
(
instance
?A
Artery
)
(
instance
?V
Vein
)
(
part
?A ?O)
(
part
?V ?O)
(
path
?BC ?A)
(
path
?BC ?V))))
Medicine.kif 480-492
(=>
(
instance
?BL
BowlingLane
)
(
hasPurpose
?BL
(
exists
(?TR ?BALL)
(
and
(
instance
?TR
Translocation
)
(
instance
?BALL
BowlingBall
)
(
patient
?TR ?BALL)
(
path
?TR ?BL)))))
Sports.kif 1160-1168
(=>
(
instance
?C
Catheter
)
(
hasPurpose
?C
(
exists
(?M ?O ?OBJ ?L)
(
and
(
instance
?O
Organism
)
(
instance
?M
Motion
)
(
moves
?M ?OBJ)
(
orientation
?L ?O
Outside
)
(
path
?M ?C)
(
or
(
and
(
origin
?M ?L)
(
destination
?M ?O))
(
and
(
origin
?M ?O)
(
destination
?M ?L)))))))
Medicine.kif 538-554
(=>
(
instance
?EV
ExhaustValve
)
(
hasPurpose
?EV
(
exists
(?E ?T)
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?E)
(
path
?T ?EV)
(
instance
?E
Exhaust
)))))
Cars.kif 2649-2657
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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