desires
(=>
(
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
(
prosecutor
?P ?A)
(
defendant
?P ?D))
(
desires
?A
(
exists
(?L)
(
and
(
instance
?L
LegalDecision
)
(
refers
?L ?P)
(
not
(
wants
?D ?L))))))
Law.kif 318-328
prosecutor
LegalAction
and
CognitiveAgent
CognitiveAgent
是在
LegalAction
的
defendant
慾望
CognitiveAgent
and
entity
例
entity
and
法律決定
參照
entity
and
LegalAction
想要
CognitiveAgent
and
entity
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
desires
?A
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30956-30971
shortage
CognitiveAgent
,
Object
,
CurrencyMeasure
,
TimeInterval
and
Quantity
例
Quantity
and
Integer
慾望
CognitiveAgent
and
entity
entity
例
entity
and
Buying
期間
何時
entity
and
TimeInterval
objectTransferred
entity
and
entity
CurrencyMeasure
是
entity
的
transaction
總額
agent
entity
and
CognitiveAgent
例
entity
and
Collection
Object
是
entity
的
member
類別
Quantity
是
entity
的
member
計數
擁有
CognitiveAgent
and
entity
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
desires
?A
(
exists
(?G)
(
and
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30898-30908
shortage
CognitiveAgent
,
Object
,
CurrencyMeasure
,
TimeInterval
and
Quantity
例
Quantity
and
Integer
慾望
CognitiveAgent
and
entity
例
entity
and
Collection
Object
是
entity
的
member
類別
Quantity
是
entity
的
member
計數
擁有
CognitiveAgent
and
entity
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
desires
?A
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30973-30987
shortage
CognitiveAgent
,
Object
,
CurrencyMeasure
,
TimeInterval
and
Quantity
例
Quantity
and
PhysicalQuantity
慾望
CognitiveAgent
and
entity
entity
例
entity
and
Buying
期間
何時
entity
and
TimeInterval
objectTransferred
entity
and
entity
CurrencyMeasure
是
entity
的
transaction
總額
agent
entity
and
CognitiveAgent
例
entity
and
Object
測量
entity
and
Quantity
擁有
CognitiveAgent
and
entity
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
desires
?A
(
exists
(?G)
(
and
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30912-30921
shortage
CognitiveAgent
,
Object
,
CurrencyMeasure
,
TimeInterval
and
Quantity
例
Quantity
and
PhysicalQuantity
慾望
CognitiveAgent
and
entity
例
entity
and
Object
測量
entity
and
Quantity
擁有
CognitiveAgent
and
entity
(=>
(
and
(
wants
?AGENT ?OBJ)
(
instance
?OBJ
Object
))
(
desires
?AGENT
(
possesses
?AGENT ?OBJ)))
Merge.kif 2777-2782
想要
CognitiveAgent
and
Physical
例
Physical
and
Object
慾望
CognitiveAgent
and
擁有
CognitiveAgent
and
Physical
(=>
(
and
(
watchingListings
?USER ?COLL ?SITE)
(
instance
?LISTING
WebListing
)
(
instance
?OBJ
Object
)
(
patient
?LISTING ?OBJ)
(
member
?LISTING ?COLL))
(
modalAttribute
(
desires
?USER
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
agent
?BUYING ?USER))))
Likely
))
UXExperimentalTerms.kif 1257-1271
使用者
AutonomousAgent
在
WebSite
是
watching
Collection
例
Process
and
WebListing
例
Entity
and
Object
患者
Process
and
Entity
會員
Process
and
Collection
模態屬性
慾望
AutonomousAgent
and
entity
例
entity
and
Buying
患者
entity
and
Entity
agent
entity
and
AutonomousAgent
and
容易
(=>
(
and
(
webcart
?USER ?COLL ?SITE)
(
instance
?OBJ
Object
)
(
member
?OBJ ?COLL))
(
desires
?USER
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
agent
?BUYING ?USER)))))
UXExperimentalTerms.kif 690-700
使用者
CognitiveAgent
在
WebSite
有
cart
Collection
例
Physical
and
Object
會員
Physical
and
Collection
慾望
CognitiveAgent
and
entity
例
entity
and
Buying
患者
entity
and
Physical
agent
entity
and
CognitiveAgent
(=>
(
attribute
?A
Bored
)
(
exists
(?DO)
(
and
(
instance
?DO
IntentionalProcess
)
(
agent
?DO ?A)
(
holdsDuring
(
WhenFn
?DO)
(
desires
?A
(
not
(
agent
?DO ?A)))))))
Mid-level-ontology.kif 19828-19837
attribute
AutonomousAgent
and
悶
Process
例
Process
and
IntentionalProcess
agent
Process
and
AutonomousAgent
持有期間
何時
Process
and
慾望
AutonomousAgent
and
agent
Process
and
AutonomousAgent
(=>
(
attribute
?A
Hungry
)
(
desires
?A
(
exists
(?E)
(
and
(
instance
?E
Eating
)
(
agent
?E ?A)))))
Mid-level-ontology.kif 19791-19797
attribute
CognitiveAgent
and
飢餓
慾望
CognitiveAgent
and
entity
例
entity
and
Eating
agent
entity
and
CognitiveAgent
(=>
(
attribute
?A
Schadenfreude
)
(
exists
(?A2 ?P)
(
and
(
causesProposition
?P
(
attribute
?A
Schadenfreude
))
(
not
(
equal
?A ?A2))
(
not
(
desires
?A2 ?P)))))
emotion.kif 766-775
attribute
Object
and
Schadenfreude
Object
Formula
attribute
Object
and
Schadenfreude
是
Formula
的
causes
提議
等於
Object
and
Object
慾望
Object
and
Formula
(=>
(
attribute
?A
Thirsty
)
(
desires
?A
(
exists
(?D)
(
and
(
instance
?D
Drinking
)
(
agent
?D ?A)))))
Mid-level-ontology.kif 19804-19810
attribute
CognitiveAgent
and
Thirsty
慾望
CognitiveAgent
and
entity
例
entity
and
Drinking
agent
entity
and
CognitiveAgent
(=>
(
attribute
?A
Tired
)
(
desires
?A
(
exists
(?S)
(
and
(
instance
?S
Sleeping
)
(
agent
?S ?A)))))
Mid-level-ontology.kif 19816-19822
attribute
CognitiveAgent
and
憊纍
慾望
CognitiveAgent
and
entity
例
entity
and
Sleeping
agent
entity
and
CognitiveAgent
(=>
(
attribute
?X
PoliticalFigure
)
(
exists
(?GOV)
(
and
(
instance
?GOV
Government
)
(
or
(
member
?X ?GOV)
(
desires
?X
(
member
?X ?GOV))))))
Mid-level-ontology.kif 22543-22551
attribute
CognitiveAgent
and
政治人物
Collection
例
Collection
and
Government
會員
CognitiveAgent
and
Collection
慾望
CognitiveAgent
and
會員
CognitiveAgent
and
Collection
(=>
(
counselInCase
?H ?A ?L)
(
desires
?H
(
exists
(?LD)
(
and
(
instance
?LD
LegalDecision
)
(
causes
?L ?LD)
(
benefits
?LD ?A)))))
Law.kif 464-471
counselInCase
Human
,
AutonomousAgent
and
LegalAction
慾望
Human
and
LegalAction
D
例
LegalAction
D and
法律決定
原因
LegalAction
and
LegalAction
D
好處
LegalAction
D and
AutonomousAgent
(=>
(
dislikes
?AGENT ?OBJECT)
(
desires
?AGENT
(
not
(
possesses
?AGENT ?OBJECT))))
Mid-level-ontology.kif 7432-7434
CognitiveAgent
dislikes
Object
慾望
CognitiveAgent
and
擁有
CognitiveAgent
and
Object
(=>
(
enjoys
?AGENT ?PROCESS)
(
desires
?AGENT
(
exists
(?INSTANCE)
(
and
(
instance
?INSTANCE ?PROCESS)
(
or
(
agent
?INSTANCE ?AGENT)
(
experiencer
?INSTANCE ?AGENT))))))
Mid-level-ontology.kif 7376-7384
CognitiveAgent
enjoys
Entity
慾望
CognitiveAgent
and
entity
例
entity
and
Entity
agent
entity
and
CognitiveAgent
體驗者
entity
and
CognitiveAgent
(=>
(
equal
?DEP
(
DepartmentOfPreventingFn
?COMP ?PHYS))
(
not
(
desires
?COMP
(
exists
(?P)
(
and
(
instance
?P ?PHYS)
(
involvedInEvent
?P ?COMP))))))
Mid-level-ontology.kif 18408-18415
等於
Organization
and
DepartmentOfPreventingFn
Organization
and
Physical
慾望
Organization
and
entity
例
entity
and
Physical
Organization
是事件
entity
的
involved
(=>
(
fears
?AGENT ?FORMULA)
(
not
(
desires
?AGENT ?FORMULA)))
Mid-level-ontology.kif 7393-7396
CognitiveAgent
fears
Formula
慾望
CognitiveAgent
and
Formula
(=>
(
holdsDuring
?T
(
and
(
located
?H ?L)
(
airTemperature
?L
(
MeasureFn
?T ?TU))
(
attribute
?H
FeelingCold
)))
(
desires
?H
(
holdsDuring
?T
(
and
(
airTemperature
?L
(
MeasureFn
?T2 ?TU))
(
greaterThan
?T2 ?T)))))
emotion.kif 1865-1877
持有期間
TimePosition
and
位於
CognitiveAgent
and
entity
測量
TimePosition
and
TimePosition
U 是
entity
的
air
溫度
attribute
CognitiveAgent
and
FeelingCold
慾望
CognitiveAgent
and
持有期間
TimePosition
and
測量
TimePosition
and
TimePosition
U 是
entity
的
air
溫度
比較多
TimePosition
and
TimePosition
(=>
(
holdsDuring
?T
(
and
(
located
?H ?L)
(
airTemperature
?L
(
MeasureFn
?T ?TU))
(
attribute
?H
FeelingHot
)))
(
desires
?H
(
holdsDuring
?T
(
and
(
airTemperature
?L
(
MeasureFn
?T2 ?TU))
(
greaterThan
?T ?T2)))))
emotion.kif 1902-1914
持有期間
TimePosition
and
位於
CognitiveAgent
and
entity
測量
TimePosition
and
TimePosition
U 是
entity
的
air
溫度
attribute
CognitiveAgent
and
FeelingHot
慾望
CognitiveAgent
and
持有期間
TimePosition
and
測量
TimePosition
and
TimePosition
U 是
entity
的
air
溫度
比較多
TimePosition
and
TimePosition
(=>
(
holdsDuring
?T
(
attribute
?H
Insomnia
))
(
holdsDuring
?T
(
and
(
desires
?H
(
attribute
?H
Asleep
))
(
not
(
attribute
?H
Asleep
)))))
Medicine.kif 2095-2103
持有期間
TimePosition
and
attribute
entity
and
Insomnia
持有期間
TimePosition
and
慾望
entity
and
attribute
entity
and
Asleep
attribute
entity
and
Asleep
(=>
(
holdsDuring
?T
(
attribute
?H
RectalTenesmus
))
(
holdsDuring
?T
(
and
(
desires
?H
(
exists
(?D)
(
and
(
instance
?D
Defecation
)
(
agent
?D ?H))))
(
not
(
needs
?H
(
exists
(?D)
(
and
(
instance
?D
Defecation
)
(
agent
?D ?H))))))))
Medicine.kif 5110-5125
持有期間
TimePosition
and
attribute
entity
and
RectalTenesmus
持有期間
TimePosition
and
慾望
entity
and
entity
例
entity
and
Defecation
agent
entity
and
entity
需求
entity
and
entity
例
entity
and
Defecation
agent
entity
and
entity
(=>
(
holdsDuring
?T
(
attribute
?H
Sleepy
))
(
desires
?H
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?H
Asleep
))))
Mid-level-ontology.kif 16434-16440
持有期間
TimePosition
and
attribute
CognitiveAgent
and
Sleepy
慾望
CognitiveAgent
and
持有期間
眼前的未來
TimePosition
and
attribute
CognitiveAgent
and
Asleep
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