modalAttribute
(=>
(
and
(
instance
?LI
LoggingIn
)
(
hasAccount
?U ?A)
(
accountAtSite
?A ?S)
(
equal
?T
(
ImmediateFutureFn
(
WhenFn
?LI)))
(
agent
?LI ?U))
(
modalAttribute
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
ComputerProcess
)
(
agent
?P ?U)
(
patient
?P ?S))))
Possibility
))
ComputingBrands.kif 3972-3986
例
Process
and
LoggingIn
AutonomousAgent
有
account
用戶帳號
用戶帳號
是在
WebSite
的
account
等於
TimeInterval
and
眼前的未來
何時
Process
agent
Process
and
AutonomousAgent
模態屬性
持有期間
TimeInterval
and
entity
例
entity
and
電腦程序
agent
entity
and
AutonomousAgent
患者
entity
and
WebSite
and
可能性
(=>
(
and
(
instance
?LI
LoggingIn
)
(
hasAccount
?U ?A)
(
deviceAccount
?A ?C)
(
equal
?T
(
ImmediateFutureFn
(
WhenFn
?LI)))
(
agent
?LI ?U))
(
modalAttribute
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
ComputerProcess
)
(
agent
?P ?U)
(
instrument
?P ?C))))
Possibility
))
ComputingBrands.kif 3988-4002
例
Process
and
LoggingIn
AutonomousAgent
有
account
用戶帳號
deviceAccount
用戶帳號
and
電腦
等於
TimeInterval
and
眼前的未來
何時
Process
agent
Process
and
AutonomousAgent
模態屬性
持有期間
TimeInterval
and
entity
例
entity
and
電腦程序
agent
entity
and
AutonomousAgent
儀器
entity
and
電腦
and
可能性
(=>
(
and
(
instance
?ORDER
Ordering
)
(
patient
?ORDER ?FORMULA))
(
modalAttribute
?FORMULA
Obligation
))
Merge.kif 13210-13214
例
Process
and
Ordering
患者
Process
and
Formula
模態屬性
Formula
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
?P
Poison
)
(
instance
?I
Ingesting
)
(
moves
?I ?P)
(
experiencer
?I ?H))
(
modalAttribute
(
holdsDuring
(
FutureFn
(
WhenFn
?I))
(
attribute
?H
Blind
))
Possibility
))
Mid-level-ontology.kif 8623-8634
例
Object
and
Poison
例
Motion
and
Ingesting
移動
Motion
and
Object
體驗者
Motion
and
AutonomousAgent
模態屬性
持有期間
未來
何時
Motion
and
attribute
AutonomousAgent
and
盲
and
可能性
(=>
(
and
(
instance
?POLICY
ChildrenPolicy
)
(
policyOwner
?AGENT ?POLICY)
(
policyLocationCoverage
?POLICY ?LOC))
(
or
(
containsInformation
?POLICY
(
modalAttribute
(
exists
(?CUST1)
(
and
(
customer
?CUST1 ?AGENT)
(
instance
?CUST1
HumanChild
)))
Possibility
))
(
containsInformation
?POLICY
(
not
(
modalAttribute
(
exists
(?CUST2)
(
and
(
customer
?CUST2 ?AGENT)
(
instance
?CUST2
HumanChild
)))
Possibility
)))))
Hotel.kif 2535-2553
例
Policy
and
ChildrenPolicy
Organization
enacts
policy
Policy
Policy
covers
Object
包含信息
Policy
and
模態屬性
entity
Organization
是
entity
的
customer
例
entity
and
人類的孩子
and
可能性
包含信息
Policy
and
模態屬性
entity
Organization
是
entity
的
customer
例
entity
and
人類的孩子
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
PetPolicy
)
(
policyLocationCoverage
?POLICY ?LOC))
(
or
(
containsInformation
?POLICY
(
modalAttribute
(
exists
(?PET1)
(
and
(
instance
?PET1
DomesticAnimal
)
(
located
?PET1 ?LOC)))
Permission
))
(
containsInformation
?POLICY
(
modalAttribute
(
exists
(?PET2)
(
and
(
instance
?PET2
DomesticAnimal
)
(
located
?PET2 ?LOC)))
Prohibition
))))
Hotel.kif 2512-2528
例
Policy
and
PetPolicy
Policy
covers
Object
包含信息
Policy
and
模態屬性
entity
例
entity
and
家畜
位於
entity
and
Object
and
允許
包含信息
Policy
and
模態屬性
entity
例
entity
and
家畜
位於
entity
and
Object
and
禁令
(=>
(
and
(
instance
?POLICY
SmokingPolicy
)
(
policyLocationCoverage
?POLICY ?LOC))
(
or
(
containsInformation
?POLICY
(
modalAttribute
(
exists
(?SMOKE1)
(
and
(
instance
?SMOKE1
Smoking
)
(
located
?SMOKE1 ?LOC)))
Permission
))
(
containsInformation
?POLICY
(
modalAttribute
(
exists
(?SMOKE2)
(
and
(
instance
?SMOKE2
Smoking
)
(
located
?SMOKE2 ?LOC)))
Prohibition
))))
Hotel.kif 2489-2505
例
Policy
and
SmokingPolicy
Policy
covers
Object
包含信息
Policy
and
模態屬性
entity
例
entity
and
抽煙
位於
entity
and
Object
and
允許
包含信息
Policy
and
模態屬性
entity
例
entity
and
抽煙
位於
entity
and
Object
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
?R
Renting
)
(
agent
?R ?A)
(
patient
?R ?O))
(
holdsDuring
(
WhenFn
?R)
(
modalAttribute
(
uses
?O ?A)
Permission
)))
Mid-level-ontology.kif 22425-22432
例
Process
and
租
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
持有期間
何時
Process
and
模態屬性
使用
Entity
and
AutonomousAgent
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
LegalSummons
)
(
patient
?S ?O)
(
destination
?S ?P))
(
exists
(?C ?T)
(
and
(
instance
?C
CourtRoom
)
(
containsInformation
?O
(
modalAttribute
(
holdsDuring
?T
(
located
?P ?C))
Law
)))))
Mid-level-ontology.kif 16226-16238
例
Process
and
法律傳票
患者
Process
and
內容承載物理
目的地
Process
and
Entity
Entity
entity
例
Entity
and
法庭室
包含信息
內容承載物理
and
模態屬性
持有期間
entity
and
位於
Entity
and
Entity
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 5748-5758
例
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
容易
(=>
(
and
(
instance
?S
Spamming
)
(
result
?S ?SPAM)
(
instance
?S
Spam
)
(
instance
?H
Human
)
(
destination
?S ?H))
(
not
(
modalAttribute
(
wants
?H ?SPAM)
Likely
)))
ComputingBrands.kif 4210-4220
例
Process
and
Spamming
結果
Process
and
Process
PAM
例
Process
and
Spam
例
Entity
and
Human
目的地
Process
and
Entity
模態屬性
想要
Entity
and
Process
PAM and
容易
(=>
(
and
(
instance
?S
Speaking
)
(
instance
?J
Jaw
)
(
agent
?S ?H)
(
part
?J ?H))
(
modalAttribute
(
exists
(?M)
(
and
(
instance
?M
BodyMotion
)
(
objectTransferred
?M ?J)
(
during
(
WhenFn
?M)
(
WhenFn
?S))))
Likely
))
Anatomy.kif 1664-1676
例
Process
and
說話
例
Object
and
Jaw
agent
Process
and
AutonomousAgent
部分
Object
and
AutonomousAgent
模態屬性
entity
例
entity
and
BodyMotion
objectTransferred
entity
and
Object
期間
何時
entity
and
何時
Process
and
容易
(=>
(
and
(
instance
?STEM
PlantStem
)
(
instance
?ROOT
PlantRoot
))
(
modalAttribute
(
orientation
?STEM ?ROOT
Above
)
Likely
))
Mid-level-ontology.kif 9538-9543
例
Entity
and
PlantStem
例
Entity
and
植物根
模態屬性
方位
Entity
,
Entity
and
以上
and
容易
(=>
(
and
(
instance
?T
TimePeriod
)
(
duration
?T
(
MeasureFn
?N
MinuteDuration
))
(
greaterThan
?N 5.0)
(
instance
?H
Human
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
during
(
WhenFn
?B) ?T)
(
patient
?B ?H)))))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
meetsTemporally
?T
(
WhenFn
?D))))
Likely
))
Medicine.kif 5997-6017
例
TimeInterval
and
TimePeriod
持續時間
TimeInterval
and
測量
RealNumber
and
分鐘
比較多
RealNumber
and 5.0
例
Entity
and
Human
Process
例
Process
and
Breathing
期間
何時
Process
and
TimeInterval
患者
Process
and
Entity
模態屬性
entity
例
entity
and
Death
體驗者
entity
and
Entity
短暫相遇
TimeInterval
and
何時
entity
and
容易
(=>
(
and
(
instance
?T
Trespassing
)
(
agent
?T ?H)
(
patient
?T ?P))
(
and
(
not
(
possesses
?H ?P))
(
modalAttribute
(
located
?H ?P)
Illegal
)))
Mid-level-ontology.kif 18290-18300
例
Process
and
擅闖
agent
Process
and
AutonomousAgent
患者
Process
and
Object
擁有
AutonomousAgent
and
Object
模態屬性
位於
AutonomousAgent
and
Object
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