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
Door
Sigma KEE - eventLocated
eventLocated
appearance as argument number 1
(
documentation
eventLocated
ChineseLanguage
"(
eventLocated
?PROC ?OBJ) 的意思是整个
Process
?PROC 是位于
Object
?OBJ,也就是说所有 ?PROC 的
subProcess
是位于 ?OBJ。")
chinese_format.kif 2115-2116
(
documentation
eventLocated
EnglishLanguage
"(
eventLocated
?PROC ?OBJ) means that the entire
Process
?PROC is located on
Object
?OBJ, meaning that all
subProcess
of ?PROC is located on ?OBJ.")
Merge.kif 4124-4126
(
documentation
eventLocated
JapaneseLanguage
"(
eventLocated
?PROC ?OBJ) とは、
Process
?PROC 全体が
Object
?OBJ 上に配置され、?PROC のすべての
subProcess
が ?OBJ上に配置されるこ とを意味する。")
japanese_format.kif 767-769
(
instance
eventLocated
CaseRole
)
Merge.kif 4121-4121
eventLocated
是
格角色
的
instance
(
instance
eventLocated
TotalValuedRelation
)
Merge.kif 4122-4122
eventLocated
是
总值关系
的
instance
(
subrelation
eventLocated
eventPartlyLocated
)
Merge.kif 4120-4120
eventLocated
是
eventPartlyLocated
的
subrelation
appearance as argument number 2
(
format
ChineseLanguage
eventLocated
"%1 是
located
在 %2 ")
domainEnglishFormat.kif 3326-3326
(
format
ChineseTraditionalLanguage
eventLocated
"%1 是
located
在 %2 ")
domainEnglishFormat.kif 3325-3325
(
format
EnglishLanguage
eventLocated
"%1 is
located
at %2")
domainEnglishFormat.kif 3324-3324
(
termFormat
EnglishLanguage
eventLocated
"event located")
english_format.kif 1845-1845
antecedent
(=>
(
and
(
attribute
?X
CommunalAttribute
)
(
instance
?X
Table
)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
)
(
eventLocated
?E1 ?X))
(
modalAttribute
(
exists
(?GRP2 ?E2 ?X2)
(
and
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?GRP2
GroupOfPeople
)
(
eventLocated
?E2 ?X2)
(
meetsTemporally
(
WhenFn
?E1)
(
WhenFn
?E2))
(
equal
?X ?X2)))
Possibility
))
Dining.kif 1207-1224
如果
CommunalAttribute
是
客体
的
attribute
和
那个 客体
是
表
的
instance
和
过程
是
进食
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 施事体
是
一群人
的
instance
和
那个 过程
是
located
在
那个 客体
,
然后 有存在
实体
,
另一个 实体
, and 和
那个 客体
2 这样
那个 另外 实体
是
进食
的
instance
和
那个 实体
是
那个 另外 实体
的
agent
和
那个 施事体
不
equal
那个 实体
和
那个 实体
是
一群人
的
instance
和
那个 另外 实体
是
located
在
那个 客体
2 和
那个 过程
出现 的
time
接着
那个 另外 实体
出现 的
time
和
那个 客体
equal
那个 客体
2 的声明 has
可能性
的语气
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?BLOW
VolcanicEruption
)
(
eventLocated
?BLOW ?AREA))
(
not
(
attribute
?AREA
GeologicallyStable
)))
Geography.kif 1865-1870
如果
客体
是
地理区域
的
instance
和
过程
是
火山爆发
的
instance
和
那个 过程
是
located
在
那个 客体
,
然后
地质稳定
不 是
那个 客体
的
attribute
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?SHAKING
EarthTremor
)
(
eventLocated
?SHAKING ?AREA))
(
not
(
attribute
?AREA
GeologicallyStable
)))
Geography.kif 1872-1877
如果
客体
是
地理区域
的
instance
和
过程
是
地震
的
instance
和
那个 过程
是
located
在
那个 客体
,
然后
地质稳定
不 是
那个 客体
的
attribute
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
ClearWeather
)
(
eventLocated
?WEATHER ?AREA)
(
cloudCoverFraction
?AREA ?FRACTION))
(
lessThan
?FRACTION 0.3))
Weather.kif 876-882
如果
地区
是
地理区域
的
instance
和
过程
是
天气晴朗
的
instance
和
那个 过程
是
located
在
那个 地区
和
非负实数
那个 地区
,
然后
那个 非负实数
是
lessThan
0.3
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
ClearWeather
)
(
eventLocated
?WEATHER ?AREA))
(
exists
(?FRACTION)
(
and
(
cloudCoverFraction
?AREA ?FRACTION)
(
lessThan
?FRACTION 0.3))))
Weather.kif 866-874
如果
地区
是
地理区域
的
instance
和
过程
是
天气晴朗
的
instance
和
那个 过程
是
located
在
那个 地区
,
然后 有存在
非负实数
这样
那个 非负实数
那个 地区
和
那个 非负实数
是
lessThan
0.3
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
OvercastWeather
)
(
eventLocated
?WEATHER ?AREA)
(
cloudCoverFraction
?AREA ?FRACTION))
(
greaterThan
?FRACTION 0.7))
Weather.kif 927-933
如果
地区
是
地理区域
的
instance
和
过程
是
阴云密布的天气
的
instance
和
那个 过程
是
located
在
那个 地区
和
非负实数
那个 地区
,
然后
那个 非负实数
是
greaterThan
0.7
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
OvercastWeather
)
(
eventLocated
?WEATHER ?AREA))
(
exists
(?FRACTION)
(
and
(
cloudCoverFraction
?AREA ?FRACTION)
(
greaterThan
?FRACTION 0.7))))
Weather.kif 917-925
如果
地区
是
地理区域
的
instance
和
过程
是
阴云密布的天气
的
instance
和
那个 过程
是
located
在
那个 地区
,
然后 有存在
非负实数
这样
那个 非负实数
那个 地区
和
那个 非负实数
是
greaterThan
0.7
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
PartlyCloudyWeather
)
(
eventLocated
?WEATHER ?AREA)
(
cloudCoverFraction
?AREA ?FRACTION))
(
and
(
greaterThanOrEqualTo
?FRACTION 0.3)
(
lessThanOrEqualTo
?FRACTION 0.7)))
Weather.kif 901-909
如果
地区
是
地理区域
的
instance
和
过程
是
部分多云的天气
的
instance
和
那个 过程
是
located
在
那个 地区
和
非负实数
那个 地区
,
然后
那个 非负实数
是
greaterThanOrEqualTo
0.3 和
那个 非负实数
是
lessThanOrEqualTo
0.7
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
PartlyCloudyWeather
)
(
eventLocated
?WEATHER ?AREA))
(
exists
(?FRACTION)
(
and
(
cloudCoverFraction
?AREA ?FRACTION)
(
greaterThanOrEqualTo
?FRACTION 0.3)
(
lessThanOrEqualTo
?FRACTION 0.7))))
Weather.kif 890-899
如果
地区
是
地理区域
的
instance
和
过程
是
部分多云的天气
的
instance
和
那个 过程
是
located
在
那个 地区
,
然后 有存在
非负实数
这样
那个 非负实数
那个 地区
和
那个 非负实数
是
greaterThanOrEqualTo
0.3 和
那个 非负实数
是
lessThanOrEqualTo
0.7
(=>
(
and
(
instance
?AS
ArtSchool
)
(
instance
?P
EducationalProcess
)
(
eventLocated
?P ?AS))
(
exists
(?M ?ART)
(
and
(
instance
?M
Making
)
(
patient
?M ?ART)
(
instance
?ART
ArtWork
)
(
refers
?P ?M))))
Mid-level-ontology.kif 16793-16803
如果
客体
是
艺术学校
的
instance
和
过程
是
教育性过程
的
instance
和
那个 过程
是
located
在
那个 客体
,
然后 有存在
另一个 过程
和
实体
这样
那个 另外 过程
是
制作
的
instance
和
那个 实体
是
那个 另外 过程
的
patient
和
那个 实体
是
艺术品
的
instance
和
那个 过程
提到
那个 另外 过程
(=>
(
and
(
instance
?BP
BrakePedal
)
(
instance
?P
Pushing
)
(
instance
?V
Vehicle
)
(
destination
?P ?BP)
(
eventLocated
?P ?V)
(
part
?BP ?V))
(
hasPurpose
?BP
(
exists
(?FS ?F)
(
and
(
instance
?FS
WearingFrictionSurface
)
(
instance
?F
Friction
)
(
instrument
?F ?FS)
(
causes
?P ?F)))))
Cars.kif 693-707
如果
客体
是
BrakePedal
的
instance
和
过程
是
Pushing
的
instance
和
另一个 客体
是
车辆
的
instance
和
那个 过程
在
那个 客体
结束 和
那个 过程
是
located
在
那个 另外 客体
和
那个 客体
是
那个 另外 客体
的
part
,
然后
那个 客体
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
WearingFrictionSurface
的
instance
和
那个 另外 实体
是
摩擦
的
instance
和
那个 实体
是导致
那个 另外 实体
的
instrument
和
那个 过程
causes
那个 另外 实体
(=>
(
and
(
instance
?C
CateringService
)
(
agent
?C ?AGENT)
(
destination
?C ?CUST)
(
located
?AGENT ?LOC1)
(
customer
?CUST ?AGENT)
(
exists
(?S ?FOOD ?E)
(
and
(
instance
?S
Cooking
)
(
agent
?S ?AGENT)
(
result
?S ?FOOD)
(
patient
?C ?FOOD)
(
instance
?E
Eating
)
(
agent
?E ?CUST)
(
eventLocated
?E ?LOC2))))
(
not
(
equal
?LOC1 ?LOC2)))
Dining.kif 586-602
如果
过程
是
CateringService
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 过程
在
那个 过程
UST 结束 和
那个 施事体
是
located
在
客体
和
那个 施事体
是
那个 过程
UST 的
customer
和 有存在
另一个 过程
,
实体
, and 和
第三 过程
这样
那个 另外 过程
是
烹饪
的
instance
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 实体
是
那个 另外 过程
的
result
和
那个 实体
是
那个 过程
的
patient
和
那个 第三 过程
是
进食
的
instance
和
那个 过程
UST 是
那个 第三 过程
的
agent
和
那个 第三 过程
是
located
在
另一个 客体
,
然后
那个 客体
不
equal
那个 另外 客体
(=>
(
and
(
instance
?CS
CyclonicStorm
)
(
instance
?AS
AirStream
)
(
eventLocated
?CS ?AS))
(
shape
?AS
Cylinder
))
Weather.kif 556-561
如果
过程
是
气旋风暴
的
instance
和
客体
是
气流
的
instance
和
那个 过程
是
located
在
那个 客体
,
然后
那个 客体
是
圆筒
(=>
(
and
(
instance
?DESERTIFICATION
Desertification
)
(
eventLocated
?DESERTIFICATION ?AREA))
(
exists
(?A1 ?A2)
(
and
(
instance
?A1
ArableLand
)
(
instance
?A2
Desert
)
(
holdsDuring
(
BeginFn
(
WhenFn
?DESERTIFICATION))
(
overlapsSpatially
?AREA ?A1))
(
holdsDuring
(
EndFn
(
WhenFn
?DESERTIFICATION))
(
overlapsSpatially
?AREA ?A2)))))
Weather.kif 2475-2488
如果
过程
是
荒漠化
的
instance
和
那个 过程
是
located
在
客体
,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是
耕地
的
instance
和
那个 另外 实体
是
沙漠
的
instance
和
那个 客体
和
那个 实体
重叠 在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 客体
和
那个 另外 实体
重叠 在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?DRYSPELL
Drought
)
(
eventLocated
?DRYSPELL ?AREA))
(
not
(
exists
(?RAIN ?PLACE)
(
and
(
instance
?RAIN
Raining
)
(
instance
?PLACE
Region
)
(
eventLocated
?RAIN ?PLACE)
(
overlapsSpatially
?PLACE ?AREA)
(
overlapsTemporally
?RAIN ?DRYSPELL)))))
Weather.kif 2454-2465
如果
时距
是
干旱
的
instance
和
那个 时距
是
located
在
客体
,
然后 不存在
另一个 时距
和
另一个 客体
这样
那个 另外 时距
是
下雨
的
instance
和
那个 另外 客体
是
地区
的
instance
和
那个 另外 时距
是
located
在
那个 另外 客体
和
那个 另外 客体
和
那个 客体
重叠 和
那个 时距
时段 和
那个 另外 时距
重叠
(=>
(
and
(
instance
?DUST
DustStorm
)
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?DUST ?PLACE))
(
holdsDuring
(
WhenFn
?DUST)
(
modalAttribute
(
attribute
?PLACE
BadAirQuality
)
Likely
)))
Weather.kif 2583-2591
如果
过程
是
尘暴
的
instance
和
客体
是
地理区域
的
instance
和
那个 过程
是
located
在
那个 客体
,
然后
BadAirQuality
是
那个 客体
的
attribute
的声明 has
容易
的语气 在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
instance
?E
EngineCylinder
)
(
instance
?C
Crankcase
)
(
instance
?P
Piston
)
(
instance
?T
TwoStrokeTransfer
)
(
holdsDuring
?T
(
located
?P ?E))
(
equal
?E
(
HoleHostFn
?C))
(
eventLocated
?T ?E))
(
hasPurpose
?P
(
holdsDuring
?T
(
partiallyFills
?P ?C))))
Cars.kif 509-521
如果
客体
是
EngineCylinder
的
instance
和
洞
是
Crankcase
的
instance
和
物理
是
Piston
的
instance
和
过程
是
TwoStrokeTransfer
的
instance
和
那个 物理
是
located
在
那个 客体
在
那个 过程
holdsDuring
和
那个 客体
equal
洞
那个 洞
的主体 和
那个 过程
是
located
在
那个 客体
,
然后
那个 物理
的 目的 是
那个 物理
fills
了
那个 洞
的一部分 在
那个 过程
holdsDuring
(=>
(
and
(
instance
?E
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
instance
?P
Piston
)
(
instance
?T
TwoStrokeIntake
)
(
holdsDuring
?T
(
located
?P ?E))
(
equal
?E
(
HoleHostFn
?I))
(
eventLocated
?T ?E))
(
hasPurpose
?P
(
holdsDuring
?T
(
partiallyFills
?P ?I))))
Cars.kif 463-475
如果
客体
是
EngineCylinder
的
instance
和
洞
是
InternalCombustionChamber
的
instance
和
物理
是
Piston
的
instance
和
过程
是
TwoStrokeIntake
的
instance
和
那个 物理
是
located
在
那个 客体
在
那个 过程
holdsDuring
和
那个 客体
equal
洞
那个 洞
的主体 和
那个 过程
是
located
在
那个 客体
,
然后
那个 物理
的 目的 是
那个 物理
fills
了
那个 洞
的一部分 在
那个 过程
holdsDuring
(=>
(
and
(
instance
?EC
EngineChoke
)
(
holdsDuring
?FSC1
(
attribute
?EC
DeviceOn
))
(
holdsDuring
?FSC2
(
attribute
?EC
DeviceOff
))
(
instance
?C
EngineCylinder
)
(
capacity
?C ?M)
(
instance
?FSC1
FourStrokeCompression
)
(
instance
?FSC2
FourStrokeCompression
)
(
eventLocated
?FSC1 ?C)
(
eventLocated
?FSC2 ?C)
(
instance
?A1
Air
)
(
instance
?F1
Fuel
)
(
part
?A1 ?MIX1)
(
part
?F1 ?MIX1)
(
measure
?MIX1 ?M)
(
instance
?A2
Air
)
(
instance
?F2
Fuel
)
(
part
?A2 ?MIX2)
(
part
?F2 ?MIX2)
(
measure
?MIX2 ?M)
(
instance
?U
UnitOfMeasure
)
(
measure
?A1
(
MeasureFn
?A1M ?U))
(
measure
?A2
(
MeasureFn
?A2M ?U))
(
measure
?F1
(
MeasureFn
?F1M ?U))
(
measure
?F2
(
MeasureFn
?F2M ?U)))
(
greaterThan
(
DivisionFn
?A2M ?F2M)
(
DivisionFn
?A1M ?F1M)))
Cars.kif 1314-1348
如果
实体
是
EngineChoke
的
instance
和
设备上
是
那个 实体
的
attribute
在
过程
holdsDuring
和
设备关闭
是
那个 实体
的
attribute
在
另一个 过程
holdsDuring
和
自身连接物体
是
EngineCylinder
的
instance
和
恒量
是
那个 自身连接物体
的
capacity
和
那个 过程
是
FourStrokeCompression
的
instance
和
那个 另外 过程
是
FourStrokeCompression
的
instance
和
那个 过程
是
located
在
那个 自身连接物体
和
那个 另外 过程
是
located
在
那个 自身连接物体
和
客体
是
空气
的
instance
和
另一个 客体
是
汽油
的
instance
和
那个 客体
是
那个 恒量
IX1 的
part
和
那个 另外 客体
是
那个 恒量
IX1 的
part
和
那个 恒量
IX1 的
measure
是
那个 恒量
和
第四 客体
是
空气
的
instance
和
第五 客体
是
汽油
的
instance
和
那个 第四 客体
是
那个 恒量
IX2 的
part
和
那个 第五 客体
是
那个 恒量
IX2 的
part
和
那个 恒量
IX2 的
measure
是
那个 恒量
和
测量单位
是
测量单位
的
instance
和
那个 客体
的
measure
是
那个 客体
M
那个 测量单位
和
那个 第四 客体
的
measure
是
那个 第四 客体
M
那个 测量单位
和
那个 另外 客体
的
measure
是
那个 另外 客体
M
那个 测量单位
和
那个 第五 客体
的
measure
是
那个 第五 客体
M
那个 测量单位
,
然后
那个 第四 客体
M 和
那个 第五 客体
M 是
greaterThan
那个 客体
M 和
那个 另外 客体
M
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
eventLocated
?EC ?E)
(
instance
?U
UnitOfVolume
)
(
holdsDuring
(
WhenFn
?EC)
(
maxCylinderVolume
?E
(
MeasureFn
?V1 ?U))))
(
not
(
exists
(?V2 ?T)
(
and
(
during
?T
(
WhenFn
?EC))
(
holdsDuring
?T
(
measure
?CC
(
MeasureFn
?V2 ?U)))
(
greaterThan
?V2 ?V1)))))
Cars.kif 1881-1900
如果
过程
是
EngineCycle
的
instance
和
客体
是
内燃机
的
instance
和
另一个 客体
是
CombustionChamber
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
那个 过程
是
located
在
那个 客体
和
实体
是
UnitOfVolume
的
instance
和
maxCylinderVolume
那个 客体
and
实数
那个 实体
在
那个 过程
出现 的
time
holdsDuring
,
然后 不存在
另一个 实数
和
时距
这样
那个 时距
在
那个 过程
出现 的
time
时段内发生 和
那个 另外 客体
的
measure
是
那个 另外 实数
那个 实体
在
那个 时距
holdsDuring
和
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
eventLocated
?EC ?E)
(
instance
?U
UnitOfVolume
)
(
holdsDuring
(
WhenFn
?EC)
(
minCylinderVolume
?E
(
MeasureFn
?V1 ?U))))
(
not
(
exists
(?V2 ?T)
(
and
(
during
?T
(
WhenFn
?EC))
(
holdsDuring
?T
(
measure
?CC
(
MeasureFn
?V2 ?U)))
(
greaterThan
?V1 ?V2)))))
Cars.kif 1851-1870
如果
过程
是
EngineCycle
的
instance
和
客体
是
内燃机
的
instance
和
另一个 客体
是
CombustionChamber
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
那个 过程
是
located
在
那个 客体
和
实体
是
UnitOfVolume
的
instance
和
minCylinderVolume
那个 客体
and
实数
那个 实体
在
那个 过程
出现 的
time
holdsDuring
,
然后 不存在
另一个 实数
和
时距
这样
那个 时距
在
那个 过程
出现 的
time
时段内发生 和
那个 另外 客体
的
measure
是
那个 另外 实数
那个 实体
在
那个 时距
holdsDuring
和
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?P
Piston
)
(
instance
?U
UnitOfLength
)
(
part
?P ?E)
(
patient
?EC ?P)
(
eventLocated
?EC ?E)
(
pistonStroke
?E
(
MeasureFn
?LM ?U)))
(
not
(
exists
(?T1 ?T2 ?L1 ?L2 ?D)
(
and
(
during
?T1
(
WhenFn
?EC))
(
during
?T2
(
WhenFn
?EC))
(
holdsDuring
?T1
(
located
?P ?L1))
(
holdsDuring
?T2
(
located
?P ?L2))
(
distance
?L1 ?L2
(
MeasureFn
?D ?U))
(
greaterThan
?D ?LM)))))
Cars.kif 1926-1948
如果
过程
是
EngineCycle
的
instance
和
发动机
是
内燃机
的
instance
和
客体
是
Piston
的
instance
和
测量单位
是
UnitOfLength
的
instance
和
那个 客体
是
那个 发动机
的
part
和
那个 客体
是
那个 过程
的
patient
和
那个 过程
是
located
在
那个 发动机
和
pistonStroke
那个 发动机
and
实数
那个 测量单位
,
然后 不存在
时距
,
另一个 时距
,, ,
物理
,, ,
另一个 物理
, and 和
另一个 实数
这样
那个 时距
在
那个 过程
出现 的
time
时段内发生 和
那个 另外 时距
在
那个 过程
出现 的
time
时段内发生 和
那个 客体
是
located
在
那个 物理
在
那个 时距
holdsDuring
和
那个 客体
是
located
在
那个 另外 物理
在
那个 另外 时距
holdsDuring
和
那个 物理
和
那个 另外 物理
的
distance
是
那个 另外 实数
那个 测量单位
和
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
instance
?F
Flooding
)
(
eventLocated
?F ?P))
(
exists
(?L1 ?L2 ?U)
(
and
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
BeginFn
(
WhenFn
?F))
(
waterDepth
?P
(
MeasureFn
?L1 ?U)))
(
holdsDuring
(
EndFn
(
WhenFn
?F))
(
waterDepth
?P
(
MeasureFn
?L2 ?U)))
(
greaterThan
?L2 ?L1))))
Mid-level-ontology.kif 17612-17627
如果
过程
是
洪水
的
instance
和
那个 过程
是
located
在
客体
,
然后 有存在
实数
,
另一个 实数
, and 和
实体
这样
那个 实体
是
UnitOfLength
的
instance
和
那个 实数
那个 实体
是
那个 客体
的
water
深度 在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 另外 实数
那个 实体
是
那个 客体
的
water
深度 在
那个 过程
出现 的
time
的结束
holdsDuring
和
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
instance
?F
Flooding
)
(
instance
?L
LandArea
)
(
eventLocated
?F ?L)
(
instance
?T
TimePoint
)
(
before
?T
(
WhenFn
?F)))
(
modalAttribute
(
holdsDuring
?T
(
instance
?L
SubmergedLandArea
))
Unlikely
))
Weather.kif 1581-1591
如果
过程
是
洪水
的
instance
和
客体
是
土地面积
的
instance
和
那个 过程
是
located
在
那个 客体
和
时点
是
时点
的
instance
和
那个 时点
%n在
那个 过程
出现 的
time
before
发生,
然后
那个 客体
是
淹没的土地面积
的
instance
在
那个 时点
holdsDuring
的声明 has
较不可能
的语气
(=>
(
and
(
instance
?F
FourStrokeCombustion
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?F ?C))
(
exists
(?CO)
(
and
(
instance
?CO
Combustion
)
(
subProcess
?CO ?F))))
Cars.kif 207-217
如果
过程
是
FourStrokeCombustion
的
instance
和
客体
是
EngineCylinder
的
instance
和
洞
是
InternalCombustionChamber
的
instance
和
那个 客体
equal
洞
那个 洞
的主体 和
那个 过程
是
located
在
那个 客体
,
然后 有存在
那个 客体
O 这样
那个 客体
O 是
燃烧
的
instance
和
那个 客体
O%n是
那个 过程
的
subProcess
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(=>
(
almaMater
?PERSON ?SCHOOL)
(
exists
(?EV)
(
and
(
instance
?EV
EducationalProcess
)
(
destination
?EV ?PERSON)
(
eventLocated
?EV ?SCHOOL)
(
holdsDuring
(
WhenFn
?EV)
(
attribute
?PERSON
Student
)))))
Mid-level-ontology.kif 16879-16888
如果
人类
的
almaMater
是
中学后
,
然后 有存在
过程
这样
那个 过程
是
教育性过程
的
instance
和
那个 过程
在
那个 人类
结束 和
那个 过程
是
located
在
那个 中学后
和
学生
是
那个 人类
的
attribute
在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
attribute
?M
StudioRecording
)
(
instance
?M
Recording
))
(
exists
(?P ?S)
(
and
(
record
?M ?P)
(
eventLocated
?P ?S)
(
instance
?S
RecordingStudio
))))
Music.kif 392-400
如果
StudioRecording
是
有内用物体
的
attribute
和
那个 有内用物体
是
Recording
的
instance
,
然后 有存在
过程
和
客体
这样
那个 有内用物体
是个
那个 过程
的
record
和
那个 过程
是
located
在
那个 客体
和
那个 客体
是
RecordingStudio
的
instance
(=>
(
and
(
attribute
?X
CommunalAttribute
)
(
instance
?X
Table
)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
)
(
eventLocated
?E1 ?X))
(
modalAttribute
(
exists
(?GRP2 ?E2 ?X2)
(
and
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?GRP2
GroupOfPeople
)
(
eventLocated
?E2 ?X2)
(
meetsTemporally
(
WhenFn
?E1)
(
WhenFn
?E2))
(
equal
?X ?X2)))
Possibility
))
Dining.kif 1207-1224
如果
CommunalAttribute
是
客体
的
attribute
和
那个 客体
是
表
的
instance
和
过程
是
进食
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 施事体
是
一群人
的
instance
和
那个 过程
是
located
在
那个 客体
,
然后 有存在
实体
,
另一个 实体
, and 和
那个 客体
2 这样
那个 另外 实体
是
进食
的
instance
和
那个 实体
是
那个 另外 实体
的
agent
和
那个 施事体
不
equal
那个 实体
和
那个 实体
是
一群人
的
instance
和
那个 另外 实体
是
located
在
那个 客体
2 和
那个 过程
出现 的
time
接着
那个 另外 实体
出现 的
time
和
那个 客体
equal
那个 客体
2 的声明 has
可能性
的语气
(=>
(
and
(
attribute
?X
DeepSeaCoastalAndGreatLakesWaterTransportation
)
(
instance
?X
TransportationCompany
))
(
exists
(?SERVICE ?PLACE)
(
and
(
instance
?SERVICE
WaterTransportationService
)
(
serviceProvider
?SERVICE ?X)
(
eventLocated
?SERVICE ?PLACE)
(
instance
?PLACE
WaterArea
)
(
located
?X
NorthAmerica
))))
naics.kif 8120-8130
如果
深海沿岸和大湖泊水运
是
有认知的主事
的
attribute
和
那个 有认知的主事
是
运输公司
的
instance
,
然后 有存在
服务
和
客体
这样
那个 服务
是
WaterTransportationService
的
instance
和
那个 有认知的主事
在
那个 服务
中提供服务 和
那个 服务
是
located
在
那个 客体
和
那个 客体
是
水域
的
instance
和
那个 有认知的主事
是
located
在
北美
(=>
(
and
(
attribute
?X
Historical
)
(
instance
?X
City
))
(
exists
(?EV)
(
and
(
instance
?EV
Physical
)
(
attribute
?EV
Historical
)
(
eventLocated
?EV ?X))))
Mid-level-ontology.kif 26627-26635
如果
Historical
是
客体
的
attribute
和
那个 客体
是
城市
的
instance
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
物理
的
instance
和
Historical
是
那个 另外 客体
的
attribute
和
那个 另外 客体
是
located
在
那个 客体
(=>
(
and
(
attribute
?X
WheelchairAccessible
)
(
or
(
instance
?X
Building
)
(
instance
?X
Room
)))
(
modalAttribute
(
exists
(?MOTION ?WHEELCHAIR)
(
and
(
instance
?MOTION
Motion
)
(
instrument
?MOTION ?WHEELCHAIR)
(
instance
?WHEELCHAIR
Wheelchair
)
(
eventLocated
?MOTION ?X)))
Possibility
))
Mid-level-ontology.kif 26192-26204
如果
WheelchairAccessible
是
客体
的
attribute
和
那个 客体
是
建筑物
的
instance
或
那个 客体
是
房间
的
instance
,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是
运动
的
instance
和
那个 另外 实体
是导致
那个 实体
的
instrument
和
那个 另外 实体
是
Wheelchair
的
instance
和
那个 实体
是
located
在
那个 客体
的声明 has
可能性
的语气
(=>
(
and
(
instance
?BC
BoosterChair
)
(
instance
?H
HumanChild
))
(
hasPurposeForAgent
?BC
(
and
(
attribute
?H
Sitting
)
(
eventLocated
?H ?BC)) ?H))
Dining.kif 840-847
如果
物理
是
BoosterChair
的
instance
和
施事体
是
人类的孩子
的
instance
,
然后
那个 施事体
在
那个 物理
的 目的 是
坐在
是
那个 施事体
的
attribute
和
那个 施事体
是
located
在
那个 物理
(=>
(
and
(
instance
?C
Crankshaft
)
(
instance
?I
IntermittentCombustionEngine
)
(
part
?I ?C))
(
hasPurpose
?C
(
exists
(?E ?R)
(
and
(
instance
?E
Explosion
)
(
instance
?R
Rotating
)
(
patient
?R ?C)
(
eventLocated
?R ?I)
(
causes
?E ?R)))))
Cars.kif 349-361
如果
客体
是
Crankshaft
的
instance
和
另一个 客体
是
IntermittentCombustionEngine
的
instance
和
那个 另外 客体
是
那个 客体
的
part
,
然后
那个 客体
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
爆炸
的
instance
和
那个 另外 实体
是
旋转
的
instance
和
那个 客体
是
那个 另外 实体
的
patient
和
那个 另外 实体
是
located
在
那个 另外 客体
和
那个 实体
causes
那个 另外 实体
(=>
(
and
(
instance
?CRAFT
WaterVehicle
)
(
instance
?EVENT
Transportation
)
(
instrument
?EVENT ?CRAFT))
(
exists
(?WATER)
(
and
(
instance
?WATER
WaterArea
)
(
eventLocated
?EVENT ?WATER))))
Mid-level-ontology.kif 3491-3499
如果
客体
是
水车
的
instance
和
过程
是
运输
的
instance
和
那个 客体
是导致
那个 过程
的
instrument
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
水域
的
instance
和
那个 过程
是
located
在
那个 另外 客体
(=>
(
and
(
instance
?DRYSPELL
Drought
)
(
eventLocated
?DRYSPELL ?AREA))
(
not
(
exists
(?RAIN ?PLACE)
(
and
(
instance
?RAIN
Raining
)
(
instance
?PLACE
Region
)
(
eventLocated
?RAIN ?PLACE)
(
overlapsSpatially
?PLACE ?AREA)
(
overlapsTemporally
?RAIN ?DRYSPELL)))))
Weather.kif 2454-2465
如果
时距
是
干旱
的
instance
和
那个 时距
是
located
在
客体
,
然后 不存在
另一个 时距
和
另一个 客体
这样
那个 另外 时距
是
下雨
的
instance
和
那个 另外 客体
是
地区
的
instance
和
那个 另外 时距
是
located
在
那个 另外 客体
和
那个 另外 客体
和
那个 客体
重叠 和
那个 时距
时段 和
那个 另外 时距
重叠
(=>
(
and
(
instance
?DUSTSTORM
DustStorm
)
(
instance
?WIND
Wind
)
(
subProcess
?DUSTSTORM ?WIND))
(
exists
(?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG)
(
and
(
instance
?A1
LandArea
)
(
eventLocated
?WIND ?A1)
(
surfaceWindSpeed
?A1
(
MeasureFn
?STRONG
KnotUnitOfSpeed
))
(
greaterThan
?STRONG 30.0)
(
instance
?TRANSLOCATE
Translocation
)
(
subProcess
?TRANSLOCATE ?DUSTSTORM)
(
objectTransferred
?TRANSLOCATE ?PM)
(
objectTransferred
?TRANSLOCATE ?SAND)
(
instance
?PM
ParticulateMatter
)
(
instance
?SAND
Sand
)
(
instance
?A2
LandArea
)
(
destination
?TRANSLOCATE ?A2)
(
not
(
overlapsSpatially
?A1 ?A2)))))
Weather.kif 1259-1280
如果
过程
是
尘暴
的
instance
和
另一个 过程
是
风
的
instance
和
那个 过程
%n是
那个 另外 过程
的
subProcess
,
然后 有存在
转移
,
客体
,, ,
另一个 客体
,, ,
第三 客体
,, ,
第四 客体
, and 和
实数
这样
那个 第三 客体
是
土地面积
的
instance
和
那个 另外 过程
是
located
在
那个 第三 客体
和
那个 实数
结速度单位
是
那个 第三 客体
的
surface
风速 和
那个 实数
是
greaterThan
30.0 和
那个 转移
是
易位
的
instance
和
那个 转移
%n是
那个 过程
的
subProcess
和
objectTransferred
那个 转移
and
那个 客体
和
objectTransferred
那个 转移
and
那个 另外 客体
和
那个 客体
是
悬浮颗粒
的
instance
和
那个 另外 客体
是
砂
的
instance
和
那个 第四 客体
是
土地面积
的
instance
和
那个 转移
在
那个 第四 客体
结束 和
那个 第三 客体
和
那个 第四 客体
不 重叠
(=>
(
and
(
instance
?E
Exhaust
)
(
material
Fuel
?E)
(
instance
?T
Transfer
)
(
instance
?ENG
Engine
)
(
origin
?T ?ENG)
(
instance
?CC
CatalyticConverter
)
(
destination
?T ?CC)
(
objectTransferred
?T ?E))
(
hasPurpose
?CC
(
exists
(?C)
(
and
(
instance
?C
Combustion
)
(
instrument
?C ?CC)
(
patient
?C ?E)
(
eventLocated
?C ?CC)))))
Cars.kif 1723-1739
如果
躯体性物体
是
Exhaust
的
instance
和
汽油
是
那个 躯体性物体
的材料 和
转移
是
转移
的
instance
和
那个 躯体性物体
NG 是
发动机
的
instance
和
那个 躯体性物体
NG 是
那个 转移
的源头 和
物理
是
CatalyticConverter
的
instance
和
那个 转移
在
那个 物理
结束 和
objectTransferred
那个 转移
and
那个 躯体性物体
,
然后
那个 物理
的 目的 是 有存在
实体
这样
那个 实体
是
燃烧
的
instance
和
那个 物理
是导致
那个 实体
的
instrument
和
那个 躯体性物体
是
那个 实体
的
patient
和
那个 实体
是
located
在
那个 物理
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?O)
(
agent
?EV ?A))
(
exists
(?M ?MA)
(
and
(
instance
?M
Maintaining
)
(
eventLocated
?M ?O)
(
subProcess
?M ?EV)
(
or
(
subOrganization
?MA ?A)
(
member
?MA ?A)
(
equal
?MA ?A))
(
agent
?M ?MA))))
MilitaryProcesses.kif 2624-2638
如果
过程
是
疏散
的
instance
和
客体
是
那个 过程
的源头 和
机构
是
那个 过程
的
agent
,
然后 有存在
另一个 过程
和
那个 另外 过程
A 这样
那个 另外 过程
是
维护
的
instance
和
那个 另外 过程
是
located
在
那个 客体
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 另外 过程
A 是
那个 机构
Organization
的一部分 或
那个 另外 过程
A 是
那个 机构
的
member
或
那个 另外 过程
A
equal
那个 机构
和
那个 另外 过程
A 是
那个 另外 过程
的
agent
(=>
(
and
(
instance
?G
Garden
)
(
plantInArea
Plant
?G))
(
hasPurpose
?G
(
exists
(?R)
(
and
(
instance
?R
RecreationOrExercise
)
(
eventLocated
?R ?G)))))
Mid-level-ontology.kif 8181-8189
如果
耕地面积
是
园林
的
instance
和
栽种于
植物
and
那个 耕地面积
,
然后
那个 耕地面积
的 目的 是 有存在
实体
这样
那个 实体
是
娱乐或锻炼
的
instance
和
那个 实体
是
located
在
那个 耕地面积
(=>
(
and
(
instance
?G
Gene
)
(
located
?G ?C)
(
instance
?C
Cell
))
(
exists
(?B ?N ?R)
(
and
(
instance
?B
BiologicalProcess
)
(
eventLocated
?B ?C)
(
origin
?B ?G)
(
result
?B ?N)
(
instance
?N
Nucleotide
)
(
part
?N ?R)
(
instance
?R
RNAMolecule
)
(
located
?R ?C))))
VirusProteinAndCellPart.kif 654-668
如果
客体
是
Gene
的
instance
和
那个 客体
是
located
在
另一个 客体
和
那个 另外 客体
是
细胞
的
instance
,
然后 有存在
过程
,
第三 客体
, and 和
第四 客体
这样
那个 过程
是
生物过程
的
instance
和
那个 过程
是
located
在
那个 另外 客体
和
那个 客体
是
那个 过程
的源头 和
那个 第三 客体
是
那个 过程
的
result
和
那个 第三 客体
是
Nucleotide
的
instance
和
那个 第三 客体
是
那个 第四 客体
的
part
和
那个 第四 客体
是
RNA分子
的
instance
和
那个 第四 客体
是
located
在
那个 另外 客体
(=>
(
and
(
instance
?HS
HeavySurf
)
(
instance
?PLACE
WaterArea
)
(
eventLocated
?HS ?PLACE))
(
exists
(?SWIM ?A)
(
and
(
instance
?SWIM
Swimming
)
(
instance
?A
Human
)
(
agent
?SWIM ?A)
(
eventLocated
?SWIM ?PLACE)
(
holdsDuring
(
WhenFn
?HS)
(
hazardous
?HS ?A)))))
Weather.kif 1562-1575
如果
过程
是
高激浪
的
instance
和
客体
是
水域
的
instance
和
那个 过程
是
located
在
那个 客体
,
然后 有存在
另一个 过程
和
施事体
这样
那个 另外 过程
是
游泳
的
instance
和
那个 施事体
是
人类
的
instance
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 另外 过程
是
located
在
那个 客体
和
危险
那个 过程
and
那个 施事体
在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
MiscellaneousStoreRetailers
))
(
exists
(?EV ?MEM ?THING ?ST ?P)
(
and
(
member
?MEM ?ORG)
(
agent
?EV ?P)
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
instance
?ST
RetailStore
)
(
eventLocated
?EV ?ST)
(
instance
?THING
Object
)
(
patient
?EV ?THING))))
naics.kif 7752-7765
如果
群体
是
机构
的
instance
和
杂货店零售商
是
那个 群体
的
attribute
,
然后 有存在
过程
,
物理
,, ,
实体
,, ,
客体
, and 和
施事体
这样
那个 物理
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和
那个 过程
是
出售
的
instance
和
那个 施事体
是
人类
的
instance
和
那个 客体
是
零售店
的
instance
和
那个 过程
是
located
在
那个 客体
和
那个 实体
是
客体
的
instance
和
那个 实体
是
那个 过程
的
patient
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
NonstoreRetailers
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
instance
?THING
Object
)
(
not
(
eventLocated
?EV
RetailStore
))
(
destination
?EV ?P)
(
patient
?EV ?THING))))))
naics.kif 7877-7893
如果
群体
是
机构
的
instance
和
非商店零售商
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
实体
和
另一个 实体
这样
那个 施事体
是
出售
的
instance
和
那个 另外 实体
是
人类
的
instance
和
那个 实体
是
客体
的
instance
和 不
那个 施事体
是
located
在
零售店
和
那个 施事体
在
那个 另外 实体
结束 和
那个 实体
是
那个 施事体
的
patient
(=>
(
and
(
instance
?P
ForestProduct
)
(
instance
?M
Manufacture
)
(
result
?M ?P)
(
patient
?M ?X)
(
instance
?X
Organism
))
(
exists
(?A ?F)
(
and
(
instance
?A
Agriculture
)
(
result
?A ?X)
(
eventLocated
?A ?F)
(
instance
?F
Forest
))))
Economy.kif 5210-5222
如果
实体
是
ForestProduct
的
instance
和
过程
是
制造
的
instance
和
那个 实体
是
那个 过程
的
result
和
另一个 实体
是
那个 过程
的
patient
和
那个 另外 实体
是
生物
的
instance
,
然后 有存在
另一个 过程
和
客体
这样
那个 另外 过程
是
农业
的
instance
和
那个 另外 实体
是
那个 另外 过程
的
result
和
那个 另外 过程
是
located
在
那个 客体
和
那个 客体
是
森林
的
instance
(=>
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC)
(
subProcess
?SUB ?PROC))
(
eventLocated
?SUB ?LOC))
Mid-level-ontology.kif 23558-23563
如果
过程
是
过程
的
instance
和
那个 过程
是
located
在
客体
和
另一个 过程
%n是
那个 过程
的
subProcess
,
然后
那个 另外 过程
是
located
在
那个 客体
(=>
(
and
(
instance
?REST
Restaurant
)
(
instance
?DR
DiningRoom
)
(
attribute
?DR
PrivateAttribute
)
(
possesses
?REST ?DR)
(
customer
?GRP1 ?REST)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
))
(
modalAttribute
(
not
(
exists
(?GRP2 ?E2)
(
and
(
customer
?GRP2 ?REST)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
holdsDuring
(
WhenFn
?E1)
(
eventLocated
?E2 ?DR)))))
Likely
))
Dining.kif 1227-1246
如果
施事体
是
餐厅
的
instance
和
客体
是
饭厅
的
instance
和
PrivateAttribute
是
那个 客体
的
attribute
和
那个 施事体
possesses
那个 客体
和
那个 施事体
是
有认知的主事
的
customer
和
过程
是
进食
的
instance
和
那个 有认知的主事
是
那个 过程
的
agent
和
那个 有认知的主事
是
一群人
的
instance
,
然后 不存在
实体
和
另一个 实体
这样
那个 施事体
是
那个 实体
的
customer
和
那个 有认知的主事
不
equal
那个 实体
和
那个 另外 实体
是
进食
的
instance
和
那个 实体
是
那个 另外 实体
的
agent
和
那个 另外 实体
是
located
在
那个 客体
在
那个 过程
出现 的
time
holdsDuring
的声明 has
容易
的语气
(=>
(
and
(
instance
?SHOCK
Aftershock
)
(
eventLocated
?SHOCK ?PLACE))
(
exists
(?TREMOR)
(
and
(
instance
?TREMOR
EarthTremor
)
(
eventLocated
?TREMOR ?PLACE)
(
before
(
WhenFn
?TREMOR)
(
WhenFn
?SHOCK)))))
Geography.kif 2328-2338
如果
过程
是
余震
的
instance
和
那个 过程
是
located
在
客体
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
地震
的
instance
和
那个 另外 过程
是
located
在
那个 客体
和
那个 另外 过程
出现 的
time
%n在
那个 过程
出现 的
time
before
发生
(=>
(
and
(
instance
?T
Ticket
)
(
possesses
?T ?CUST)
(
issuedBy
?T ?ORG)
(
attribute
?ORG
AmusementGamblingAndRecreationIndustries
)
(
located
?ORG ?LOC))
(
confersNorm
?ORG
(
exists
(?REC)
(
and
(
instance
?REC
RecreationOrExercise
)
(
experiencer
?REC ?CUST)
(
eventLocated
?REC ?LOC)))
Permission
))
naics.kif 11456-11468
如果
施事体
是
票
的
instance
和
那个 施事体
possesses
客体
和
有认知的主事
是由
那个 施事体
的
issued
和
娱乐赌博和娱乐业
是
那个 有认知的主事
的
attribute
和
那个 有认知的主事
是
located
在
另一个 客体
,
然后
那个 有认知的主事
confers
规范 有存在
实体
这样
那个 实体
是
娱乐或锻炼
的
instance
和
那个 客体
经历了
那个 实体
和
那个 实体
是
located
在
那个 另外 客体
对于
允许
(=>
(
and
(
instance
?T
Tornado
)
(
instance
?R
Rotating
)
(
instance
?A
Air
)
(
instance
?TRAN
Translocation
)
(
subProcess
?R ?T)
(
subProcess
?TRAN ?R)
(
patient
?TRAN ?A)
(
direction
?TRAN
Horizontal
))
(
exists
(?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE)
(
and
(
instance
?G
GeographicArea
)
(
eventLocated
?T ?G)
(
part
?FUNNEL ?A)
(
attribute
?FUNNEL
ConeSegment
)
(
top
?TOP ?FUNNEL)
(
bottom
?BOTTOM ?FUNNEL)
(
instance
?C
Cloud
)
(
bottom
?BASE ?C)
(
meetsSpatially
?TOP ?BASE)
(
meetsSpatially
?BOTTOM ?G))))
Weather.kif 1634-1655
如果
过程
是
龙卷风
的
instance
和
另一个 过程
是
旋转
的
instance
和
客体
是
空气
的
instance
和
那个 过程
RAN 是
易位
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 过程
RAN%n是
那个 另外 过程
的
subProcess
和
那个 客体
是
那个 过程
RAN 的
patient
和
那个 过程
RAN 过程的实体 向
横
,
然后 有存在
另一个 客体
,
自身连接物体
,, ,
那个 过程
OP,, ,
第三 自身连接物体
,, ,
第四 自身连接物体
, and 和
第五 自身连接物体
这样
那个 另外 客体
是
地理区域
的
instance
和
那个 过程
是
located
在
那个 另外 客体
和
那个 自身连接物体
是
那个 客体
的
part
和
ConeSegment
是
那个 自身连接物体
的
attribute
和
那个 过程
OP 是
那个 自身连接物体
的
top
和
那个 自身连接物体
的
bottom
是
那个 第三 自身连接物体
和
那个 第四 自身连接物体
是
云
的
instance
和
那个 第四 自身连接物体
的
bottom
是
那个 第五 自身连接物体
和
那个 过程
OP 接上
那个 第五 自身连接物体
和
那个 第三 自身连接物体
接上
那个 另外 客体
(=>
(
and
(
instance
?TSC
TwoStrokeCompression
)
(
eventLocated
?TSC ?E)
(
instance
?E
TwoStrokeEngine
))
(
exists
(?C)
(
and
(
instance
?C
Explosion
)
(
during
?C ?TSC)
(
eventLocated
?C ?E))))
Cars.kif 491-500
如果
时距
是
TwoStrokeCompression
的
instance
和
那个 时距
是
located
在
客体
和
那个 客体
是
TwoStrokeEngine
的
instance
,
然后 有存在
另一个 时距
这样
那个 另外 时距
是
爆炸
的
instance
和
那个 另外 时距
在
那个 时距
时段内发生 和
那个 另外 时距
是
located
在
那个 客体
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