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 11078-11080
(
documentation
path
JapaneseLanguage
"(
path
?MOTION ?PATH) は、?PATH が ?MOTION が発生す るルートであることを意味する。例:高速道路 101 は、次の命題のパスである: 車で、高速道路 101 を 走らせた。")
japanese_format.kif 1762-1764
(
domain
path
1
Motion
)
Merge.kif 11075-11075
路径
的 1 数量 是
运动
的
instance
(
domain
path
2
Object
)
Merge.kif 11076-11076
路径
的 2 数量 是
客体
的
instance
(
instance
path
CaseRole
)
Merge.kif 11070-11070
路径
是
格角色
的
instance
(
instance
path
TotalValuedRelation
)
Merge.kif 11071-11071
路径
是
总值关系
的
instance
(
subrelation
path
eventPartlyLocated
)
Merge.kif 11074-11074
路径
是
eventPartlyLocated
的
subrelation
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 29779-29788
如果
客体
對於
另一个 客体
between
在路徑
第三 客体
和
转移
是
转移
的
instance
和
第四 客体
%n是
那个 转移
发生的
path
和
那个 客体
是
那个 转移
的源头 和
那个 转移
在
那个 另外 客体
结束,
然后
beforeOnPath
那个 客体
,
那个 第三 客体
,
那个 第四 客体
and
那个 转移
和
beforeOnPath
那个 第三 客体
,
那个 另外 客体
,
那个 第四 客体
and
那个 转移
(=>
(
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
如果
客体
是
WirelessNetwork
的
instance
和
运动
是
NetworkCommunication
的
instance
和
那个 客体
是导致
那个 运动
的
instrument
和
另一个 客体
%n是
那个 运动
发生的
path
,
然后 有存在
第三 客体
这样
那个 第三 客体
是
那个 另外 客体
的
part
和
那个 第三 客体
不 是
Cable
的
instance
(=>
(
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
如果
过程
是
CPR
的
instance
和
运动
是
Compressing
的
instance
和
客体
%n是
那个 运动
发生的
path
和
那个 运动
%n是
那个 过程
的
subProcess
和
那个 客体
的
length
是
实数
厘米
,
然后
那个 实数
是
greaterThan
5.0 和
那个 实数
是
lessThan
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 3893-3903
如果
客体
是
Electromagnet
的
instance
和
转移
是
转移
的
instance
和
另一个 客体
是
电力
的
instance
和
objectTransferred
那个 转移
and
那个 另外 客体
和
那个 客体
%n是
那个 转移
发生的
path
,
然后 有存在
过程
这样
那个 过程
是
磁
的
instance
和
那个 客体
是导致
那个 过程
的
instrument
(=>
(
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 3905-3921
如果
实体
是
Electromagnet
的
instance
和 有存在
另一个 实体
和
第三 实体
这样
那个 另外 实体
是
转移
的
instance
和
那个 第三 实体
是
电力
的
instance
和
objectTransferred
那个 另外 实体
and
那个 第三 实体
和
那个 实体
%n是
那个 另外 实体
发生的
path
doesn't 在
那个 另外 实体
1
holdsDuring
,
然后 有存在
第五 实体
这样
那个 第五 实体
是
磁
的
instance
和
那个 实体
是导致
那个 第五 实体
的
instrument
doesn't 在
那个 另外 实体
1
holdsDuring
(=>
(
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
如果
客体
是
FuelPump
的
instance
和
另一个 客体
是
汽车
的
instance
和
那个 客体
是
那个 另外 客体
的
part
和
运动
是
运输
的
instance
和
过程
是
汽油
的
instance
和
那个 过程
是
那个 运动
的
patient
和
那个 客体
是导致
那个 过程
的
instrument
和
第三 客体
是
GasTank
的
instance
和
那个 第三 客体
是
那个 另外 客体
的
part
和
第四 客体
是
EngineCylinder
的
instance
和
那个 第四 客体
是
那个 另外 客体
的
part
和
那个 第三 客体
是
那个 运动
的源头 和
那个 运动
在
那个 第四 客体
结束 和
第五 客体
%n是
那个 运动
发生的
path
,
然后
那个 运动
的 目的 是 有存在
那个 过程
F 这样
那个 过程
F 是
FuelFilter
的
instance
和
那个 第三 客体
對於
那个 第四 客体
between
在路徑
那个 过程
F
(=>
(
and
(
instance
?M
HalfMarathon
)
(
agent
?M ?H)
(
path
?M ?P)
(
distanceOnPath
(
MeasureFn
?N
Mile
) ?P))
(
equal
?N 13.1))
Sports.kif 295-302
如果
运动
是
HalfMarathon
的
instance
和
施事体
是
那个 运动
的
agent
和
公交专用道
%n是
那个 运动
发生的
path
和
那个 公交专用道
的
distance
是
实数
英里
,
然后
那个 实数
equal
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
如果
运动
是
Marathon
的
instance
和
施事体
是
那个 运动
的
agent
和
公交专用道
%n是
那个 运动
发生的
path
和
那个 公交专用道
的
distance
是
实数
英里
,
然后
那个 实数
equal
26.2
(=>
(
and
(
instance
?T
AirTransportation
)
(
path
?T ?P))
(
instance
?P
AirTransitway
))
Transportation.kif 1259-1263
如果
运动
是
航空运输
的
instance
和
客体
%n是
那个 运动
发生的
path
,
然后
那个 客体
是
空中运输通道
的
instance
(=>
(
and
(
instance
?T
LandTransportation
)
(
path
?T ?P))
(
instance
?P
LandTransitway
))
Mid-level-ontology.kif 17784-17788
如果
运动
是
陆运
的
instance
和
客体
%n是
那个 运动
发生的
path
,
然后
那个 客体
是
陆地过境通道
的
instance
(=>
(
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 4046-4061
如果
客体
是
Tailpipe
的
instance
和
那个 客体
R 是
转移
的
instance
和
实体
是
Exhaust
的
instance
和
另一个 客体
是
汽车
的
instance
和
那个 另外 客体
ES 是
AutomobileExhaustSystem
的
instance
和
那个 客体
是
那个 另外 客体
的
part
和
那个 客体
%n是
那个 客体
R发生的
path
和
那个 实体
是
那个 客体
R 的
patient
,
然后
那个 客体
的 目的 是 不存在
第四 实体
这样
那个 第四 实体
是
那个 另外 客体
的
part
和
beforeOnPath
那个 客体
,
那个 第四 实体
,
那个 另外 客体
ES and
那个 客体
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 11082-11092
如果
客体
%n是
实体
path
和
另一个 客体
是
运动
的源头 和
那个 运动
在
第三 客体
结束 和
那个 客体
的
length
是
实数
测量单位
和
那个 另外 客体
和
那个 第三 客体
的
distance
是
另一个 实数
那个 测量单位
和
那个 实数
不 是
greaterThan
那个 另外 实数
和
第四 客体
是
那个 客体
的
part
,
然后
那个 第四 客体
是在
那个 另外 客体
和
那个 第三 客体
between
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
如果
自身连接物体
是
AutomobileShock
的
instance
和
过程
是
Compressing
的
instance
和
洞
是
洞
的
instance
和
流体
是
客体
的
attribute
和
那个 自身连接物体
equal
洞
那个 洞
的主体 和
那个 自身连接物体
contains
那个 客体
和
那个 自身连接物体
是
那个 过程
的
patient
,
然后 有存在
转移
这样
那个 转移
是
转移
的
instance
和
objectTransferred
那个 转移
and
那个 客体
和
那个 洞
%n是
那个 转移
发生的
path
和
那个 过程
causes
那个 转移
(=>
(
and
(
instance
?B
Barricade
)
(
partlyLocated
?B ?P))
(
hasPurpose
?B
(
not
(
exists
(?T)
(
and
(
instance
?T
Translocation
)
(
path
?T ?P))))))
MilitaryDevices.kif 2003-2012
如果
物理
是
壅
的
instance
和
那个 物理
是
partlyLocated
在
客体
,
然后
那个 物理
的 目的 是 不存在
实体
这样
那个 实体
是
易位
的
instance
和
那个 客体
%n是
那个 实体
发生的
path
(=>
(
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
如果
客体
是
枪
的
instance
和
另一个 客体
是
枪管
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
过程
是
射击
的
instance
和
那个 客体
是导致
那个 过程
的
instrument
和
实体
是
那个 过程
的
patient
和
那个 实体
是
抛射物
的
instance
,
然后 有存在
那个 过程
UB 这样
那个 过程
UB%n是
那个 过程
的
subProcess
和
那个 另外 客体
%n是
那个 过程
UB发生的
path
(=>
(
and
(
instance
?GOING
(
TransitFn
?WAY))
(
instance
?WAY
Transitway
))
(
path
?GOING ?WAY))
Transportation.kif 1609-1613
如果
运动
是
公交专用道
的
transit
的
instance
和
那个 公交专用道
是
公交专用道
的
instance
,
然后
那个 公交专用道
%n是
那个 运动
发生的
path
(=>
(
and
(
instance
?HARBOR
Harbor
)
(
equipmentCount
?HARBOR
ShipBerth
?NUM)
(
greaterThan
?NUM 0))
(
capability
ShipBerthing
path
?HARBOR))
Transportation.kif 2942-2947
如果
客体
是
港口
的
instance
和
那个 客体
对于
实数
equipment
记数
船泊位
和
那个 实数
是
greaterThan
0,
然后
那个 客体
能够担当
路径
的角色做
船靠泊
(=>
(
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
如果
客体
是
港口设施
的
instance
和
那个 客体
能够担当
受事
的角色做
船靠泊
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
港口
的
instance
和
那个 另外 客体
和
那个 客体
是
connected
和
那个 另外 客体
能够担当
路径
的角色做
船靠泊
(=>
(
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 6595-6607
如果
转移
是
Swallowing
的
instance
和
施事体
是
那个 转移
的
agent
,
然后 有存在
客体
,
另一个 客体
,, ,
那个 转移
T, and 和
第三 客体
这样
那个 客体
是
口
的
instance
和
那个 另外 客体
是
Esophagus
的
instance
和
那个 转移
T 是
胃
的
instance
和
objectTransferred
那个 转移
and
那个 第三 客体
和
那个 客体
是
那个 转移
的源头 和
那个 转移
在
那个 转移
T 结束 和
那个 另外 客体
%n是
那个 转移
发生的
path
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
greaterThan
?AMOUNT ?DRAFT))
(
capability
(
TripFn
?SHIP)
path
?WATERWAY))
Transportation.kif 2653-2658
如果
实数
仪表
是草案
水域
的
navigable
和
另一个 实数
仪表
是
水车
的
laden
草案 和
那个 实数
是
greaterThan
那个 另外 实数
,
然后
那个 水域
能够担当
路径
的角色做
那个 水车
的
trip
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
lessThanOrEqualTo
?AMOUNT ?DRAFT))
(
not
(
capability
(
TripFn
?SHIP)
path
?WATERWAY)))
Transportation.kif 2660-2665
如果
实数
仪表
是草案
水域
的
navigable
和
另一个 实数
仪表
是
水车
的
laden
草案 和
那个 实数
是
lessThanOrEqualTo
那个 另外 实数
,
然后
那个 水域
不 能够担当
路径
的角色做
那个 水车
的
trip
(=>
(
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
如果
实数
长吨
是
navigable
对于
水域
的运输吨位 和
水车
是
水车
的
instance
和
另一个 实数
长吨
是
那个 水车
的
vessel
位移 和
那个 另外 实数
是
lessThanOrEqualTo
那个 实数
,
然后
那个 水域
能够担当
路径
的角色做
那个 水车
的
trip
(=>
(
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 1107-1116
如果
过程
是
Bowling
的
instance
,
然后 有存在
那个 过程
ALL,
运动
, and 和
客体
这样
那个 运动
是
易位
的
instance
和
那个 过程
ALL 是
BowlingBall
的
instance
和
那个 过程
ALL 是
那个 运动
的
patient
和
那个 客体
是
BowlingLane
的
instance
和
那个 客体
%n是
那个 运动
发生的
path
和
那个 运动
%n是
那个 过程
的
subProcess
(=>
(
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
如果
运动
是
BloodCirculation
的
instance
,
然后 有存在
客体
,
另一个 客体
,, ,
第三 客体
, and 和
第四 客体
这样
那个 客体
是
动物
的
instance
和
那个 第四 客体
是
血液
的
instance
和
移动
那个 运动
and
那个 第四 客体
和
那个 第三 客体
是
动脉
的
instance
和
那个 另外 客体
是
静脉
的
instance
和
那个 第三 客体
是
那个 客体
的
part
和
那个 另外 客体
是
那个 客体
的
part
和
那个 第三 客体
%n是
那个 运动
发生的
path
和
那个 另外 客体
%n是
那个 运动
发生的
path
(=>
(
instance
?BL
BowlingLane
)
(
hasPurpose
?BL
(
exists
(?TR ?BALL)
(
and
(
instance
?TR
Translocation
)
(
instance
?BALL
BowlingBall
)
(
patient
?TR ?BALL)
(
path
?TR ?BL)))))
Sports.kif 1146-1154
如果
物理
是
BowlingLane
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
易位
的
instance
和
那个 另外 实体
是
BowlingBall
的
instance
和
那个 另外 实体
是
那个 实体
的
patient
和
那个 物理
%n是
那个 实体
发生的
path
(=>
(
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
如果
物理
是
Catheter
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
,, ,
那个 另外 实体
BJ, and 和
第四 实体
这样
那个 另外 实体
是
生物
的
instance
和
那个 实体
是
运动
的
instance
和
移动
那个 实体
and
那个 另外 实体
BJ 和
那个 第四 实体
在
那个 另外 实体
的
外
和
那个 物理
%n是
那个 实体
发生的
path
和
那个 第四 实体
是
那个 实体
的源头 和
那个 实体
在
那个 另外 实体
结束 或
那个 另外 实体
是
那个 实体
的源头 和
那个 实体
在
那个 第四 实体
结束
(=>
(
instance
?EV
ExhaustValve
)
(
hasPurpose
?EV
(
exists
(?E ?T)
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?E)
(
path
?T ?EV)
(
instance
?E
Exhaust
)))))
Cars.kif 2665-2673
如果
物理
是
ExhaustValve
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 另外 实体
是
转移
的
instance
和
objectTransferred
那个 另外 实体
and
那个 实体
和
那个 物理
%n是
那个 另外 实体
发生的
path
和
那个 实体
是
Exhaust
的
instance
(=>
(
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 2843-2872
如果
物理
是
Gasket
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
躯体性物体
的
instance
和
那个 另外 实体
是
躯体性物体
的
instance
和
那个 实体
接上
那个 物理
和
那个 另外 实体
接上
那个 物理
和 不存在
第三 实体
,
第四 实体
,, ,
第五 实体
, and 和
第六 实体
这样
那个 第三 实体
是
洞
的
instance
和
那个 物理
equal
洞
那个 第三 实体
的主体 和
那个 第五 实体
是
易位
的
instance
和
那个 第三 实体
%n是
那个 第五 实体
发生的
path
和
那个 第六 实体
是
那个 第五 实体
的源头 和
那个 第五 实体
在
那个 第四 实体
结束 和
那个 实体
contains
那个 第六 实体
和
那个 实体
doesn't
contains
那个 第四 实体
和
那个 实体
接上
那个 第四 实体
和 不存在
那个 第六 实体
3 这样
那个 第三 实体
contains
那个 第六 实体
3 和
那个 实体
doesn't
contains
那个 第六 实体
3 和
那个 另外 实体
doesn't
contains
那个 第六 实体
3
(=>
(
instance
?GF
GreaseFitting
)
(
hasPurpose
?GF
(
exists
(?P ?G)
(
and
(
instance
?G
Grease
)
(
instance
?P
Putting
)
(
path
?P ?GF)
(
objectTransferred
?P ?G)))))
Cars.kif 3020-3028
如果
物理
是
GreaseFitting
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 另外 实体
是
Grease
的
instance
和
那个 实体
是
放
的
instance
和
那个 物理
%n是
那个 实体
发生的
path
和
objectTransferred
那个 实体
and
那个 另外 实体
(=>
(
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 15622-15637
如果
物理
是
门厅
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
,, ,
第三 实体
, and 和
第四 实体
这样
那个 实体
是
易位
的
instance
和
那个 物理
%n是
那个 实体
发生的
path
和
那个 物理
是
located
在
那个 另外 实体
和
那个 另外 实体
是
建筑物
的
instance
和
那个 物理
是在
那个 第三 实体
和
那个 第四 实体
between
和
那个 第三 实体
是
房间
的
instance
和
那个 第四 实体
是
房间
的
instance
和
那个 第三 实体
是
located
在
那个 另外 实体
和
那个 第四 实体
是
located
在
那个 另外 实体
和
那个 第三 实体
不
equal
那个 第四 实体
(=>
(
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 2690-2703
如果
物理
是
IntakeValve
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
,, ,
第三 实体
, and 和
第四 实体
这样
那个 实体
是
汽车
的
instance
和
那个 另外 实体
是
FuelVapor
的
instance
和
那个 第三 实体
是
CombustionChamber
的
instance
和
那个 第四 实体
是
转移
的
instance
和
那个 物理
是
那个 实体
的
part
和
那个 第三 实体
是
那个 实体
的
part
和
那个 另外 实体
是
那个 第四 实体
的
patient
和
那个 物理
%n是
那个 第四 实体
发生的
path
和
那个 第四 实体
在
那个 第三 实体
结束
(=>
(
instance
?IVT
IVTherapy
)
(
exists
(?P ?V ?T)
(
and
(
instance
?T
IVLine
)
(
path
?IVT ?T)
(
instance
?V
Vein
)
(
destination
?IVT ?V))))
Medicine.kif 1078-1085
如果
运动
是
IVTherapy
的
instance
,
然后 有存在
实体
,
另一个 实体
, and 和
客体
这样
那个 客体
是
IVLine
的
instance
和
那个 客体
%n是
那个 运动
发生的
path
和
那个 另外 实体
是
静脉
的
instance
和
那个 运动
在
那个 另外 实体
结束
(=>
(
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 3262-3277
如果
物理
是
ManifoldHeatControlValve
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
,, ,
第三 实体
,, ,
第四 实体
, and 和
第五 实体
这样
那个 实体
是
加热
的
instance
和
那个 另外 实体
是
开盘
的
instance
和
那个 第三 实体
是
Exhaust
的
instance
和
那个 第五 实体
是
转移
的
instance
和
那个 第四 实体
是
FuelVapor
的
instance
和
那个 物理
是
那个 另外 实体
的
patient
和
那个 第三 实体
是导致
那个 实体
的
instrument
和
那个 第四 实体
是
那个 实体
的
patient
和
那个 物理
%n是
那个 第五 实体
发生的
path
和
那个 另外 实体
causes
那个 第五 实体
和
那个 第五 实体
causes
那个 实体
(=>
(
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
如果
物理
是
NasopharyngealAirway
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 另外 实体
是
呼吸
的
instance
和
那个 另外 实体
是
located
在
那个 实体
和
无意识
是
那个 实体
的
attribute
在
那个 另外 实体
出现 的
time
holdsDuring
和
那个 物理
%n是
那个 另外 实体
发生的
path
(=>
(
instance
?P
Waterway
)
(
hasPurpose
?P
(
exists
(?T)
(
and
(
instance
?T
WaterTransportation
)
(
path
?T ?P)))))
Geography.kif 5582-5588
如果
物理
是
水路
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
这样
那个 实体
是
水运
的
instance
和
那个 物理
%n是
那个 实体
发生的
path
(=>
(
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 3818-3834
如果
物理
是
PositiveCrankcaseVentilationValve
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
,, ,
第三 实体
,, ,
第四 实体
, and 和
第五 实体
这样
那个 实体
是
Crankcase
的
instance
和
那个 另外 实体
是
汽油
的
instance
和
那个 第三 实体
是
CombustionChamber
的
instance
和
那个 第四 实体
是
转移
的
instance
和
那个 第五 实体
是
汽车
的
instance
和
那个 实体
是
那个 第五 实体
的
part
和
那个 第三 实体
是
那个 第五 实体
的
part
和
那个 物理
是
那个 第五 实体
的
part
和
那个 实体
是
那个 第四 实体
的源头 和
那个 第四 实体
在
那个 第三 实体
结束 和
objectTransferred
那个 第四 实体
and
那个 另外 实体
和
那个 物理
%n是
那个 第四 实体
发生的
path
(=>
(
instance
?R
Ramp
)
(
capability
MotionDownward
path
?R))
Mid-level-ontology.kif 2370-2372
如果
客体
是
舷梯
的
instance
,
然后
那个 客体
能够担当
路径
的角色做
向下运动
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