Possibility
(可能性)
(=>
(
and
(
instance
?X
ReadOnlyMemoryDataStorage
)
(
instance
?FABRICATION
Manufacture
)
(
result
?FABRICATION ?X))
(
not
(
modalAttribute
(
exists
(?WRITE1 ?DATA1 ?WRITE2)
(
and
(
or
(
instance
?WRITE2
ContentDevelopment
)
(
instance
?WRITE2
DeletingData
))
(
earlier
(
WhenFn
?FABRICATION)
(
WhenFn
?WRITE1))
(
patient
?WRITE1 ?X)
(
patient
?WRITE1 ?DATA1)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WRITE1))
(
stored
?DATA1 ?X))))
Possibility
)))
Media.kif 768-788
例
Entity
and
ReadOnlyMemoryDataStorage
例
Process
and
Manufacture
結果
Process
and
Entity
模態屬性
entity
entity
and
entity
例
entity
and
ContentDevelopment
例
entity
and
DeletingData
早期
何時
Process
and
何時
entity
患者
entity
and
Entity
患者
entity
and
entity
持有期間
眼前的未來
何時
entity
and
entity
是
stored
在
Entity
and
可能性
(=>
(
and
(
instance
?X
Substance
)
(
attribute
?X
Insoluble
))
(
not
(
modalAttribute
(
exists
(?Y ?Z)
(
and
(
instance
?Y
Substance
)
(
instance
?Z
Solution
)
(
piece
?X ?Z)
(
piece
?Y ?Z)))
Possibility
)))
Geography.kif 7380-7392
例
Object
and
Substance
attribute
Object
and
Insoluble
模態屬性
entity
entity
例
entity
and
Substance
例
entity
and
Solution
片
Object
and
entity
片
entity
and
entity
and
可能性
(=>
(
and
(
instance
?X
Substance
)
(
attribute
?X
Soluble
))
(
modalAttribute
(
exists
(?Y ?Z)
(
and
(
instance
?Y
Substance
)
(
instance
?Z
Solution
)
(
piece
?X ?Z)
(
piece
?Y ?Z)))
Possibility
))
Geography.kif 7352-7363
例
Object
and
Substance
attribute
Object
and
Soluble
模態屬性
entity
entity
例
entity
and
Substance
例
entity
and
Solution
片
Object
and
entity
片
entity
and
entity
and
可能性
(=>
(
and
(
instance
?X
WhirlpoolTub
)
(
attribute
?X
DoubleSize
))
(
modalAttribute
(
exists
(?T1)
(
holdsDuring
?T1
(
exists
(?P1 ?P2)
(
and
(
instance
?P1
Human
)
(
instance
?P2
Human
)
(
not
(
equal
?P1 ?P2))
(
located
?P1 ?X)
(
located
?P2 ?X)))))
Possibility
))
Mid-level-ontology.kif 25333-25346
例
Object
and
WhirlpoolTub
attribute
Object
and
DoubleSize
模態屬性
entity
持有期間
entity
and
entity
entity
例
entity
and
Human
例
entity
and
Human
等於
entity
and
entity
位於
entity
and
Object
位於
entity
and
Object
and
可能性
(=>
(
and
(
maxRoomCapacity
?ROOM ?NUM)
(
instance
?X ?ROOM)
(
element
?X
(
PropertyFn
?AGENT)))
(
modalAttribute
(
exists
(?GRP ?PPL)
(
and
(
instance
?GRP
GroupOfPeople
)
(
memberCount
?GRP ?PPL)
(
lessThanOrEqualTo
?PPL ?NUM)
(
stays
?GRP ?X)))
Possibility
))
Hotel.kif 479-490
StationaryArtifact
能
accommodate
大部分
Integer
的人
例
Entity
and
StationaryArtifact
元件
Entity
and
屬性
AutonomousAgent
模態屬性
entity
entity
例
entity
and
一群人
entity
是
entity
的
member
計數
小於或等於
entity
and
Integer
entity
stays
在
Entity
and
可能性
(=>
(
and
(
offers
?AGENT ?ATTR)
(
instance
?ATTR
Attribute
))
(
modalAttribute
(
exists
(?OBJ ?SELL)
(
and
(
instance
?SELL
Selling
)
(
attribute
?OBJ ?ATTR)
(
patient
?SELL ?OBJ)
(
agent
?SELL ?AGENT)))
Possibility
))
Catalog.kif 109-119
AutonomousAgent
offers
拍賣樣品在
Abstract
例
Abstract
and
Attribute
模態屬性
entity
entity
例
entity
and
Selling
attribute
entity
and
Abstract
患者
entity
and
entity
agent
entity
and
AutonomousAgent
and
可能性
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?OBJ ?CATALOG)
(
subclass
?OBJ
Physical
))
(
modalAttribute
(
exists
(?S ?X)
(
and
(
instance
?X ?OBJ)
(
instance
?S
Selling
)
(
agent
?S ?AGENT)
(
patient
?S ?X)))
Possibility
))
Catalog.kif 51-62
AutonomousAgent
offers
拍賣樣品在
Catalog
Entity
是在
Catalog
子類
Entity
and
Physical
模態屬性
entity
entity
例
entity
and
Entity
例
entity
and
Selling
agent
entity
and
AutonomousAgent
患者
entity
and
entity
and
可能性
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?PROP ?CATALOG)
(
subclass
?PROP
Proposition
))
(
modalAttribute
(
exists
(?P ?S ?X)
(
and
(
instance
?P ?PROP)
(
realization
?X ?P)
(
instance
?S
Selling
)
(
patient
?S ?X)
(
agent
?S ?AGENT)))
Possibility
))
Catalog.kif 64-76
AutonomousAgent
offers
拍賣樣品在
Catalog
Entity
是在
Catalog
子類
Entity
and
Proposition
模態屬性
entity
entity
and
entity
例
entity
and
Entity
實現
entity
and
entity
例
entity
and
Selling
患者
entity
and
entity
agent
entity
and
AutonomousAgent
and
可能性
(=>
(
and
(
parent
?CHILD ?PARENT)
(
or
(
instance
?CHILD
HumanChild
)
(
instance
?CHILD
HumanBaby
)))
(
modalAttribute
(
exists
(?CARE)
(
and
(
instance
?CARE
ChildCareService
)
(
desires
?PARENT ?CARE)))
Possibility
))
Hotel.kif 1890-1900
親
Organism
and
Organism
例
Organism
and
人類的孩子
例
Organism
and
人類寶貝
模態屬性
entity
例
entity
and
ChildCareService
慾望
Organism
and
entity
and
可能性
(=>
(
and
(
property
?AGREEMENT
Contract
)
(
partyToAgreement
?AGENT1 ?AGREEMENT)
(
partyToAgreement
?AGENT2 ?AGREEMENT)
(
instance
?PROC
IntentionalProcess
)
(
agent
?PROC ?AGENT1)
(
realization
?PROC ?PROP)
(
not
(
consistent
?PROP ?AGREEMENT)))
(
modalAttribute
(
exists
(?LEGAL)
(
and
(
instance
?LEGAL
LegalAction
)
(
plaintiff
?LEGAL ?AGENT2)
(
defendant
?LEGAL ?AGENT1)))
Possibility
))
Mid-level-ontology.kif 14149-14163
屬性
協議
and
合同
協議
是
CognitiveAgent
的
party
協議
協議
是
CognitiveAgent
的
party
協議
例
Process
and
IntentionalProcess
agent
Process
and
CognitiveAgent
實現
Process
and
Proposition
協議
是
Proposition
的
consistent
模態屬性
entity
例
entity
and
LegalAction
CognitiveAgent
是
plaintiff
在
entity
CognitiveAgent
是在
entity
的
defendant
and
可能性
(=>
(
and
(
roomAmenity
?ROOM ?SVC)
(
subclass
?SVC
Process
))
(
modalAttribute
(
exists
(?X ?S ?HOTEL ?PROC)
(
and
(
instance
?X ?ROOM)
(
element
?X
(
PropertyFn
?HOTEL))
(
agent
?S ?HOTEL)
(
or
(
instance
?S ?SVC)
(
and
(
instance
?PROC ?SVC)
(
subProcess
?S ?PROC)))
(
located
?S ?X)))
Possibility
))
Hotel.kif 317-332
Physical
是
amenity
在
HotelUnit
子類
Physical
and
Process
模態屬性
entity
entity
,
entity
and
entity
例
entity
and
HotelUnit
元件
entity
and
屬性
entity
agent
entity
and
entity
例
entity
and
Physical
例
entity
and
Physical
子過程
entity
and
entity
位於
entity
and
entity
and
可能性
(=>
(
and
(
viewType
?ROOM ?OBJ)
(
instance
?ROOM
Room
)
(
instance
?INST ?OBJ)
(
orientation
?INST ?ROOM
Outside
))
(
modalAttribute
(
exists
(?HUMAN ?SEE)
(
and
(
instance
?HUMAN
Human
)
(
located
?HUMAN ?ROOM)
(
instance
?SEE
Seeing
)
(
patient
?SEE ?INST)
(
agent
?SEE ?HUMAN)))
Possibility
))
Hotel.kif 954-967
一個在
Object
的人
can
see
Physical
例
Object
and
Room
例
Object
and
Physical
方位
Object
,
Object
and
外
模態屬性
entity
entity
例
entity
and
Human
位於
entity
and
Object
例
entity
and
Seeing
患者
entity
and
Object
agent
entity
and
entity
and
可能性
(=>
(
attribute
?O
Translucent
)
(
modalAttribute
(
exists
(?EMIT ?S ?OBJ)
(
and
(
instance
?EMIT
RadiatingLight
)
(
resource
?EMIT ?S)
(
destination
?EMIT ?OBJ)
(
between
?S ?O ?OBJ)
(
holdsDuring
(
WhenFn
?EMIT)
(
attribute
?OBJ
Illuminated
))))
Possibility
))
Mid-level-ontology.kif 15152-15164
attribute
Object
and
Translucent
模態屬性
entity
entity
and
Object
BJ
例
entity
and
RadiatingLight
資源
entity
and
entity
目的地
entity
and
Object
BJ
之間
entity
,
Object
and
Object
BJ
持有期間
何時
entity
and
attribute
Object
BJ and
發光的
and
可能性
(=>
(
attribute
?O
Transparent
)
(
modalAttribute
(
exists
(?S ?A ?D)
(
and
(
instance
?S
Seeing
)
(
agent
?S ?A)
(
destination
?S ?D)
(
between
?O ?A ?D)))
Possibility
))
Mid-level-ontology.kif 15124-15133
attribute
Object
and
透明
模態屬性
entity
entity
and
entity
例
entity
and
Seeing
agent
entity
and
entity
目的地
entity
and
entity
之間
Object
,
entity
and
entity
and
可能性
(=>
(
attribute
?X
Locked
)
(
exists
(?LOCK ?CLOSE ?MOVE)
(
and
(
instance
?LOCK
Lock
)
(
connected
?LOCK ?X)
(
instance
?CLOSE
Closing
)
(
patient
?CLOSE ?LOCK)
(
instance
?MOVE
Motion
)
(
earlier
(
WhenFn
?CLOSE)
(
WhenFn
(
attribute
?X
Locked
)))
(
holdsDuring
(
WhenFn
(
attribute
?X
Locked
))
(
not
(
modalAttribute
(
patient
?MOVE ?X)
Possibility
))))))
Mid-level-ontology.kif 2698-2714
attribute
Object
and
鎖定
Object
Process
and
Entity
例
Object
and
鎖
連接的
Object
and
Object
例
Process
and
關閉
患者
Process
and
Object
例
Entity
and
Motion
早期
何時
Process
and
何時
attribute
Object
and
鎖定
持有期間
何時
attribute
Object
and
鎖定
and
模態屬性
患者
Entity
and
Object
and
可能性
(=>
(
capability
?PROCESS ?ROLE ?OBJ)
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?PROCESS)
(?ROLE ?P ?OBJ)))
Possibility
))
Merge.kif 3918-3924
能力
Process
,
CaseRole
and
Object
模態屬性
entity
例
entity
and
Process
CaseRole
entity
and
Object
and
可能性
(=>
(
capacityByArrangement
?AREA ?PROP ?INT)
(=>
(
represents
?AREA ?PROP)
(
modalAttribute
(
exists
(?GRP ?PPL)
(
and
(
instance
?GRP
GroupOfPeople
)
(
memberCount
?GRP ?PPL)
(
lessThanOrEqualTo
?PPL ?INT)
(
located
?GRP ?AREA)))
Possibility
)))
Hotel.kif 790-800
Region
有對於
Integer
的
capacity
根據
Proposition
代表
Region
and
Proposition
模態屬性
entity
entity
例
entity
and
一群人
entity
是
entity
的
member
計數
小於或等於
entity
and
Integer
位於
entity
and
Region
and
可能性
(=>
(
diseaseCandidate
?H ?D)
(
exists
(?DOC)
(
believes
?DOC
(
modalAttribute
(
attribute
?H ?D)
Possibility
))))
Medicine.kif 1939-1945
diseaseCandidate
Human
and
DiseaseOrSyndrome
DiseaseOrSyndrome
OC
相信
DiseaseOrSyndrome
OC and
模態屬性
attribute
Human
and
DiseaseOrSyndrome
and
可能性
(=>
(
equal
?TIME
(
WhenFn
(
stored
?O ?D)))
(
holdsDuring
?TIME
(
modalAttribute
(
exists
(?P)
(
patient
?P ?O))
Possibility
)))
Mid-level-ontology.kif 14370-14375
等於
TimeInterval
and
何時
entity
是
stored
在
entity
持有期間
TimeInterval
and
模態屬性
entity
患者
entity
and
entity
and
可能性
(=>
(
hazardous
?A ?B)
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Damaging
)
(
patient
?D ?B)
(
or
(
involvedInEvent
?D ?A)
(
causes
?A ?D))))
Possibility
))
Geography.kif 5876-5885
hazardous
Physical
and
Object
模態屬性
entity
例
entity
and
Damaging
患者
entity
and
Object
Physical
是事件
entity
的
involved
原因
Physical
and
entity
and
可能性
(=>
(
holdsDuring
?T
(
and
(
instance
?ICU
IntensiveCareUnit
)
(
stays
?H ?ICU)))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
finishes
(
WhenFn
?D) ?T)))
Possibility
))
Mid-level-ontology.kif 20568-20578
持有期間
TimePosition
and
例
entity
and
IntensiveCareUnit
entity
stays
在
entity
模態屬性
entity
例
entity
and
Death
飾面
何時
entity
and
TimePosition
and
可能性
(=>
(
instance
?D
Disappearing
)
(
exists
(?OBJ ?AGENT ?SEARCH ?TIME)
(
and
(
instance
?SEARCH
Searching
)
(
earlier
(
WhenFn
?D)
(
WhenFn
?SEARCH))
(
agent
?SEARCH ?AGENT)
(
instance
?OBJ
Object
)
(
patient
?D ?OBJ)
(
patient
?SEARCH ?OBJ)
(
instance
?TIME
TimeInterval
)
(
temporalPart
?TIME
(
WhenFn
?SEARCH))
(
holdsDuring
?TIME
(
not
(
modalAttribute
(
exists
(?DISC)
(
and
(
instance
?DISC
Discovering
)
(
agent
?DISC ?AGENT)
(
patient
?DISC ?OBJ)))
Possibility
))))))
Mid-level-ontology.kif 17323-17345
例
Process
and
Disappearing
Entity
AutonomousAgent
,
Process
and
TimePosition
例
Process
and
Searching
早期
何時
Process
and
何時
Process
agent
Process
and
AutonomousAgent
例
Entity
and
Object
患者
Process
and
Entity
患者
Process
and
Entity
例
TimePosition
and
TimeInterval
時間部分
TimePosition
and
何時
Process
持有期間
TimePosition
and
模態屬性
Process
ISC
例
Process
ISC and
發現
agent
Process
ISC and
AutonomousAgent
患者
Process
ISC and
Entity
and
可能性
(=>
(
instance
?E
Exhaust
)
(
modalAttribute
(
capability
Seeing
patient
?E)
Possibility
))
Cars.kif 1161-1165
例
Entity
and
Exhaust
模態屬性
能力
Seeing
,
患者
and
Entity
and
可能性
(=>
(
instance
?E
Exhaust
)
(
modalAttribute
(
not
(
capability
Seeing
patient
?E))
Possibility
))
Cars.kif 1167-1172
例
Entity
and
Exhaust
模態屬性
能力
Seeing
,
患者
and
Entity
and
可能性
(=>
(
instance
?SPINE
PlantSpinoseStructure
)
(
modalAttribute
(
exists
(?I ?P ?A)
(
and
(
instance
?I
Inserting
)
(
instrument
?I ?SPINE)
(
instance
?A
Animal
)
(
patient
?I ?A)
(
causes
?I ?P)
(
instance
?P
Pain
)
(
experiencer
?P ?A)))
Possibility
))
Mid-level-ontology.kif 9587-9598
例
Entity
and
PlantSpinoseStructure
模態屬性
entity
entity
and
entity
例
entity
and
插入
儀器
entity
and
Entity
例
entity
and
Animal
患者
entity
and
entity
原因
entity
and
entity
例
entity
and
痛
體驗者
entity
and
entity
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