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
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 11100-11102
(
documentation
path
JapaneseLanguage
"(
path
?MOTION ?PATH) は、?PATH が ?MOTION が発生す るルートであることを意味する。例:高速道路 101 は、次の命題のパスである: 車で、高速道路 101 を 走らせた。")
japanese_format.kif 1762-1764
(
domain
path
1
Motion
)
Merge.kif 11097-11097
域
路徑
, 1 and
Motion
(
domain
path
2
Object
)
Merge.kif 11098-11098
域
路徑
, 2 and
Object
(
instance
path
CaseRole
)
Merge.kif 11092-11092
例
路徑
and
CaseRole
(
instance
path
TotalValuedRelation
)
Merge.kif 11093-11093
例
路徑
and
TotalValuedRelation
(
subrelation
path
eventPartlyLocated
)
Merge.kif 11096-11096
子關係
路徑
and
eventPartlyLocated
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 44765-44765
(
termFormat
EnglishLanguage
path
"path")
domainEnglishFormat.kif 44764-44764
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 29767-29776
Object
對於
Object
between
在路徑
Object
例
Transfer
and
Transfer
路徑
Transfer
and
Object
起源
Transfer
and
Object
目的地
Transfer
and
Object
beforeOnPath
Object
,
Object
,
Object
and
Transfer
beforeOnPath
Object
,
Object
,
Object
and
Transfer
(=>
(
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
例
Object
and
WirelessNetwork
例
Motion
and
NetworkCommunication
儀器
Motion
and
Object
路徑
Motion
and
Object
Object
部分
Object
and
Object
例
Object
and
Cable
(=>
(
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 620-630
例
Process
and
CPR
例
Motion
and
Compressing
路徑
Motion
and
Object
子過程
Motion
and
Process
length
Object
and
測量
RealNumber
and
厘米
比較多
RealNumber
and 5.0
少於
RealNumber
and 6.0
(=>
(
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 3901-3911
例
Object
and
Electromagnet
例
Transfer
and
Transfer
例
Object
and
電力
objectTransferred
Transfer
and
Object
路徑
Transfer
and
Object
Process
例
Process
and
磁
儀器
Process
and
Object
(=>
(
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 3913-3929
例
Entity
and
Electromagnet
持有期間
TimePosition
and
entity
entity
例
entity
and
Transfer
例
entity
and
電力
objectTransferred
entity
and
entity
路徑
entity
and
Entity
持有期間
TimePosition
and
entity
例
entity
and
磁
儀器
entity
and
Entity
(=>
(
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
例
Object
and
FuelPump
例
Object
and
汽車
部分
Object
and
Object
例
Motion
and
Transportation
例
Process
and
汽油
患者
Motion
and
Process
儀器
Process
and
Object
例
Object
and
GasTank
部分
Object
and
Object
例
Object
and
EngineCylinder
部分
Object
and
Object
起源
Motion
and
Object
目的地
Motion
and
Object
路徑
Motion
and
Object
有目的
Motion
and
Process
F
例
Process
F and
FuelFilter
Object
對於
Object
between
在路徑
Process
F
(=>
(
and
(
instance
?M
HalfMarathon
)
(
agent
?M ?H)
(
path
?M ?P)
(
distanceOnPath
(
MeasureFn
?N
Mile
) ?P))
(
equal
?N 13.1))
Sports.kif 295-302
例
Motion
and
HalfMarathon
agent
Motion
and
AutonomousAgent
路徑
Motion
and
公交專用道
公交專用道
的
distance
是
測量
RealNumber
and
英里
等於
RealNumber
and 13.1
(=>
(
and
(
instance
?M
Marathon
)
(
agent
?M ?H)
(
path
?M ?P)
(
distanceOnPath
(
MeasureFn
?N
Mile
) ?P))
(
equal
?N 26.2))
Sports.kif 281-288
例
Motion
and
Marathon
agent
Motion
and
AutonomousAgent
路徑
Motion
and
公交專用道
公交專用道
的
distance
是
測量
RealNumber
and
英里
等於
RealNumber
and 26.2
(=>
(
and
(
instance
?T
AirTransportation
)
(
path
?T ?P))
(
instance
?P
AirTransitway
))
Transportation.kif 1259-1263
例
Motion
and
航空運輸
路徑
Motion
and
Object
例
Object
and
空中運輸通道
(=>
(
and
(
instance
?T
LandTransportation
)
(
path
?T ?P))
(
instance
?P
LandTransitway
))
Mid-level-ontology.kif 17783-17787
例
Motion
and
陸運
路徑
Motion
and
Object
例
Object
and
陸地過境通道
(=>
(
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 4054-4069
例
Object
and
Tailpipe
例
Object
R and
Transfer
例
Entity
and
Exhaust
例
Object
and
汽車
例
Object
ES and
AutomobileExhaustSystem
部分
Object
and
Object
路徑
Object
R and
Object
患者
Object
R and
Entity
有目的
Object
and
entity
部分
entity
and
Object
beforeOnPath
Object
,
entity
,
Object
ES and
Object
R
(=>
(
and
(
path
?PROCESS ?PATH1)
(
origin
?PROCESS ?SOURCE)
(
destination
?PROCESS ?DEST)
(
length
?PATH1
(
MeasureFn
?MEASURE1 ?U))
(
distance
?SOURCE ?DEST
(
MeasureFn
?DISTANCE ?U))
(
not
(
greaterThan
?MEASURE1 ?DISTANCE))
(
part
?OBJ ?PATH1))
(
between
?SOURCE ?OBJ ?DEST))
Merge.kif 11104-11114
路徑
Motion
and
Object
起源
Motion
and
Object
目的地
Motion
and
Object
length
Object
and
測量
RealNumber
and
UnitOfMeasure
距離
Object
,
Object
and
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
部分
Object
and
Object
之間
Object
,
Object
and
Object
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
例
SelfConnectedObject
and
AutomobileShock
例
Process
and
Compressing
例
HoleRegion
and
HoleRegion
attribute
Object
and
流體
等於
SelfConnectedObject
and
洞主持人
HoleRegion
包含
SelfConnectedObject
and
Object
患者
Process
and
SelfConnectedObject
Transfer
例
Transfer
and
Transfer
objectTransferred
Transfer
and
Object
路徑
Transfer
and
HoleRegion
原因
Process
and
Transfer
(=>
(
and
(
instance
?B
Barricade
)
(
partlyLocated
?B ?P))
(
hasPurpose
?B
(
not
(
exists
(?T)
(
and
(
instance
?T
Translocation
)
(
path
?T ?P))))))
MilitaryDevices.kif 2003-2012
例
Physical
and
壅
部分位於
Physical
and
Object
有目的
Physical
and
entity
例
entity
and
易位
路徑
entity
and
Object
(=>
(
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 1235-1247
例
Object
and
槍
例
Object
and
槍管
部分
Object
and
Object
例
Process
and
Shooting
儀器
Process
and
Object
患者
Process
and
Entity
例
Entity
and
拋射物
Process
UB
子過程
Process
UB and
Process
路徑
Process
UB and
Object
(=>
(
and
(
instance
?GOING
(
TransitFn
?WAY))
(
instance
?WAY
Transitway
))
(
path
?GOING ?WAY))
Transportation.kif 1609-1613
例
Motion
and
公交專用道
的
transit
例
公交專用道
and
公交專用道
路徑
Motion
and
公交專用道
(=>
(
and
(
instance
?HARBOR
Harbor
)
(
equipmentCount
?HARBOR
ShipBerth
?NUM)
(
greaterThan
?NUM 0))
(
capability
ShipBerthing
path
?HARBOR))
Transportation.kif 2942-2947
例
Object
and
港口
Object
對於
RealNumber
equipment
記數
船泊位
比較多
RealNumber
and 0
能力
船靠泊
,
路徑
and
Object
(=>
(
and
(
instance
?PORT
PortFacility
)
(
capability
ShipBerthing
patient
?PORT))
(
exists
(?HARBOR)
(
and
(
instance
?HARBOR
Harbor
)
(
connected
?HARBOR ?PORT)
(
capability
ShipBerthing
path
?HARBOR))))
Transportation.kif 2949-2957
例
Object
and
港口設施
能力
船靠泊
,
患者
and
Object
Object
例
Object
and
港口
連接的
Object
and
Object
能力
船靠泊
,
路徑
and
Object
(=>
(
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 6594-6606
例
Transfer
and
Swallowing
agent
Transfer
and
AutonomousAgent
Object
Object
,
Transfer
T and
Object
例
Object
and
口
例
Object
and
Esophagus
例
Transfer
T and
胃
objectTransferred
Transfer
and
Object
起源
Transfer
and
Object
目的地
Transfer
and
Transfer
T
路徑
Transfer
and
Object
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
greaterThan
?AMOUNT ?DRAFT))
(
capability
(
TripFn
?SHIP)
path
?WATERWAY))
Transportation.kif 2653-2658
測量
RealNumber
and
儀表
是草案
WaterArea
的
navigable
測量
RealNumber
and
儀表
是
水車
的
laden
草案
比較多
RealNumber
and
RealNumber
能力
水車
的
trip
,
路徑
and
WaterArea
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
lessThanOrEqualTo
?AMOUNT ?DRAFT))
(
not
(
capability
(
TripFn
?SHIP)
path
?WATERWAY)))
Transportation.kif 2660-2665
測量
RealNumber
and
儀表
是草案
WaterArea
的
navigable
測量
RealNumber
and
儀表
是
水車
的
laden
草案
小於或等於
RealNumber
and
RealNumber
能力
水車
的
trip
,
路徑
and
WaterArea
(=>
(
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
測量
RealNumber
and
長噸
是
navigable
對於
WaterArea
的運輸噸位
例
水車
and
水車
測量
RealNumber
and
長噸
是
水車
的
vessel
位移
小於或等於
RealNumber
and
RealNumber
能力
水車
的
trip
,
路徑
and
WaterArea
(=>
(
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 1108-1117
例
Process
and
Bowling
Process
ALL
Motion
and
Object
例
Motion
and
易位
例
Process
ALL and
BowlingBall
患者
Motion
and
Process
ALL
例
Object
and
BowlingLane
路徑
Motion
and
Object
子過程
Motion
and
Process
(=>
(
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 491-503
例
Motion
and
BloodCirculation
Object
Object
,
Object
and
Object
例
Object
and
Animal
例
Object
and
Blood
移動
Motion
and
Object
例
Object
and
動脈
例
Object
and
靜脈
部分
Object
and
Object
部分
Object
and
Object
路徑
Motion
and
Object
路徑
Motion
and
Object
(=>
(
instance
?BL
BowlingLane
)
(
hasPurpose
?BL
(
exists
(?TR ?BALL)
(
and
(
instance
?TR
Translocation
)
(
instance
?BALL
BowlingBall
)
(
patient
?TR ?BALL)
(
path
?TR ?BL)))))
Sports.kif 1147-1155
例
Physical
and
BowlingLane
有目的
Physical
and
entity
entity
例
entity
and
易位
例
entity
and
BowlingBall
患者
entity
and
entity
路徑
entity
and
Physical
(=>
(
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 548-564
例
Physical
and
Catheter
有目的
Physical
and
entity
entity
,
entity
BJ and
entity
例
entity
and
Organism
例
entity
and
Motion
移動
entity
and
entity
BJ
方位
entity
,
entity
and
外
路徑
entity
and
Physical
起源
entity
and
entity
目的地
entity
and
entity
起源
entity
and
entity
目的地
entity
and
entity
(=>
(
instance
?EV
ExhaustValve
)
(
hasPurpose
?EV
(
exists
(?E ?T)
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?E)
(
path
?T ?EV)
(
instance
?E
Exhaust
)))))
Cars.kif 2671-2679
例
Physical
and
ExhaustValve
有目的
Physical
and
entity
entity
例
entity
and
Transfer
objectTransferred
entity
and
entity
路徑
entity
and
Physical
例
entity
and
Exhaust
(=>
(
instance
?G
Gasket
)
(
hasPurpose
?G
(
exists
(?O1 ?O2)
(
and
(
instance
?O1
CorpuscularObject
)
(
instance
?O2
CorpuscularObject
)
(
meetsSpatially
?O1 ?G)
(
meetsSpatially
?O2 ?G)
(
not
(
exists
(?H ?D ?T ?O)
(
and
(
instance
?H
HoleRegion
)
(
equal
?G
(
HoleHostFn
?H))
(
instance
?T
Translocation
)
(
path
?T ?H)
(
origin
?T ?O)
(
destination
?T ?D)
(
contains
?O1 ?O)
(
not
(
contains
?O1 ?D))
(
meetsSpatially
?O1 ?D)
(
not
(
exists
(?O3)
(
and
(
contains
?H ?O3)
(
not
(
contains
?O1 ?O3))
(
not
(
contains
?O2 ?O3))))))))))))
Cars.kif 2849-2878
例
Physical
and
Gasket
有目的
Physical
and
entity
entity
例
entity
and
CorpuscularObject
例
entity
and
CorpuscularObject
空間的符合
entity
and
Physical
空間的符合
entity
and
Physical
entity
entity
,
entity
and
entity
例
entity
and
HoleRegion
等於
Physical
and
洞主持人
entity
例
entity
and
易位
路徑
entity
and
entity
起源
entity
and
entity
目的地
entity
and
entity
包含
entity
and
entity
包含
entity
and
entity
空間的符合
entity
and
entity
entity
包含
entity
and
entity
包含
entity
and
entity
包含
entity
and
entity
(=>
(
instance
?GF
GreaseFitting
)
(
hasPurpose
?GF
(
exists
(?P ?G)
(
and
(
instance
?G
Grease
)
(
instance
?P
Putting
)
(
path
?P ?GF)
(
objectTransferred
?P ?G)))))
Cars.kif 3026-3034
例
Physical
and
GreaseFitting
有目的
Physical
and
entity
entity
例
entity
and
Grease
例
entity
and
Putting
路徑
entity
and
Physical
objectTransferred
entity
and
entity
(=>
(
instance
?HALL
Hallway
)
(
hasPurpose
?HALL
(
exists
(?TRAN ?BUILD ?R1 ?R2)
(
and
(
instance
?TRAN
Translocation
)
(
path
?TRAN ?HALL)
(
located
?HALL ?BUILD)
(
instance
?BUILD
Building
)
(
between
?R1 ?HALL ?R2)
(
instance
?R1
Room
)
(
instance
?R2
Room
)
(
located
?R1 ?BUILD)
(
located
?R2 ?BUILD)
(
not
(
equal
?R1 ?R2))))))
Mid-level-ontology.kif 15621-15636
例
Physical
and
門廳
有目的
Physical
and
entity
entity
,
entity
and
entity
例
entity
and
易位
路徑
entity
and
Physical
位於
Physical
and
entity
例
entity
and
Building
之間
entity
,
Physical
and
entity
例
entity
and
Room
例
entity
and
Room
位於
entity
and
entity
位於
entity
and
entity
等於
entity
and
entity
(=>
(
instance
?IV
IntakeValve
)
(
hasPurpose
?IV
(
exists
(?A ?FV ?CC ?T)
(
and
(
instance
?A
Automobile
)
(
instance
?FV
FuelVapor
)
(
instance
?CC
CombustionChamber
)
(
instance
?T
Transfer
)
(
part
?IV ?A)
(
part
?CC ?A)
(
patient
?T ?FV)
(
path
?T ?IV)
(
destination
?T ?CC)))))
Cars.kif 2696-2709
例
Physical
and
IntakeValve
有目的
Physical
and
entity
entity
,
entity
and
entity
例
entity
and
汽車
例
entity
and
FuelVapor
例
entity
and
CombustionChamber
例
entity
and
Transfer
部分
Physical
and
entity
部分
entity
and
entity
患者
entity
and
entity
路徑
entity
and
Physical
目的地
entity
and
entity
(=>
(
instance
?IVT
IVTherapy
)
(
exists
(?P ?V ?T)
(
and
(
instance
?T
IVLine
)
(
path
?IVT ?T)
(
instance
?V
Vein
)
(
destination
?IVT ?V))))
Medicine.kif 1078-1085
例
Motion
and
IVTherapy
entity
Entity
and
Object
例
Object
and
IVLine
路徑
Motion
and
Object
例
Entity
and
靜脈
目的地
Motion
and
Entity
(=>
(
instance
?MHCV
ManifoldHeatControlValve
)
(
hasPurpose
?MHCV
(
exists
(?H ?O ?E ?FV ?T)
(
and
(
instance
?H
Heating
)
(
instance
?O
Opening
)
(
instance
?E
Exhaust
)
(
instance
?T
Transfer
)
(
instance
?FV
FuelVapor
)
(
patient
?O ?MHCV)
(
instrument
?H ?E)
(
patient
?H ?FV)
(
path
?T ?MHCV)
(
causes
?O ?T)
(
causes
?T ?H)))))
Cars.kif 3270-3285
例
Physical
and
ManifoldHeatControlValve
有目的
Physical
and
entity
entity
,
entity
,
entity
and
entity
例
entity
and
Heating
例
entity
and
開盤
例
entity
and
Exhaust
例
entity
and
Transfer
例
entity
and
FuelVapor
患者
entity
and
Physical
儀器
entity
and
entity
患者
entity
and
entity
路徑
entity
and
Physical
原因
entity
and
entity
原因
entity
and
entity
(=>
(
instance
?NA
NasopharyngealAirway
)
(
hasPurpose
?NA
(
exists
(?H ?B)
(
and
(
instance
?B
Breathing
)
(
located
?B ?H)
(
holdsDuring
(
WhenFn
?B)
(
attribute
?H
Unconscious
))
(
path
?B ?NA)))))
Medicine.kif 730-740
例
Physical
and
NasopharyngealAirway
有目的
Physical
and
entity
entity
例
entity
and
Breathing
位於
entity
and
entity
持有期間
何時
entity
and
attribute
entity
and
Unconscious
路徑
entity
and
Physical
(=>
(
instance
?P
Waterway
)
(
hasPurpose
?P
(
exists
(?T)
(
and
(
instance
?T
WaterTransportation
)
(
path
?T ?P)))))
Geography.kif 5582-5588
例
Physical
and
水路
有目的
Physical
and
entity
例
entity
and
水運
路徑
entity
and
Physical
(=>
(
instance
?PCVV
PositiveCrankcaseVentilationValve
)
(
hasPurpose
?PCVV
(
exists
(?CR ?F ?CC ?T ?A)
(
and
(
instance
?CR
Crankcase
)
(
instance
?F
Fuel
)
(
instance
?CC
CombustionChamber
)
(
instance
?T
Transfer
)
(
instance
?A
Automobile
)
(
part
?CR ?A)
(
part
?CC ?A)
(
part
?PCVV ?A)
(
origin
?T ?CR)
(
destination
?T ?CC)
(
objectTransferred
?T ?F)
(
path
?T ?PCVV)))))
Cars.kif 3826-3842
例
Physical
and
PositiveCrankcaseVentilationValve
有目的
Physical
and
entity
entity
,
entity
,
entity
and
entity
例
entity
and
Crankcase
例
entity
and
汽油
例
entity
and
CombustionChamber
例
entity
and
Transfer
例
entity
and
汽車
部分
entity
and
entity
部分
entity
and
entity
部分
Physical
and
entity
起源
entity
and
entity
目的地
entity
and
entity
objectTransferred
entity
and
entity
路徑
entity
and
Physical
(=>
(
instance
?R
Ramp
)
(
capability
MotionDownward
path
?R))
Mid-level-ontology.kif 2370-2372
例
Object
and
舷梯
能力
向下運動
,
路徑
and
Object
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