Likely
(容易)
(=>
(
and
(
instance
?DUST
DustStorm
)
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?DUST ?PLACE))
(
holdsDuring
(
WhenFn
?DUST)
(
modalAttribute
(
attribute
?PLACE
BadAirQuality
)
Likely
)))
Weather.kif 2600-2608
例
Process
and
塵暴
例
Object
and
GeographicArea
Process
是
located
在
Object
持有期間
何時
Process
and
模態屬性
attribute
Object
and
BadAirQuality
and
容易
(=>
(
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
例
Object
and
Electrocardiogram
attribute
Object
and
EKGAbnormal
參照
Object
and
Object
部分
Object
and
Object
例
Object
and
心
模態屬性
attribute
Object
and
ImpairedBodyPartFn
心
and
容易
(=>
(
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
例
Object
and
Electrocardiogram
attribute
Object
and
EKGNormal
參照
Object
and
Object
部分
Object
and
Object
例
Object
and
心
模態屬性
attribute
Object
and
ImpairedBodyPartFn
心
and
容易
(=>
(
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
例
Process
and
Process
例
Human
and
AutonomousAgent
例
試驗
and
試驗
Human
是個
treated
used
在
試驗
Process
在
試驗
的
process
體驗者
Process
and
Human
體驗者
Process
and
Human
試驗
causes
Process
試驗
ERIMENTER
例
試驗
ERIMENTER and
AutonomousAgent
試驗
ERIMENTER 是在
試驗
的
experimenter
相信
試驗
ERIMENTER and
模態屬性
原因
Process
and
Process
and
容易
(=>
(
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
and
Hotline
TelecomNumber
是
AutonomousAgent
的
telephone
number
例
AutonomousAgent
and
Organization
有目的
TelecomNumber
and
entity
例
entity
and
致電
目的地
entity
and
AutonomousAgent
模態屬性
entity
例
entity
and
Communication
儀器
entity
and
TelecomNumber
等於
開始
何時
entity
and
開始
眼前的未來
何時
entity
and
容易
(=>
(
and
(
instance
?HAZE
AtmosphericHazing
)
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?HAZE ?PLACE))
(
holdsDuring
(
WhenFn
?HAZE)
(
modalAttribute
(
attribute
?PLACE
BadAirQuality
)
Likely
)))
Weather.kif 2590-2598
例
Process
and
AtmosphericHazing
例
Object
and
GeographicArea
Process
是
located
在
Object
持有期間
何時
Process
and
模態屬性
attribute
Object
and
BadAirQuality
and
容易
(=>
(
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
例
Process
and
Impacting
患者
Process
and
Entity
持有期間
眼前的未來
Process
and
attribute
Entity
and
ImpairedBodyPartFn
腦
模態屬性
持有期間
眼前的未來
Process
and
attribute
Entity
and
Concussion
and
容易
(=>
(
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
例
Transfer
and
Ingesting
體驗者
Transfer
and
AutonomousAgent
objectTransferred
Transfer
and
Object
例
Object
and
Object
C
pathologicSideEffect
Object
C and
Object
IS
模態屬性
entity
例
entity
and
Object
IS
體驗者
AutonomousAgent
and
entity
and
容易
(=>
(
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
例
Transfer
and
Ingesting
體驗者
Transfer
and
AutonomousAgent
objectTransferred
Transfer
and
Object
例
Object
and
Object
C
Object
IS 是服用
Object
C 的
side
effect
模態屬性
attribute
AutonomousAgent
and
Object
IS and
容易
(=>
(
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
例
Transfer
and
Ingesting
objectTransferred
Transfer
and
Object
例
Object
and
迷幻劑
目的地
Transfer
and
Entity
模態屬性
Object
AL
例
Object
AL and
Hallucination
體驗者
Object
AL and
Entity
and
容易
(=>
(
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
例
Transfer
and
注射
例
Object
and
Adalimumab
objectTransferred
Transfer
and
Object
位於
Transfer
and
Object
例
Object
and
BodyPart
目的地
Transfer
and
Entity
模態屬性
entity
持有期間
entity
and
attribute
Entity
and
PainFn
Object
期間
entity
and
未來
何時
Transfer
and
容易
(=>
(
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
例
Object
and
腸
例
Object
and
Animal
部分
Object
and
Object
模態屬性
entity
例
entity
and
EscherichiaColi
包含
Object
and
entity
and
容易
(=>
(
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
例
Object
and
LeafSpring
部分
Object
and
Object
例
Object
and
公路車輛
模態屬性
Object
例
Object
and
LeafSpring
部分
Object
and
Object
等於
Object
and
Object
空間的符合
Object
and
Object
and
容易
(=>
(
and
(
instance
?L
Lupus
)
(
experiencer
?L ?H))
(
modalAttribute
(
exists
(?SR)
(
and
(
instance
?SR
SkinRash
)
(
experiencer
?SR ?H)))
Likely
))
Medicine.kif 2265-2274
例
Process
and
Lupus
體驗者
Process
and
AutonomousAgent
模態屬性
entity
例
entity
and
SkinRash
體驗者
entity
and
AutonomousAgent
and
容易
(=>
(
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
例
Process
and
CeliacDisease
體驗者
Process
and
AutonomousAgent
例
Object
and
SmallIntestine
部分
Object
and
AutonomousAgent
模態屬性
entity
例
entity
and
Diarrhoea
體驗者
entity
and
AutonomousAgent
原因
Process
and
entity
and
容易
(=>
(
and
(
instance
?P
CeliacDisease
)
(
experiencer
?P ?H1)
(
instance
?SI
SmallIntestine
)
(
part
?SI ?H1))
(
modalAttribute
(
located
?P ?SI)
Likely
))
Medicine.kif 2725-2733
例
Process
and
CeliacDisease
體驗者
Process
and
AutonomousAgent
例
Object
and
SmallIntestine
部分
Object
and
AutonomousAgent
模態屬性
位於
Process
and
Object
and
容易
(=>
(
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
and
DailyHousekeepingPolicy
Organization
enacts
policy
Policy
模態屬性
entity
entity
and
entity
entity
是在
Organization
的
guest
entity
stays
在
entity
等於
entity
and
何時
entity
stays
在
entity
持有期間
entity
and
entity
例
entity
and
Day
期間
entity
and
entity
entity
例
entity
and
RoomCleaningService
患者
entity
and
entity
期間
entity
and
entity
and
容易
(=>
(
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
and
NoHousekeepingPolicy
Organization
enacts
policy
Policy
attribute
Organization
and
旅客住宿
模態屬性
entity
entity
entity
是在
Organization
的
guest
持有期間
何時
entity
stays
在
entity
and
entity
例
entity
and
RoomCleaningService
患者
entity
and
entity
and
容易
(=>
(
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
and
WithHousekeepingPolicy
Organization
enacts
policy
Policy
attribute
Organization
and
旅客住宿
模態屬性
entity
entity
entity
是在
Organization
的
guest
持有期間
何時
entity
stays
在
entity
and
entity
例
entity
and
RoomCleaningService
患者
entity
and
entity
and
容易
(=>
(
and
(
instance
?PV
PhysicalViolence
)
(
agent
?PV ?A))
(
modalAttribute
(
holdsDuring
(
WhenFn
?PV)
(
attribute
?A
Anger
))
Likely
))
emotion.kif 1646-1654
例
Process
and
PhysicalViolence
agent
Process
and
AutonomousAgent
模態屬性
持有期間
何時
Process
and
attribute
AutonomousAgent
and
憤怒
and
容易
(=>
(
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
例
AutonomousAgent
and
餐廳
例
Object
and
飯廳
attribute
Object
and
PrivateAttribute
擁有
AutonomousAgent
and
Object
AutonomousAgent
是
CognitiveAgent
的
customer
例
Process
and
Eating
agent
Process
and
CognitiveAgent
例
CognitiveAgent
and
一群人
模態屬性
entity
entity
AutonomousAgent
是
entity
的
customer
等於
CognitiveAgent
and
entity
例
entity
and
Eating
agent
entity
and
entity
持有期間
何時
Process
and
entity
是
located
在
Object
and
容易
(=>
(
and
(
instance
?S
Laughing
)
(
experiencer
?S ?A))
(
modalAttribute
(
holdsDuring
(
WhenFn
?S)
(
attribute
?A
Happiness
))
Likely
))
emotion.kif 1626-1634
例
Process
and
笑
體驗者
Process
and
AutonomousAgent
模態屬性
持有期間
何時
Process
and
attribute
AutonomousAgent
and
幸福
and
容易
(=>
(
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
例
Process
and
SkinRash
體驗者
Process
and
AutonomousAgent
模態屬性
entity
例
entity
and
Itching
體驗者
entity
and
AutonomousAgent
期間
何時
entity
and
何時
Process
and
容易
(=>
(
and
(
instance
?S
Smiling
)
(
experiencer
?S ?A))
(
modalAttribute
(
holdsDuring
(
WhenFn
?S)
(
attribute
?A
Happiness
))
Likely
))
emotion.kif 1614-1622
例
Process
and
微笑
體驗者
Process
and
AutonomousAgent
模態屬性
持有期間
何時
Process
and
attribute
AutonomousAgent
and
幸福
and
容易
(=>
(
and
(
instance
?S
Spamming
)
(
instance
?G
GroupOfPeople
)
(
memberCount
?G ?N)
(
destination
?S ?G))
(
modalAttribute
(
greaterThan
?N 100)
Likely
))
ComputingBrands.kif 4187-4195
例
Process
and
Spamming
例
Collection
and
一群人
Integer
是
Collection
的
member
計數
目的地
Process
and
Collection
模態屬性
比較多
Integer
and 100 and
容易
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