WhenFn
(=>
(
and
(
instance
?COLL
Collection
)
(
instance
?SITE
WebSite
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?LISTING
WebListing
)
(
instance
?TIME
TimePoint
)
(
listingSeller
?LISTING ?AGENT)
(
not
(
member
?LISTING ?COLL))
(
forall
(?ITEM ?MEMBER)
(
and
(=>
(
and
(
instance
?ITEM
WebListing
)
(
member
?ITEM
(
SellersItemsFn
?AGENT ?SITE))
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
not
(
equal
?ITEM ?LISTING)))
(
member
?ITEM ?COLL))
(=>
(
member
?MEMBER ?COLL)
(
and
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
instance
?MEMBER
WebListing
))))))
(
equal
(
SellersOtherItemsFn
?AGENT ?SITE ?LISTING ?TIME) ?COLL))
UXExperimentalTerms.kif 1033-1060
例
Collection
and
Collection
例
WebSite
and
WebSite
例
AutonomousAgent
and
AutonomousAgent
例
WebListing
and
WebListing
例
TimePoint
and
TimePoint
AutonomousAgent
sells
WebListing
會員
WebListing
and
Collection
Physical
Physical
例
Physical
and
WebListing
會員
Physical
and 樣品對於
sale
由
AutonomousAgent
在
WebSite
時間部分
TimePoint
and
何時
Physical
等於
Physical
and
WebListing
會員
Physical
and
Collection
會員
Physical
and
Collection
時間部分
TimePoint
and
何時
Physical
例
Physical
and
WebListing
等於
東西對於
sale
由
AutonomousAgent
非列在
WebListing
在
WebSite
期間
TimePoint
and
Collection
(=>
(
and
(
instance
?CONST
(
ConstitutionFn
?COUNTRY))
(
instance
?COUNTRY
Nation
)
(
equal
?GOV
(
GovernmentFn
?COUNTRY))
(
instance
(
WhenFn
?GOV) ?CLASS)
(
agreementEffectiveDuring
?CONST ?CLASS)
(
subProposition
?PART ?CONST)
(
containsInformation
?FORMULA ?PART))
(
holdsObligation
?FORMULA ?GOV))
Government.kif 774-783
例
Proposition
and
GeopoliticalArea
的
constitution
例
GeopoliticalArea
and
Nation
等於
Government
and
政府
GeopoliticalArea
例
何時
Government
and
TimePosition
TimePosition
是
Proposition
的
agreement
生效其間
次提案
Proposition
and
Proposition
包含信息
Formula
and
Proposition
持有義務
Formula
and
Government
(=>
(
and
(
instance
?Compression
DataCompression
)
(
dataProcessed
?Compression ?Data)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?Compression))
(
memorySize
?Data
(
MeasureFn
?Memory ?Measure)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Compression))
(
memorySize
?Data
(
MeasureFn
?NewMemory ?Measure))))
(
lessThan
?NewMemory ?Memory))
QoSontology.kif 1926-1940
例
電腦程序
and
數據壓縮
數字數據
是由
電腦程序
processed
持有期間
不久的過去
何時
電腦程序
and
數字數據
requires
測量
RealNumber
and
entity
持有期間
眼前的未來
何時
電腦程序
and
數字數據
requires
測量
RealNumber
and
entity
少於
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
Detaching
)
(
patient
?D ?O1)
(
patient
?D ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
connected
?O1 ?O2))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2))))
(
and
(
objectDetached
?A ?O1)
(
objectDetached
?A ?O2)))
Merge.kif 12431-12440
例
Process
and
Detaching
患者
Process
and
Entity
患者
Process
and
Entity
持有期間
開始
何時
Process
and
連接的
Entity
and
Entity
持有期間
結束
何時
Process
and
連接的
Entity
and
Entity
objectDetached
Process
and
Entity
objectDetached
Process
and
Entity
(=>
(
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
?DEPOSITION
Deposition
)
(
patient
?DEPOSITION ?OBJ)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEPOSITION))
(
measure
?OBJ
(
MeasureFn
?X
Joule
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DEPOSITION))
(
measure
?OBJ
(
MeasureFn
?Y
Joule
))))
(
lessThan
?Y ?X))
Geography.kif 7016-7030
例
Process
and
Deposition
患者
Process
and
Entity
持有期間
不久的過去
何時
Process
and
測量
Entity
and
測量
RealNumber
and
焦耳
持有期間
眼前的未來
何時
Process
and
測量
Entity
and
測量
RealNumber
and
焦耳
少於
RealNumber
and
RealNumber
(=>
(
and
(
instance
?DISCOVER
Discovering
)
(
patient
?DISCOVER ?OBJ)
(
holdsDuring
(
WhenFn
?DISCOVER)
(
located
?OBJ ?PLACE)))
(
exists
(?LEARN)
(
and
(
instance
?LEARN
Learning
)
(
subProcess
?LEARN ?DISCOVER)
(
patient
?LEARN
(
located
?OBJ ?PLACE)))))
Merge.kif 11973-11982
例
Process
and
發現
患者
Process
and
Entity
持有期間
何時
Process
and
位於
Entity
and
entity
Process
例
Process
and
Learning
子過程
Process
and
Process
患者
Process
and
位於
Entity
and
entity
(=>
(
and
(
instance
?Deposit
Deposit
)
(
instance
?Account
FinancialAccount
)
(
destination
?Deposit
(
CurrencyFn
?Account))
(
transactionAmount
?Deposit
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Deposit))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
AdditionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
FutureFn
?Deposit))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 436-453
例
FinancialTransaction
and
存款
例
金融賬戶
and
金融賬戶
目的地
FinancialTransaction
and
金融賬戶
的
currency
測量
RealNumber
and
UnitOfMeasure
是
FinancialTransaction
的
transaction
總額
金融賬戶
對於 %3 的
current
帳戶存款
等於
RealNumber
and
加成
RealNumber
and
RealNumber
金融賬戶
對於 %3 的
current
帳戶存款
(=>
(
and
(
instance
?Downtick
Downtick
)
(
patient
?Downtick ?Stock)
(
equal
(
WhenFn
?Downtick) ?Time1)
(
instance
?U
UnitOfCurrency
)
(
price
?Stock
(
MeasureFn
?Price1 ?U) ?Time1))
(
exists
(?Transaction ?Time2 ?Price2)
(
and
(
instance
?Transaction
StockMarketTransaction
)
(
patient
?Transaction ?Stock)
(
equal
(
WhenFn
?Transaction) ?Time2)
(
meetsTemporally
?Time2 ?Time1)
(
price
?Stock
(
MeasureFn
?Price2 ?U) ?Time2)
(
greaterThan
?Price2 ?Price1))))
FinancialOntology.kif 3234-3250
例
Process
and
打勾
患者
Process
and
Physical
等於
何時
Process
and
AutonomousAgent
例
UnitOfMeasure
and
UnitOfCurrency
Physical
是 對於
AutonomousAgent
的
price
測量
RealNumber
and
UnitOfMeasure
Process
AutonomousAgent
and
RealNumber
例
Process
and
股市交易
患者
Process
and
Physical
等於
何時
Process
and
AutonomousAgent
短暫相遇
AutonomousAgent
and
AutonomousAgent
Physical
是 對於
AutonomousAgent
的
price
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?Drawing
DrawingACheck
)
(
patient
?Drawing ?Check)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check)
(
equal
(
WhenFn
?Drawing) ?DrawingTime)
(
equal
(
WhenFn
?Processing) ?ProcessingTime)
(
meetsTemporally
?DrawingTime ?Time)
(
meetsTemporally
?Time ?ProcessingTime)
(
duration
?Time
(
MeasureFn
?Duration
MonthDuration
)))
(
lessThan
?Duration 6))
FinancialOntology.kif 155-166
例
Process
and
畫一張支票
患者
Process
and
Entity
例
Process
and
處理檢查
患者
Process
and
Entity
等於
何時
Process
and
Process
Time
等於
何時
Process
and
Process
Time
短暫相遇
Process
Time and
TimeInterval
短暫相遇
TimeInterval
and
Process
Time
持續時間
TimeInterval
and
測量
RealNumber
and
月持續時間
少於
RealNumber
and 6
(=>
(
and
(
instance
?E
Motion
)
(
instance
?T
Tremor
)
(
instance
?D
Damper
)
(
patient
?T ?O)
(
part
?D ?O)
(
causes
?E ?T)
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
WhenFn
?E)
(
physicalAmplitude
?T
(
MeasureFn
?A1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
?E)
(
physicalAmplitude
?T
(
MeasureFn
?A2 ?U))))
(
greaterThan
?A1 ?A2))
Cars.kif 777-792
例
Process
and
Motion
例
Process
and
震
例
Object
and
Damper
患者
Process
and
Object
部分
Object
and
Object
原因
Process
and
Process
例
Entity
and
UnitOfLength
持有期間
何時
Process
and
physicalAmplitude
Process
and
測量
RealNumber
and
Entity
持有期間
眼前的未來
Process
and
physicalAmplitude
Process
and
測量
RealNumber
and
Entity
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
eventLocated
?EC ?E)
(
instance
?U
UnitOfVolume
)
(
holdsDuring
(
WhenFn
?EC)
(
maxCylinderVolume
?E
(
MeasureFn
?V1 ?U))))
(
not
(
exists
(?V2 ?T)
(
and
(
during
?T
(
WhenFn
?EC))
(
holdsDuring
?T
(
measure
?CC
(
MeasureFn
?V2 ?U)))
(
greaterThan
?V2 ?V1)))))
Cars.kif 1898-1917
例
Process
and
EngineCycle
例
Object
and
內燃機
例
Object
and
CombustionChamber
部分
Object
and
Object
Process
是
located
在
Object
例
Entity
and
UnitOfVolume
持有期間
何時
Process
and
maxCylinderVolume
Object
and
測量
RealNumber
and
Entity
RealNumber
TimeInterval
期間
TimeInterval
and
何時
Process
持有期間
TimeInterval
and
測量
Object
and
測量
RealNumber
and
Entity
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
eventLocated
?EC ?E)
(
instance
?U
UnitOfVolume
)
(
holdsDuring
(
WhenFn
?EC)
(
minCylinderVolume
?E
(
MeasureFn
?V1 ?U))))
(
not
(
exists
(?V2 ?T)
(
and
(
during
?T
(
WhenFn
?EC))
(
holdsDuring
?T
(
measure
?CC
(
MeasureFn
?V2 ?U)))
(
greaterThan
?V1 ?V2)))))
Cars.kif 1868-1887
例
Process
and
EngineCycle
例
Object
and
內燃機
例
Object
and
CombustionChamber
部分
Object
and
Object
Process
是
located
在
Object
例
Entity
and
UnitOfVolume
持有期間
何時
Process
and
minCylinderVolume
Object
and
測量
RealNumber
and
Entity
RealNumber
TimeInterval
期間
TimeInterval
and
何時
Process
持有期間
TimeInterval
and
測量
Object
and
測量
RealNumber
and
Entity
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
not
(
located
?ITEM ?AREA))))
Economy.kif 2421-2430
例
Process
and
出口
患者
Process
and
Entity
例
Entity
and
GeopoliticalArea
持有期間
開始
何時
Process
and
位於
Entity
and
Entity
持有期間
結束
何時
Process
and
位於
Entity
and
Entity
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1)))
(
exists
(?AREA2)
(
and
(
instance
?AREA2
GeopoliticalArea
)
(
not
(
geopoliticalSubdivision
?AREA1 ?AREA2))
(
not
(
geopoliticalSubdivision
?AREA2 ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))))
Economy.kif 2432-2445
例
Process
and
出口
患者
Process
and
Entity
例
GeopoliticalArea
and
GeopoliticalArea
持有期間
開始
何時
Process
and
位於
Entity
and
GeopoliticalArea
GeopoliticalArea
例
GeopoliticalArea
and
GeopoliticalArea
地緣政治細分
GeopoliticalArea
and
GeopoliticalArea
地緣政治細分
GeopoliticalArea
and
GeopoliticalArea
持有期間
結束
何時
Process
and
位於
Entity
and
GeopoliticalArea
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
instance
?AREA2
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))
(
not
(
located
?AREA2 ?AREA1)))
Economy.kif 2456-2466
例
Process
and
出口
患者
Process
and
Entity
例
Object
and
GeopoliticalArea
例
Physical
and
GeopoliticalArea
持有期間
開始
何時
Process
and
位於
Entity
and
Object
持有期間
結束
何時
Process
and
位於
Entity
and
Physical
位於
Physical
and
Object
(=>
(
and
(
instance
?F
Flooding
)
(
instance
?L
LandArea
)
(
eventLocated
?F ?L)
(
instance
?T
TimePoint
)
(
before
?T
(
WhenFn
?F)))
(
modalAttribute
(
holdsDuring
?T
(
instance
?L
SubmergedLandArea
))
Unlikely
))
Weather.kif 1598-1608
例
Process
and
洪水
例
Object
and
LandArea
Process
是
located
在
Object
例
TimePoint
and
TimePoint
之前
TimePoint
and
何時
Process
模態屬性
持有期間
TimePoint
and
例
Object
and
淹沒的土地面積
and
較不可能
(=>
(
and
(
instance
?FOG
Fogging
)
(
eventLocated
?FOG ?AREA)
(
instance
?AREA
GeographicArea
)
(
instance
?AIR
AtmosphericRegion
)
(
orientation
?AIR ?AREA
Above
)
(
instance
?A
Aerosal
)
(
locatedAtTime
?A
(
WhenFn
?FOG) ?AIR)
(
visibilityInMeteorology
?AREA
(
WhenFn
?FOG)
(
MeasureFn
?VISIBILITY
Meter
)))
(
lessThan
?VISIBILITY 1000.0))
Weather.kif 2537-2550
例
Process
and
Fogging
Process
是
located
在
Region
例
Region
and
GeographicArea
例
Object
and
大氣地區
方位
Object
,
Region
and
以上
例
Object
and
Aerosal
Object
對於
Object
在時間
何時
Process
located
visibility
在
Region
期間
何時
Process
是
測量
RealNumber
and
儀表
少於
RealNumber
and 1000.0
(=>
(
and
(
instance
?H
Man
)
(
attribute
?H
Mausaharati
)
(
instance
?D
Drumming
)
(
agent
?D ?H)
(
instance
?DAY
Day
)
(
instance
?S
Sunrise
)
(
during
?S ?DAY)
(
earlier
(
WhenFn
?D) ?S))
(
hasPurpose
?D
(
exists
(?P ?SUHUR ?WU)
(
and
(
instance
?WU
WakingUp
)
(
experiencer
?WU ?P)
(
instance
?SUHUR
Suhur
)
(
agent
?SUHUR ?P)
(
earlier
(
WhenFn
?WU)
(
WhenFn
?SUHUR))
(
during
(
WhenFn
?WU) ?DAY)
(
during
(
WhenFn
?SUHUR) ?DAY)))))
ArabicCulture.kif 65-84
例
AutonomousAgent
and
人
attribute
AutonomousAgent
and
mausaharati
例
Process
and
鼓聲
agent
Process
and
AutonomousAgent
例
Process
AY and
Day
例
TimeInterval
and
日出
期間
TimeInterval
and
Process
AY
早期
何時
Process
and
TimeInterval
有目的
Process
and
entity
TimeInterval
UHUR and
entity
例
entity
and
起來
體驗者
entity
and
entity
例
TimeInterval
UHUR and
封齋飯
agent
TimeInterval
UHUR and
entity
早期
何時
entity
and
何時
TimeInterval
UHUR
期間
何時
entity
and
Process
AY
期間
何時
TimeInterval
UHUR and
Process
AY
(=>
(
and
(
instance
?HAZE
AtmosphericHazing
)
(
eventLocated
?HAZE ?AREA)
(
instance
?AREA
GeographicArea
)
(
instance
?AIR
AtmosphericRegion
)
(
orientation
?AIR ?AREA
Above
)
(
locatedAtTime
?PARTICULATE
(
WhenFn
?HAZE) ?AIR)
(
visibilityInMeteorology
?AREA
(
WhenFn
?HAZE)
(
MeasureFn
?VISIBILITY
Kilometer
)))
(
and
(
greaterThan
?VISIBILITY 2.0)
(
lessThan
?VISIBILITY 5.0)))
Weather.kif 2566-2580
例
Process
and
AtmosphericHazing
Process
是
located
在
Region
例
Region
and
GeographicArea
例
Object
and
大氣地區
方位
Object
,
Region
and
以上
Object
對於
Object
在時間
何時
Process
located
visibility
在
Region
期間
何時
Process
是
測量
RealNumber
and
公里
比較多
RealNumber
and 2.0
少於
RealNumber
and 5.0
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?MS)
(
instance
?MS
MoodStabilizer
)
(
instance
?E ?EC)
(
involvedInEvent
?E ?H)
(
holdsDuring
(
WhenFn
?E)
(
attribute
?H ?ES))
(
instance
?ES
EmotionalState
)
(
instance
?E2 ?EC)
(
involvedInEvent
?E2 ?H)
(
earlier
(
WhenFn
?E2)
(
WhenFn
?I)))
(
modalAttribute
(
not
(
holdsDuring
?E2
(
attribute
?H ?ES)))
Unlikely
))
Mid-level-ontology.kif 9774-9795
例
Transfer
and
Ingesting
體驗者
Transfer
and
AutonomousAgent
objectTransferred
Transfer
and
Object
例
Object
and
MoodStabilizer
例
Process
and
Process
C
AutonomousAgent
是事件
Process
的
involved
持有期間
何時
Process
and
attribute
AutonomousAgent
and
Process
S
例
Process
S and
EmotionalState
例
Process
2 and
Process
C
AutonomousAgent
是事件
Process
2 的
involved
早期
何時
Process
2 and
何時
Transfer
模態屬性
持有期間
Process
2 and
attribute
AutonomousAgent
and
Process
S and
較不可能
(=>
(
and
(
instance
?L
Lever
)
(
instance
?P
Pushing
)
(
instance
?M1
Motion
)
(
instance
?U
UnitOfLength
)
(
destination
?P ?E1)
(
physicalEnd
?E1 ?L)
(
physicalEnd
?E2 ?L)
(
not
(
equal
?E1 ?E2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E1 ?P1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E1 ?P2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E2 ?P3))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E2 ?P4))
(
distance
?P1 ?P2
(
MeasureFn
?D1 ?U))
(
distance
?P3 ?P4
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))
Mid-level-ontology.kif 1332-1355
例
Object
and
Lever
例
Process
and
Pushing
例
Physical
and
Motion
例
UnitOfMeasure
and
UnitOfLength
目的地
Process
and
Object
physicalEnd
Object
and
Object
physicalEnd
Object
and
Object
等於
Object
and
Object
持有期間
不久的過去
何時
Physical
and
位於
Object
and
Process
持有期間
眼前的未來
何時
Physical
and
位於
Object
and
Process
持有期間
不久的過去
何時
Physical
and
位於
Object
and
Process
持有期間
眼前的未來
何時
Physical
and
位於
Object
and
Process
距離
Process
,
Process
and
測量
RealNumber
and
UnitOfMeasure
距離
Process
,
Process
and
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
(=>
(
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
可能性
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