Likely
(容易)
(=>
(
and
(
instance
?DUST
DustStorm
)
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?DUST ?PLACE))
(
holdsDuring
(
WhenFn
?DUST)
(
modalAttribute
(
attribute
?PLACE
BadAirQuality
)
Likely
)))
Weather.kif 2600-2608
如果
过程
是
尘暴
的
instance
和
客体
是
地理区域
的
instance
和
那个 过程
是
located
在
那个 客体
,
然后
BadAirQuality
是
那个 客体
的
attribute
的声明 has
容易
的语气 在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
instance
?EKG
Electrocardiogram
)
(
attribute
?EKG
EKGAbnormal
)
(
refers
?EKG ?H)
(
part
?H ?P)
(
instance
?H
Heart
))
(
modalAttribute
(
attribute
?P
(
ImpairedBodyPartFn
Heart
))
Likely
))
Medicine.kif 1882-1891
如果
客体
是
Electrocardiogram
的
instance
和
EKGAbnormal
是
那个 客体
的
attribute
和
那个 客体
提到
另一个 客体
和
那个 另外 客体
是
第三 客体
的
part
和
那个 另外 客体
是
心
的
instance
,
然后
ImpairedBodyPartFn
心
是
那个 第三 客体
的
attribute
的声明 has
容易
的语气
(=>
(
and
(
instance
?EKG
Electrocardiogram
)
(
attribute
?EKG
EKGNormal
)
(
refers
?EKG ?H)
(
part
?H ?P)
(
instance
?H
Heart
))
(
modalAttribute
(
not
(
attribute
?P
(
ImpairedBodyPartFn
Heart
)))
Likely
))
Medicine.kif 1865-1875
如果
客体
是
Electrocardiogram
的
instance
和
EKGNormal
是
那个 客体
的
attribute
和
那个 客体
提到
另一个 客体
和
那个 另外 客体
是
第三 客体
的
part
和
那个 另外 客体
是
心
的
instance
,
然后
ImpairedBodyPartFn
心
不 是
那个 第三 客体
的
attribute
的声明 has
容易
的语气
(=>
(
and
(
instance
?EVP
Process
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?EXP
Experimenting
)
(
treatedUser
?AGENT ?EXP)
(
experimentalVariableProcess
?EXP ?EVP)
(
experiencer
?PROC ?AGENT)
(
experiencer
?EVP ?AGENT)
(
exclusiveEvent
?EXP ?PROC))
(
exists
(?EXPERIMENTER)
(
and
(
instance
?EXPERIMENTER
AutonomousAgent
)
(
experimenter
?EXP ?EXPERIMENTER)
(
believes
?EXPERIMENTER
(
modalAttribute
(
causes
?EVP ?PROC)
Likely
)))))
UXExperimentalTerms.kif 4357-4374
如果
过程
是
过程
的
instance
和
人类
是
施事体
的
instance
和
试验
是
试验
的
instance
和
那个 人类
是个
treated
used
在
那个 试验
和
那个 过程
在
那个 试验
的
process
和
那个 人类
经历了
另一个 过程
和
那个 人类
经历了
那个 过程
和
那个 试验
causes
那个 另外 过程
,
然后 有存在
那个 试验
ERIMENTER 这样
那个 试验
ERIMENTER 是
施事体
的
instance
和
那个 试验
ERIMENTER 是在
那个 试验
的
experimenter
和
那个 试验
ERIMENTER
believes
那个 过程
causes
那个 另外 过程
的声明 has
容易
的语气
(=>
(
and
(
instance
?H
Hotline
)
(
telephoneNumber
?H ?O)
(
instance
?O
Organization
))
(
hasPurpose
?H
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?O)
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
Communication
)
(
instrument
?C ?H)
(
equal
(
BeginFn
(
WhenFn
?C))
(
BeginFn
(
ImmediateFutureFn
(
WhenFn
?T))))))
Likely
)))))
Mid-level-ontology.kif 25093-25114
如果
TelecomNumber
是
Hotline
的
instance
和
那个 TelecomNumber
是
施事体
的
telephone
number
和
那个 施事体
是
机构
的
instance
,
然后
那个 TelecomNumber
的 目的 是 有存在
实体
这样
那个 实体
是
致电
的
instance
和
那个 实体
在
那个 施事体
结束 和 有存在
另一个 实体
这样
那个 另外 实体
是
沟通
的
instance
和
那个 TelecomNumber
是导致
那个 另外 实体
的
instrument
和
那个 另外 实体
出现 的
time
的开始
equal
紧接
那个 实体
出现 的
time
after
的开始 的声明 has
容易
的语气
(=>
(
and
(
instance
?HAZE
AtmosphericHazing
)
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?HAZE ?PLACE))
(
holdsDuring
(
WhenFn
?HAZE)
(
modalAttribute
(
attribute
?PLACE
BadAirQuality
)
Likely
)))
Weather.kif 2590-2598
如果
过程
是
阴霾
的
instance
和
客体
是
地理区域
的
instance
和
那个 过程
是
located
在
那个 客体
,
然后
BadAirQuality
是
那个 客体
的
attribute
的声明 has
容易
的语气 在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
instance
?I
Impacting
)
(
patient
?I ?H)
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
(
ImpairedBodyPartFn
Brain
))))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
Concussion
))
Likely
))
Medicine.kif 1328-1340
如果
过程
是
碰撞
的
instance
和
实体
是
那个 过程
的
patient
和
ImpairedBodyPartFn
脑
是
那个 实体
的
attribute
在 紧接
那个 过程
after
holdsDuring
,
然后
Concussion
是
那个 实体
的
attribute
在 紧接
那个 过程
after
holdsDuring
的声明 has
容易
的语气
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?D)
(
instance
?D ?DC)
(
pathologicSideEffect
?DC ?DIS))
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?DIS)
(
experiencer
?H ?P)))
Likely
))
WMD.kif 1563-1575
如果
转移
是
消化
的
instance
和
施事体
经历了
那个 转移
和
objectTransferred
那个 转移
and
客体
和
那个 客体
是
那个 客体
C 的
instance
和
pathologicSideEffect
那个 客体
C and
那个 客体
IS,
然后 有存在
实体
这样
那个 实体
是
那个 客体
IS 的
instance
和
那个 实体
经历了
那个 施事体
的声明 has
容易
的语气
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?D)
(
instance
?D ?DC)
(
sideEffect
?DC ?DIS))
(
modalAttribute
(
attribute
?H ?DIS)
Likely
))
WMD.kif 1545-1554
如果
转移
是
消化
的
instance
和
施事体
经历了
那个 转移
和
objectTransferred
那个 转移
and
客体
和
那个 客体
是
那个 客体
C 的
instance
和
那个 客体
IS 是服用
那个 客体
C 的
side
effect
,
然后
那个 客体
IS 是
那个 施事体
的
attribute
的声明 has
容易
的语气
(=>
(
and
(
instance
?I
Ingesting
)
(
objectTransferred
?I ?H)
(
instance
?H
Hallucinogen
)
(
destination
?I ?P))
(
modalAttribute
(
exists
(?HAL)
(
and
(
instance
?HAL
Hallucination
)
(
experiencer
?HAL ?P)))
Likely
))
TransnationalIssues.kif 88-99
如果
转移
是
消化
的
instance
和
objectTransferred
那个 转移
and
客体
和
那个 客体
是
迷幻剂
的
instance
和
那个 转移
在
实体
结束,
然后 有存在
那个 客体
AL 这样
那个 客体
AL 是
Hallucination
的
instance
和
那个 实体
经历了
那个 客体
AL 的声明 has
容易
的语气
(=>
(
and
(
instance
?I
Injecting
)
(
instance
?A
Adalimumab
)
(
objectTransferred
?I ?A)
(
located
?I ?BP)
(
instance
?BP
BodyPart
)
(
destination
?I ?H))
(
modalAttribute
(
exists
(?T)
(
and
(
holdsDuring
?T
(
attribute
?H
(
PainFn
?BP)))
(
during
?T
(
FutureFn
(
WhenFn
?I)))))
Likely
))
Medicine.kif 3628-3644
如果
转移
是
注射
的
instance
和
客体
是
Adalimumab
的
instance
和
objectTransferred
那个 转移
and
那个 客体
和
那个 转移
是
located
在
另一个 客体
和
那个 另外 客体
是
身体部位
的
instance
和
那个 转移
在
实体
结束,
然后 有存在
另一个 实体
这样
PainFn
那个 另外 客体
是
那个 实体
的
attribute
在
那个 另外 实体
holdsDuring
和
那个 另外 实体
在
那个 转移
出现 的
time
之后 时段内发生 的声明 has
容易
的语气
(=>
(
and
(
instance
?I
Intestine
)
(
instance
?A
Animal
)
(
part
?I ?A))
(
modalAttribute
(
exists
(?E)
(
and
(
instance
?E
EscherichiaColi
)
(
contains
?I ?E)))
Likely
))
Medicine.kif 5490-5500
如果
客体
是
肠
的
instance
和
另一个 客体
是
动物
的
instance
和
那个 客体
是
那个 另外 客体
的
part
,
然后 有存在
实体
这样
那个 实体
是
EscherichiaColi
的
instance
和
那个 客体
contains
那个 实体
的声明 has
容易
的语气
(=>
(
and
(
instance
?L
LeafSpring
)
(
part
?L ?RV)
(
instance
?RV
RoadVehicle
))
(
modalAttribute
(
exists
(?L2)
(
and
(
instance
?L2
LeafSpring
)
(
part
?L2 ?RV)
(
not
(
equal
?L ?L2))
(
meetsSpatially
?L ?L2)))
Likely
))
Cars.kif 902-915
如果
客体
是
LeafSpring
的
instance
和
那个 客体
是
另一个 客体
的
part
和
那个 另外 客体
是
公路车辆
的
instance
,
然后 有存在
那个 客体
2 这样
那个 客体
2 是
LeafSpring
的
instance
和
那个 客体
2 是
那个 另外 客体
的
part
和
那个 客体
不
equal
那个 客体
2 和
那个 客体
接上
那个 客体
2 的声明 has
容易
的语气
(=>
(
and
(
instance
?L
Lupus
)
(
experiencer
?L ?H))
(
modalAttribute
(
exists
(?SR)
(
and
(
instance
?SR
SkinRash
)
(
experiencer
?SR ?H)))
Likely
))
Medicine.kif 2265-2274
如果
过程
是
Lupus
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
实体
这样
那个 实体
是
SkinRash
的
instance
和
那个 施事体
经历了
那个 实体
的声明 has
容易
的语气
(=>
(
and
(
instance
?P
CeliacDisease
)
(
experiencer
?P ?H1)
(
instance
?SI
SmallIntestine
)
(
part
?SI ?H1))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Diarrhoea
)
(
experiencer
?D ?H1)
(
causes
?P ?D)))
Likely
))
Medicine.kif 2735-2747
如果
过程
是
CeliacDisease
的
instance
和
施事体
经历了
那个 过程
和
客体
是
SmallIntestine
的
instance
和
那个 客体
是
那个 施事体
的
part
,
然后 有存在
实体
这样
那个 实体
是
Diarrhoea
的
instance
和
那个 施事体
经历了
那个 实体
和
那个 过程
causes
那个 实体
的声明 has
容易
的语气
(=>
(
and
(
instance
?P
CeliacDisease
)
(
experiencer
?P ?H1)
(
instance
?SI
SmallIntestine
)
(
part
?SI ?H1))
(
modalAttribute
(
located
?P ?SI)
Likely
))
Medicine.kif 2725-2733
如果
过程
是
CeliacDisease
的
instance
和
施事体
经历了
那个 过程
和
客体
是
SmallIntestine
的
instance
和
那个 客体
是
那个 施事体
的
part
,
然后
那个 过程
是
located
在
那个 客体
的声明 has
容易
的语气
(=>
(
and
(
instance
?POLICY
DailyHousekeepingPolicy
)
(
policyOwner
?AGENT ?POLICY))
(
modalAttribute
(
exists
(?GUEST ?ROOM ?STAY)
(
and
(
guest
?GUEST ?AGENT)
(
stays
?GUEST ?ROOM)
(
equal
?STAY
(
WhenFn
(
stays
?GUEST ?ROOM)))
(
holdsDuring
?STAY
(
forall
(?DAY)
(=>
(
and
(
instance
?DAY
Day
)
(
during
?DAY ?STAY))
(
exists
(?RC)
(
and
(
instance
?RC
RoomCleaningService
)
(
patient
?RC ?ROOM)
(
during
?RC ?DAY))))))))
Likely
))
Hotel.kif 2654-2674
如果
Policy
是
DailyHousekeepingPolicy
的
instance
和
机构
enacts
policy
那个 Policy
,
然后 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是在
那个 机构
的
guest
和
那个 实体
stays
在
那个 另外 实体
和
那个 第三 实体
equal
那个 实体
stays
在
那个 另外 实体
出现 的
time
和 对所有
第四 实体
如果
那个 第四 实体
是
日
的
instance
和
那个 第四 实体
在
那个 第三 实体
时段内发生,
然后 有存在
第五 实体
这样
那个 第五 实体
是
RoomCleaningService
的
instance
和
那个 另外 实体
是
那个 第五 实体
的
patient
和
那个 第五 实体
在
那个 第四 实体
时段内发生
在
那个 第三 实体
holdsDuring
的声明 has
容易
的语气
(=>
(
and
(
instance
?POLICY
NoHousekeepingPolicy
)
(
policyOwner
?AGENT ?POLICY)
(
attribute
?AGENT
TravelerAccommodation
))
(
modalAttribute
(
exists
(?GUEST ?ROOM)
(
and
(
guest
?GUEST ?AGENT)
(
holdsDuring
(
WhenFn
(
stays
?GUEST ?ROOM))
(
not
(
exists
(?CLEAN)
(
and
(
instance
?CLEAN
RoomCleaningService
)
(
patient
?CLEAN ?ROOM)))))))
Likely
))
Hotel.kif 2681-2697
如果
Policy
是
NoHousekeepingPolicy
的
instance
和
机构
enacts
policy
那个 Policy
和
旅客住宿
是
那个 机构
的
attribute
,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是在
那个 机构
的
guest
和 不存在
第三 实体
这样
那个 第三 实体
是
RoomCleaningService
的
instance
和
那个 另外 实体
是
那个 第三 实体
的
patient
在
那个 实体
stays
在
那个 另外 实体
出现 的
time
holdsDuring
的声明 has
容易
的语气
(=>
(
and
(
instance
?POLICY
WithHousekeepingPolicy
)
(
policyOwner
?AGENT ?POLICY)
(
attribute
?AGENT
TravelerAccommodation
))
(
modalAttribute
(
exists
(?GUEST ?ROOM)
(
and
(
guest
?GUEST ?AGENT)
(
holdsDuring
(
WhenFn
(
stays
?GUEST ?ROOM))
(
exists
(?CLEAN)
(
and
(
instance
?CLEAN
RoomCleaningService
)
(
patient
?CLEAN ?ROOM))))))
Likely
))
Hotel.kif 2704-2719
如果
Policy
是
WithHousekeepingPolicy
的
instance
和
机构
enacts
policy
那个 Policy
和
旅客住宿
是
那个 机构
的
attribute
,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是在
那个 机构
的
guest
和 有存在
第三 实体
这样
那个 第三 实体
是
RoomCleaningService
的
instance
和
那个 另外 实体
是
那个 第三 实体
的
patient
在
那个 实体
stays
在
那个 另外 实体
出现 的
time
holdsDuring
的声明 has
容易
的语气
(=>
(
and
(
instance
?PV
PhysicalViolence
)
(
agent
?PV ?A))
(
modalAttribute
(
holdsDuring
(
WhenFn
?PV)
(
attribute
?A
Anger
))
Likely
))
emotion.kif 1646-1654
如果
过程
是
PhysicalViolence
的
instance
和
施事体
是
那个 过程
的
agent
,
然后
愤怒
是
那个 施事体
的
attribute
在
那个 过程
出现 的
time
holdsDuring
的声明 has
容易
的语气
(=>
(
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
?S
Laughing
)
(
experiencer
?S ?A))
(
modalAttribute
(
holdsDuring
(
WhenFn
?S)
(
attribute
?A
Happiness
))
Likely
))
emotion.kif 1626-1634
如果
过程
是
笑
的
instance
和
施事体
经历了
那个 过程
,
然后
幸福
是
那个 施事体
的
attribute
在
那个 过程
出现 的
time
holdsDuring
的声明 has
容易
的语气
(=>
(
and
(
instance
?S
SkinRash
)
(
experiencer
?S ?H))
(
modalAttribute
(
exists
(?I)
(
and
(
instance
?I
Itching
)
(
experiencer
?I ?H)
(
during
(
WhenFn
?I)
(
WhenFn
?S))))
Likely
))
Mid-level-ontology.kif 5749-5759
如果
过程
是
SkinRash
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
实体
这样
那个 实体
是
Itching
的
instance
和
那个 施事体
经历了
那个 实体
和
那个 实体
出现 的
time
在
那个 过程
出现 的
time
时段内发生 的声明 has
容易
的语气
(=>
(
and
(
instance
?S
Smiling
)
(
experiencer
?S ?A))
(
modalAttribute
(
holdsDuring
(
WhenFn
?S)
(
attribute
?A
Happiness
))
Likely
))
emotion.kif 1614-1622
如果
过程
是
微笑
的
instance
和
施事体
经历了
那个 过程
,
然后
幸福
是
那个 施事体
的
attribute
在
那个 过程
出现 的
time
holdsDuring
的声明 has
容易
的语气
(=>
(
and
(
instance
?S
Spamming
)
(
instance
?G
GroupOfPeople
)
(
memberCount
?G ?N)
(
destination
?S ?G))
(
modalAttribute
(
greaterThan
?N 100)
Likely
))
ComputingBrands.kif 4187-4195
如果
过程
是
Spamming
的
instance
和
群体
是
一群人
的
instance
和
整数
是
那个 群体
的
member
计数 和
那个 过程
在
那个 群体
结束,
然后
那个 整数
是
greaterThan
100 的声明 has
容易
的语气
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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