agent
(=>
(
and
(
instance
?CONDUCT
MusicalConducting
)
(
agent
?CONDUCT ?AGENT))
(
holdsDuring
(
WhenFn
?CONDUCT)
(
attribute
?AGENT
MusicalConductor
)))
Media.kif 1867-1871
例
Process
and
MusicalConducting
agent
Process
and
AutonomousAgent
持有期間
何時
Process
and
attribute
AutonomousAgent
and
MusicalConductor
(=>
(
and
(
instance
?COUNT
Counting
)
(
agent
?COUNT ?AGENT)
(
patient
?COUNT ?ENTITY))
(
exists
(?NUMBER)
(
knows
?AGENT
(
equal
(
CardinalityFn
?ENTITY) ?NUMBER))))
Merge.kif 12158-12164
例
Process
and
Counting
agent
Process
and
CognitiveAgent
患者
Process
and
Entity
entity
知道
CognitiveAgent
and
等於
基數
Entity
and
entity
(=>
(
and
(
instance
?COVERING
CoveringGUIElement
)
(
agent
?COVERING ?GUIE_TOP)
(
patient
?COVERING ?GUIE_BOTTOM)
(
instance
?GUIE_TOP
GUIElement
)
(
instance
?GUIE_BOTTOM
GUIElement
))
(
holdsDuring
(
EndFn
?COVERING)
(
or
(
guiElementCoveredBy
?GUIE_BOTTOM ?GUIE_TOP)
(
guiElementPartiallyCoveredBy
?GUIE_BOTTOM ?GUIE_TOP))))
ComputerInput.kif 2597-2607
例
TimeInterval
and
CoveringGUIElement
agent
TimeInterval
and
entity
_TOP
患者
TimeInterval
and
entity
_BOTTOM
例
entity
_TOP and
GUIElement
例
entity
_BOTTOM and
GUIElement
持有期間
結束
TimeInterval
and
entity
_BOTTOM 是由
entity
_TOP
covered
entity
_BOTTOM 是由
entity
_TOP
partially
covered
(=>
(
and
(
instance
?COVERING
PartiallyCoveringGraphicalWindow
)
(
agent
?COVERING ?GUIE_TOP)
(
patient
?COVERING ?GUIE_BOTTOM)
(
instance
?GUIE_TOP
GUIElement
)
(
instance
?GUIE_BOTTOM
GUIElement
))
(
holdsDuring
(
EndFn
?COVERING)
(
guiElementPartiallyCoveredBy
?GUIE_BOTTOM ?GUIE_TOP)))
ComputerInput.kif 2609-2617
例
TimeInterval
and
PartiallyCoveringGraphicalWindow
agent
TimeInterval
and
entity
_TOP
患者
TimeInterval
and
entity
_BOTTOM
例
entity
_TOP and
GUIElement
例
entity
_BOTTOM and
GUIElement
持有期間
結束
TimeInterval
and
entity
_BOTTOM 是由
entity
_TOP
partially
covered
(=>
(
and
(
instance
?CP
ChangingAccountInfo
)
(
agent
?CP ?A)
(
hasAccount
?A ?UA)
(
accountInformation
?UA ?N1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?N2)
(
and
(
not
(
equal
?N2 ?N1))
(
accountInformation
?UA ?N2)))))
ComputingBrands.kif 4123-4135
例
Process
and
ChangingAccountInfo
agent
Process
and
AutonomousAgent
AutonomousAgent
有
account
用戶帳號
accountInformation
用戶帳號
and
Proposition
持有期間
眼前的未來
何時
Process
and
entity
等於
entity
and
Proposition
accountInformation
用戶帳號
and
entity
(=>
(
and
(
instance
?CP
ChangingPassword
)
(
agent
?CP ?A)
(
hasAccount
?A ?UA)
(
password
?P1 ?UA))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?P2)
(
and
(
instance
?P2
ComputerPassword
)
(
not
(
equal
?P2 ?P1))
(
password
?P2 ?UA)))))
ComputingBrands.kif 4079-4092
例
Process
and
ChangingPassword
agent
Process
and
AutonomousAgent
AutonomousAgent
有
account
用戶帳號
用戶帳號
有
password
電腦密碼
持有期間
眼前的未來
何時
Process
and
entity
例
entity
and
電腦密碼
等於
entity
and
電腦密碼
用戶帳號
有
password
entity
(=>
(
and
(
instance
?CP
ChangingUserName
)
(
agent
?CP ?A)
(
hasAccount
?A ?UA)
(
userName
?UA ?N1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?N2)
(
and
(
instance
?N2
UserName
)
(
not
(
equal
?N2 ?N1))
(
userName
?UA ?N2)))))
ComputingBrands.kif 4101-4114
例
Process
and
ChangingUserName
agent
Process
and
AutonomousAgent
AutonomousAgent
有
account
用戶帳號
用戶帳號
的
user
name
是
用戶名
持有期間
眼前的未來
何時
Process
and
entity
例
entity
and
用戶名
等於
entity
and
用戶名
用戶帳號
的
user
name
是
entity
(=>
(
and
(
instance
?CP
CreatingAnAccount
)
(
agent
?CP ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?UA ?P1 ?N)
(
and
(
hasAccount
?A ?UA)
(
password
?P1 ?UA)
(
userName
?UA ?N)))))
ComputingBrands.kif 4143-4153
例
Process
and
CreatingAnAccount
agent
Process
and
AutonomousAgent
持有期間
眼前的未來
何時
Process
and
entity
entity
and
entity
AutonomousAgent
有
account
entity
entity
有
password
entity
entity
的
user
name
是
entity
(=>
(
and
(
instance
?CREATE
Creation
)
(
result
?CREATE ?PROP)
(
instance
?PROP
Proposition
)
(
agent
?CREATE ?AGENT))
(
propositionOwner
?AGENT ?PROP))
Catalog.kif 172-178
例
Process
and
Creation
結果
Process
and
Proposition
例
Proposition
and
Proposition
agent
Process
and
CognitiveAgent
CognitiveAgent
authored
Proposition
(=>
(
and
(
instance
?D
Antidiuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
not
(
equal
?U1 ?U2))
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 10054-10077
例
Object
and
Antidiuretic
例
Motion
and
Ingesting
agent
Motion
and
AutonomousAgent
移動
Motion
and
Object
例
TimeInterval
and
Urination
結果
TimeInterval
and
Entity
agent
TimeInterval
and
AutonomousAgent
例
TimeInterval
and
Urination
等於
TimeInterval
and
TimeInterval
結果
TimeInterval
and
Entity
agent
TimeInterval
and
AutonomousAgent
早期
TimeInterval
and
Motion
早期
Motion
and
TimeInterval
例
UnitOfMeasure
and
UnitOfVolume
測量
TimeInterval
and
測量
RealNumber
and
UnitOfMeasure
測量
TimeInterval
and
測量
RealNumber
and
UnitOfMeasure
模態屬性
比較多
RealNumber
and
RealNumber
and
容易
(=>
(
and
(
instance
?D
Decelerating
)
(
agent
?D ?A))
(
exists
(?L1 ?L2 ?T1 ?T2 ?U1 ?U2)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
measure
?A
(
SpeedFn
(
MeasureFn
?L1 ?U1)
(
MeasureFn
?T1 ?U2))))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
measure
?A
(
SpeedFn
(
MeasureFn
?L2 ?U1)
(
MeasureFn
?T2 ?U2))))
(
or
(
greaterThan
?L1 ?L2)
(
greaterThan
?T1 ?T2)))))
Mid-level-ontology.kif 17170-17190
例
Process
and
減速
agent
Process
and
AutonomousAgent
RealNumber
RealNumber
,
RealNumber
,
RealNumber
,
entity
and
entity
持有期間
開始
何時
Process
and
測量
AutonomousAgent
and
速度
測量
RealNumber
and
entity
and
測量
RealNumber
and
entity
持有期間
結束
何時
Process
and
測量
AutonomousAgent
and
速度
測量
RealNumber
and
entity
and
測量
RealNumber
and
entity
比較多
RealNumber
and
RealNumber
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?D
DeletingAnAccount
)
(
instance
?AC
Account
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
hasAccount
?A ?AC))
(
patient
?D ?AC)
(
agent
?D ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?D))
(
not
(
hasAccount
?A ?AC))))
ComputingBrands.kif 4566-4576
例
Process
and
DeletingAnAccount
例
Entity
and
Account
持有期間
不久的過去
何時
Process
and
AutonomousAgent
有
account
Entity
患者
Process
and
Entity
agent
Process
and
AutonomousAgent
持有期間
眼前的未來
何時
Process
and
AutonomousAgent
有
account
Entity
(=>
(
and
(
instance
?D
DeliveryService
)
(
agent
?D ?AGENT))
(
capability
DeliveryService
agent
?AGENT))
Dining.kif 532-536
例
Process
and
DeliveryService
agent
Process
and
AutonomousAgent
能力
DeliveryService
,
agent
and
AutonomousAgent
(=>
(
and
(
instance
?D
DeliveryService
)
(
destination
?D ?LOC1)
(
deliveryRegion
?AGENT ?REGION)
(
conditionalProbability
(
located
?LOC1 ?REGION)
(
agent
?D ?AGENT) ?NUMBER1)
(
conditionalProbability
(
not
(
located
?LOC1 ?REGION))
(
agent
?D ?AGENT) ?NUMBER2))
(
lessThan
?NUMBER2 ?NUMBER1))
Dining.kif 552-561
例
Process
and
DeliveryService
目的地
Process
and
Entity
GeographicArea
是
AutonomousAgent
的
delivery
區域
條件概率
位於
Entity
and
GeographicArea
,
agent
Process
and
AutonomousAgent
and
RealNumber
條件概率
位於
Entity
and
GeographicArea
,
agent
Process
and
AutonomousAgent
and
RealNumber
少於
RealNumber
and
RealNumber
(=>
(
and
(
instance
?D
Demonstration
)
(
agent
?D ?A))
(
or
(
instance
?A
Human
)
(
instance
?A
GroupOfPeople
)))
MilitaryProcesses.kif 2663-2669
例
Process
and
示範
agent
Process
and
AutonomousAgent
例
AutonomousAgent
and
Human
例
AutonomousAgent
and
一群人
(=>
(
and
(
instance
?D
Demonstration
)
(
agent
?D ?G)
(
member
?A1 ?G)
(
member
?A2 ?G))
(
exists
(?P)
(
and
(
believes
?A1 ?P)
(
believes
?A2 ?P))))
MilitaryProcesses.kif 2673-2682
例
Process
and
示範
agent
Process
and
AutonomousAgent
會員
CognitiveAgent
and
AutonomousAgent
會員
CognitiveAgent
and
AutonomousAgent
Formula
相信
CognitiveAgent
and
Formula
相信
CognitiveAgent
and
Formula
(=>
(
and
(
instance
?D
Dismounting
)
(
agent
?D ?A)
(
patient
?D ?O))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
orientation
?A ?O
On
))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
not
(
orientation
?A ?O
On
)))))
Mid-level-ontology.kif 20002-20014
例
Process
and
拆卸
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
持有期間
開始
何時
Process
and
方位
AutonomousAgent
,
Entity
and
上
持有期間
結束
何時
Process
and
方位
AutonomousAgent
,
Entity
and
上
(=>
(
and
(
instance
?D
Diuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Mid-level-ontology.kif 10024-10045
例
Object
and
Diuretic
例
Motion
and
Ingesting
agent
Motion
and
AutonomousAgent
移動
Motion
and
Object
例
TimeInterval
and
Urination
結果
TimeInterval
and
Entity
agent
TimeInterval
and
AutonomousAgent
例
TimeInterval
and
Urination
結果
TimeInterval
and
Entity
agent
TimeInterval
and
AutonomousAgent
早期
TimeInterval
and
Motion
早期
Motion
and
TimeInterval
例
UnitOfMeasure
and
UnitOfVolume
測量
TimeInterval
and
測量
RealNumber
and
UnitOfMeasure
測量
TimeInterval
and
測量
RealNumber
and
UnitOfMeasure
模態屬性
比較多
RealNumber
and
RealNumber
and
容易
(=>
(
and
(
instance
?D
Dodging
)
(
agent
?D ?A)
(
equal
?DT
(
WhenFn
?D)))
(
hasPurpose
?D
(
not
(
exists
(?I)
(
and
(
or
(
meetsTemporally
?DT
(
WhenFn
?I))
(
overlapsTemporally
?DT
(
WhenFn
?I)))
(
instance
?I
Impacting
)
(
patient
?I ?A))))))
Mid-level-ontology.kif 450-463
例
Process
and
躲著
agent
Process
and
AutonomousAgent
等於
Process
T and
何時
Process
有目的
Process
and
entity
短暫相遇
Process
T and
何時
entity
暫時重疊
Process
T and
何時
entity
例
entity
and
Impacting
患者
entity
and
AutonomousAgent
(=>
(
and
(
instance
?DAMAGE
Damaging
)
(
agent
?DAMAGE ?PROP)
(
destination
?DAMAGE ?DEST)
(
instance
?DEST
CognitiveAgent
))
(
believes
?DEST
(
attribute
?PROP
Dangerous
)))
MilitaryPersons.kif 228-235
例
Process
and
Damaging
agent
Process
and
AutonomousAgent
目的地
Process
and
CognitiveAgent
例
CognitiveAgent
and
CognitiveAgent
相信
CognitiveAgent
and
attribute
AutonomousAgent
and
危險
(=>
(
and
(
instance
?DECIDE
Deciding
)
(
agent
?DECIDE ?A)
(
patient
?DECIDE ?S)
(
instance
?S
Set
)
(
result
?DECIDE ?X)
(
instance
?X
ContentBearingPhysical
))
(
containsFormula
?X
(
holdsDuring
(
FutureFn
(
WhenFn
?DECIDE))
(
exists
(?M)
(
and
(
element
?M ?S)
(
instance
?M
IntentionalProcess
)
(
agent
?M ?A))))))
Merge.kif 12068-12084
例
Process
and
決定
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
例
Entity
and
Set
結果
Process
and
內容承載物理
例
內容承載物理
and
內容承載物理
containsFormula
內容承載物理
and
持有期間
未來
何時
Process
and
entity
元件
entity
and
Entity
例
entity
and
IntentionalProcess
agent
entity
and
AutonomousAgent
(=>
(
and
(
instance
?DECIDE
Deciding
)
(
agent
?DECIDE ?AGENT)
(
instance
?S
Set
)
(
patient
?DECIDE ?S)
(
element
?M ?S))
(
believes
?AGENT
(
exists
(?CLASS)
(
and
(
instance
?M ?CLASS)
(
subclass
?CLASS
IntentionalProcess
)
(
capability
?CLASS
agent
?AGENT)))))
Merge.kif 12036-12048
例
Process
and
決定
agent
Process
and
CognitiveAgent
例
Set
and
Set
患者
Process
and
Set
元件
Entity
and
Set
相信
CognitiveAgent
and
entity
例
Entity
and
entity
子類
entity
and
IntentionalProcess
能力
entity
,
agent
and
CognitiveAgent
(=>
(
and
(
instance
?DEFENSE
DefensiveManeuver
)
(
agent
?DEFENSE ?AGENT))
(
hasPurposeForAgent
?DEFENSE
(
not
(
exists
(?DAMAGE)
(
and
(
instance
?DAMAGE
Damaging
)
(
patient
?DAMAGE ?AGENT)))) ?AGENT))
Merge.kif 13453-13462
例
Process
and
防守機動
agent
Process
and
AutonomousAgent
有代理人的目的
Process
,
entity
例
entity
and
Damaging
患者
entity
and
AutonomousAgent
and
AutonomousAgent
(=>
(
and
(
instance
?DESTR
PreciseDestruction
)
(
agent
?DESTR ?AGENT))
(
exists
(?WEAPON)
(
and
(
possesses
?AGENT ?WEAPON)
(
instrument
?DESTR ?WEAPON)
(
instance
?WEAPON
HighPrecisionWeapon
))))
MilitaryProcesses.kif 601-609
例
Process
and
精確破壞
agent
Process
and
AutonomousAgent
Object
擁有
AutonomousAgent
and
Object
儀器
Process
and
Object
例
Object
and
高精度武器
(=>
(
and
(
instance
?DIGEST
Digesting
)
(
agent
?DIGEST ?ORGANISM))
(
exists
(?INGEST)
(
and
(
instance
?INGEST
Ingesting
)
(
agent
?INGEST ?ORGANISM)
(
overlapsTemporally
(
WhenFn
?INGEST)
(
WhenFn
?DIGEST)))))
Merge.kif 10311-10319
例
Process
and
消化
agent
Process
and
AutonomousAgent
Process
例
Process
and
Ingesting
agent
Process
and
AutonomousAgent
暫時重疊
何時
Process
and
何時
Process
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