during
(=>
(
and
(
instance
?ES
EasterSunday
)
(
instance
?L
Lent
)
(
meetsTemporally
?L ?ES)
(
during
?ES ?Y)
(
instance
?Y
Year
))
(
during
?L ?Y))
Media.kif 437-444
例
TimeInterval
and
EasterSunday
例
TimeInterval
and
Lent
短暫相遇
TimeInterval
and
TimeInterval
期間
TimeInterval
and
TimeInterval
例
TimeInterval
and
年
期間
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?ES
EasterSunday
)
(
instance
?L
Lent
)
(
meetsTemporally
?L ?ES)
(
during
?L ?Y)
(
instance
?Y
Year
))
(
during
?ES ?Y))
Media.kif 446-453
例
TimeInterval
and
EasterSunday
例
TimeInterval
and
Lent
短暫相遇
TimeInterval
and
TimeInterval
期間
TimeInterval
and
TimeInterval
例
TimeInterval
and
年
期間
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?INTERVAL
TimeInterval
))
(
equal
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE
(
and
(
instance
?PURCHASE
Buying
)
(
member
?PURCHASE
(
QualifyingPurchasesFn
?EXPERIMENT))
(
during
(
WhenFn
?PURCHASE) ?INTERVAL))))
(
CardinalityFn
(
KappaFn
?USER
(
and
(
member
?USER
(
TreatedUsersFn
?EXPERIMENT))
(
instance
?ACCESSING
AccessingWebPage
)
(
during
(
WhenFn
?ACCESSING) ?INTERVAL)
(
agent
?ACCESSING ?USER)))))
(
PPIFn
?EXPERIMENT ?INTERVAL)))
UXExperimentalTerms.kif 3095-3114
例
試驗
and
試驗
例
TimeInterval
and
TimeInterval
等於
部
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Buying
會員
SymbolicString
and
purchases
在
試驗
期間
何時
SymbolicString
and
TimeInterval
and
基數
卡帕
SymbolicString
and
會員
SymbolicString
and
treated
users
在
試驗
例
entity
and
AccessingWebPage
期間
何時
entity
and
TimeInterval
agent
entity
and
SymbolicString
and
purchases
per
user
在
試驗
期間
TimeInterval
(=>
(
and
(
instance
?F
(
FailureFn
?C))
(
agent
?F ?A))
(
and
(
desires
?A
(
exists
(?I)
(
and
(
instance
?I ?C)
(
agent
?I ?A))))
(
not
(
exists
(?I)
(
and
(
instance
?I ?C)
(
during
(
WhenFn
?I)
(
WhenFn
?F))
(
agent
?I ?A))))))
ComputingBrands.kif 4517-4532
例
Process
and
FailureFn
IntentionalProcess
agent
Process
and
CognitiveAgent
慾望
CognitiveAgent
and
Process
例
Process
and
IntentionalProcess
agent
Process
and
CognitiveAgent
Process
例
Process
and
IntentionalProcess
期間
何時
Process
and
何時
Process
agent
Process
and
CognitiveAgent
(=>
(
and
(
instance
?FL
FlashingLight
)
(
origin
?FL ?L))
(
exists
(?I1 ?T2 ?I3)
(
and
(
instance
?I1
RadiatingLight
)
(
instance
?T2
TimeInterval
)
(
instance
?I3
RadiatingLight
)
(
meetsTemporally
(
WhenFn
?I1) ?I2)
(
meetsTemporally
?I2
(
WhenFn
?I3))
(
not
(
exists
(?I2)
(
and
(
instance
?I2
RadiatingLight
)
(
origin
?I2 ?L)
(
during
(
WhenFn
?I2) ?T2))))
(
subProcess
?I1 ?FL)
(
subProcess
?I3 ?FL))))
Mid-level-ontology.kif 643-661
例
Process
and
FlashingLight
起源
Process
and
Object
Process
TimeInterval
and
Process
例
Process
and
RadiatingLight
例
TimeInterval
and
TimeInterval
例
Process
and
RadiatingLight
短暫相遇
何時
Process
and
TimeInterval
短暫相遇
TimeInterval
and
何時
Process
TimeInterval
例
TimeInterval
and
RadiatingLight
起源
TimeInterval
and
Object
期間
何時
TimeInterval
and
TimeInterval
子過程
Process
and
Process
子過程
Process
and
Process
(=>
(
and
(
instance
?FM
FoamingMilk
)
(
instance
?M
ProcessedMilk
)
(
patient
?FM ?M))
(
exists
(?H ?A ?B)
(
and
(
instance
?H
Heating
)
(
patient
?H ?M)
(
instance
?A
Aerating
)
(
patient
?A ?M)
(
result
?A ?B)
(
instance
?B
Bubble
)
(
during
(
WhenFn
?A)
(
WhenFn
?H)))))
Food.kif 1190-1205
例
Process
and
FoamingMilk
例
Entity
and
ProcessedMilk
患者
Process
and
Entity
Process
Process
and
Entity
例
Process
and
Heating
患者
Process
and
Entity
例
Process
and
曝氣
患者
Process
and
Entity
結果
Process
and
Entity
例
Entity
and
氣泡
期間
何時
Process
and
何時
Process
(=>
(
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
?HA
HeartAttack
)
(
instance
?H
Heart
)
(
located
?HA ?H))
(
exists
(?M)
(
and
(
instance
?M
Muscle
)
(
part
?M ?H)
(
not
(
exists
(?BF ?B)
(
and
(
instance
?BF
LiquidMotion
)
(
objectTransferred
?BF ?B)
(
instance
?B
Blood
)
(
during
?BF
(
WhenFn
?HA))
(
destination
?BF ?M)))))))
Mid-level-ontology.kif 11367-11384
例
Physical
and
HeartAttack
例
Object
and
心
位於
Physical
and
Object
Object
例
Object
and
Muscle
部分
Object
and
Object
TimeInterval
Object
例
TimeInterval
and
液體運動
objectTransferred
TimeInterval
and
Object
例
Object
and
Blood
期間
TimeInterval
and
何時
Physical
目的地
TimeInterval
and
Object
(=>
(
and
(
instance
?HA
Stroke
)
(
instance
?H
Brain
)
(
located
?HA ?H))
(
exists
(?M)
(
and
(
instance
?M
NerveCell
)
(
part
?M ?H)
(
not
(
exists
(?BF ?B)
(
and
(
instance
?BF
LiquidMotion
)
(
objectTransferred
?BF ?B)
(
instance
?B
Blood
)
(
during
?BF
(
WhenFn
?HA))
(
destination
?BF ?M)))))))
Mid-level-ontology.kif 11914-11931
例
Physical
and
Stroke
例
Object
and
腦
位於
Physical
and
Object
Object
例
Object
and
神經細胞
部分
Object
and
Object
TimeInterval
Object
例
TimeInterval
and
液體運動
objectTransferred
TimeInterval
and
Object
例
Object
and
Blood
期間
TimeInterval
and
何時
Physical
目的地
TimeInterval
and
Object
(=>
(
and
(
instance
?I
Injecting
)
(
instance
?A
Adalimumab
)
(
objectTransferred
?I ?A)
(
located
?I ?BP)
(
instance
?BP
BodyPart
)
(
destination
?I ?H))
(
modalAttribute
(
exists
(?T)
(
and
(
holdsDuring
?T
(
attribute
?H
(
PainFn
?BP)))
(
during
?T
(
FutureFn
(
WhenFn
?I)))))
Likely
))
Medicine.kif 3628-3644
例
Transfer
and
注射
例
Object
and
Adalimumab
objectTransferred
Transfer
and
Object
位於
Transfer
and
Object
例
Object
and
BodyPart
目的地
Transfer
and
Entity
模態屬性
entity
持有期間
entity
and
attribute
Entity
and
PainFn
Object
期間
entity
and
未來
何時
Transfer
and
容易
(=>
(
and
(
instance
?I
Itching
)
(
located
?I ?P)
(
part
?P ?H)
(
experiencer
?I ?H))
(
desires
?H
(
exists
(?S)
(
and
(
instance
?S
Scratching
)
(
during
(
WhenFn
?S)
(
WhenFn
?I))
(
located
?S ?P)))))
Mid-level-ontology.kif 5724-5735
例
Process
and
Itching
位於
Process
and
Object
部分
Object
and
CognitiveAgent
體驗者
Process
and
CognitiveAgent
慾望
CognitiveAgent
and
entity
例
entity
and
Scratching
期間
何時
entity
and
何時
Process
位於
entity
and
Object
(=>
(
and
(
instance
?INTERVAL
TimeInterval
)
(
instance
?SITE
WebSite
))
(
exists
(?NEWBUYERS)
(
and
(
instance
?NEWBUYERS
Collection
)
(
forall
(?AGENT)
(=>
(
member
?AGENT ?NEWBUYERS)
(
and
(
exists
(?BUYING)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?AGENT)
(
instrument
?BUYING ?SITE)
(
during
?BUYING ?INTERVAL)))
(
not
(
exists
(?INTERVAL_BEFORE)
(
and
(
instance
?INTERVAL_BEFORE
TimeInterval
)
(
earlier
?INTERVAL_BEFORE ?INTERVAL)
(
holdsDuring
?INTERVAL_BEFORE
(
exists
(?BUYING_BEFORE)
(
and
(
instance
?BUYING_BEFORE
Buying
)
(
agent
?BUYING_BEFORE ?AGENT)
(
instrument
?BUYING_BEFORE ?SITE)
(
during
?BUYING_BEFORE ?INTERVAL))))))))))
(
equal
(
SiteWideNewBuyersFn
?INTERVAL ?SITE) ?NEWBUYERS))))
UXExperimentalTerms.kif 3376-3408
例
TimeInterval
and
TimeInterval
例
WebSite
and
WebSite
Collection
例
Collection
and
Collection
AutonomousAgent
會員
AutonomousAgent
and
Collection
TimeInterval
例
AutonomousAgent
and
AutonomousAgent
例
TimeInterval
and
Buying
agent
TimeInterval
and
AutonomousAgent
儀器
TimeInterval
and
WebSite
期間
TimeInterval
and
TimeInterval
TimeInterval
_BEFORE
例
TimeInterval
_BEFORE and
TimeInterval
早期
TimeInterval
_BEFORE and
TimeInterval
持有期間
TimeInterval
_BEFORE and
TimeInterval
_BEFORE
例
TimeInterval
_BEFORE and
Buying
agent
TimeInterval
_BEFORE and
AutonomousAgent
儀器
TimeInterval
_BEFORE and
WebSite
期間
TimeInterval
_BEFORE and
TimeInterval
等於
new
buyers
在
WebSite
其間
TimeInterval
and
Collection
(=>
(
and
(
instance
?INTERVAL
TimeInterval
)
(
instance
?SITE
WebSite
))
(
exists
(?NEWREGISTRATIONS)
(
and
(
instance
?NEWREGISTRATIONS
Collection
)
(
forall
(?USER)
(=>
(
and
(
instance
?USER
Human
)
(
not
(
exists
(?INTERVAL_BEFORE)
(
and
(
instance
?INTERVAL_BEFORE
TimeInterval
)
(
earlier
?INTERVAL_BEFORE ?INTERVAL)
(
holdsDuring
?INTERVAL_BEFORE
(
registeredUser
?USER ?SITE)))))
(
exists
(?INTERVAL_DURING)
(
and
(
instance
?INTERVAL_DURING
TimeInterval
)
(
during
?INTERVAL_DURING ?INTERVAL)
(
holdsDuring
?INTERVAL
(
registeredUser
?USER ?SITE)))))
(
member
?USER ?NEWREGISTRATIONS)))
(
equal
?NEWREGISTRATIONS
(
SiteWideNewRegistrationsFn
?INTERVAL ?SITE)))))
UXExperimentalTerms.kif 3428-3455
例
TimeInterval
and
TimeInterval
例
WebSite
and
WebSite
Collection
例
Collection
and
Collection
Physical
例
Physical
and
Human
TimeInterval
_BEFORE
例
TimeInterval
_BEFORE and
TimeInterval
早期
TimeInterval
_BEFORE and
TimeInterval
持有期間
TimeInterval
_BEFORE and
Physical
是
WebSite
的
registered
user
TimeInterval
_DURING
例
TimeInterval
_DURING and
TimeInterval
期間
TimeInterval
_DURING and
TimeInterval
持有期間
TimeInterval
and
Physical
是
WebSite
的
registered
user
會員
Physical
and
Collection
等於
Collection
and
new
registrations
在
WebSite
期間
TimeInterval
(=>
(
and
(
instance
?INTERVAL
TimeInterval
)
(
instance
?SITE
WebSite
))
(
exists
(?NEWSELLERS)
(
and
(
instance
?NEWSELLERS
Collection
)
(
forall
(?AGENT)
(=>
(
member
?AGENT ?NEWSELLERS)
(
and
(
exists
(?SELLING)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?AGENT)
(
instrument
?SELLING ?SITE)
(
during
?SELLING ?INTERVAL)))
(
not
(
exists
(?INTERVAL_BEFORE)
(
and
(
instance
?INTERVAL_BEFORE
TimeInterval
)
(
earlier
?INTERVAL_BEFORE ?INTERVAL)
(
holdsDuring
?INTERVAL_BEFORE
(
exists
(?SELLING_BEFORE)
(
and
(
instance
?SELLING_BEFORE
Selling
)
(
agent
?SELLING_BEFORE ?AGENT)
(
instrument
?SELLING_BEFORE ?SITE)
(
during
?SELLING_BEFORE ?INTERVAL))))))))))
(
equal
(
SiteWideNewSellersFn
?INTERVAL ?SITE) ?NEWSELLERS))))
UXExperimentalTerms.kif 3475-3507
例
TimeInterval
and
TimeInterval
例
WebSite
and
WebSite
Collection
例
Collection
and
Collection
AutonomousAgent
會員
AutonomousAgent
and
Collection
TimeInterval
例
AutonomousAgent
and
AutonomousAgent
例
TimeInterval
and
Selling
agent
TimeInterval
and
AutonomousAgent
儀器
TimeInterval
and
WebSite
期間
TimeInterval
and
TimeInterval
TimeInterval
_BEFORE
例
TimeInterval
_BEFORE and
TimeInterval
早期
TimeInterval
_BEFORE and
TimeInterval
持有期間
TimeInterval
_BEFORE and
TimeInterval
_BEFORE
例
TimeInterval
_BEFORE and
Selling
agent
TimeInterval
_BEFORE and
AutonomousAgent
儀器
TimeInterval
_BEFORE and
WebSite
期間
TimeInterval
_BEFORE and
TimeInterval
等於
new
sellers
在
WebSite
期間
TimeInterval
and
Collection
(=>
(
and
(
instance
?M
GuidedMissile
)
(
instance
?FLYING
Flying
)
(
patient
?FLYING ?M))
(
exists
(?GUIDING)
(
and
(
instance
?GUIDING
Guiding
)
(
patient
?GUIDING ?FLYING)
(
agent
?GUIDING ?M)
(
during
(
WhenFn
?GUIDING)
(
WhenFn
?FLYING)))))
MilitaryDevices.kif 1051-1063
例
AutonomousAgent
and
導彈
例
Process
and
飛行
患者
Process
and
AutonomousAgent
Process
例
Process
and
Guiding
患者
Process
and
Process
agent
Process
and
AutonomousAgent
期間
何時
Process
and
何時
Process
(=>
(
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
?Q
QuarterYear
)
(
instance
?Q
(
QuarterFn
?N
(
YearFn
?Y)))
(
instance
?YI
(
YearFn
?Y)))
(
during
?Q ?YI))
Merge.kif 9002-9007
例
TimeInterval
and
QuarterYear
例
TimeInterval
and 號碼
PositiveInteger
年
Integer
的
quarter
例
Integer
I and
年
Integer
期間
TimeInterval
and
Integer
I
(=>
(
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
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
?T
Transportation
)
(
instance
?W
Wheel
)
(
instance
?A
Automobile
)
(
part
?W ?A)
(
instrument
?T ?A)
(
instance
?AB
AntilockBrake
)
(
instance
?D
Decelerating
)
(
instrument
?D ?AB)
(
part
?AB ?W))
(
hasPurpose
?AB
(
exists
(?R)
(
and
(
instance
?R
Rotating
)
(
during
?R ?D)))))
Cars.kif 1292-1307
例
Process
and
Transportation
例
Object
and
輪
例
Object
and
汽車
部分
Object
and
Object
儀器
Process
and
Object
例
Object
B and
AntilockBrake
例
Process
and
減速
儀器
Process
and
Object
B
部分
Object
B and
Object
有目的
Object
B and
entity
例
entity
and
旋轉
期間
entity
and
Process
(=>
(
and
(
instance
?T1
Advent
)
(
instance
?T2
ChristmasDay
)
(
during
?T1 ?YEAR)
(
instance
?YEAR
Year
)
(
meetsTemporally
?T1 ?T2))
(
during
?T2 ?YEAR))
Media.kif 387-394
例
TimeInterval
and
Advent
例
TimeInterval
and
ChristmasDay
期間
TimeInterval
and
TimeInterval
例
TimeInterval
and
年
短暫相遇
TimeInterval
and
TimeInterval
期間
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?T1
Advent
)
(
instance
?T2
ChristmasDay
)
(
during
?T2 ?YEAR)
(
instance
?YEAR
Year
)
(
meetsTemporally
?T1 ?T2))
(
during
?T1 ?YEAR))
Media.kif 396-403
例
TimeInterval
and
Advent
例
TimeInterval
and
ChristmasDay
期間
TimeInterval
and
TimeInterval
例
TimeInterval
and
年
短暫相遇
TimeInterval
and
TimeInterval
期間
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?T1
Advent
)
(
instance
?T2
ChristmasDay
)
(
meetsTemporally
?T1 ?T2))
(
exists
(?YEAR)
(
and
(
instance
?YEAR
Year
)
(
during
?T1 ?YEAR)
(
during
?T2 ?YEAR))))
Media.kif 376-385
例
TimeInterval
and
Advent
例
TimeInterval
and
ChristmasDay
短暫相遇
TimeInterval
and
TimeInterval
TimeInterval
例
TimeInterval
and
年
期間
TimeInterval
and
TimeInterval
期間
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?TSC
TwoStrokeCompression
)
(
eventLocated
?TSC ?E)
(
instance
?E
TwoStrokeEngine
))
(
exists
(?C)
(
and
(
instance
?C
Explosion
)
(
during
?C ?TSC)
(
eventLocated
?C ?E))))
Cars.kif 491-500
例
TimeInterval
and
TwoStrokeCompression
TimeInterval
是
located
在
Object
例
Object
and
TwoStrokeEngine
TimeInterval
例
TimeInterval
and
爆炸
期間
TimeInterval
and
TimeInterval
TimeInterval
是
located
在
Object
(=>
(
and
(
instance
?VISITS
Collection
)
(
instance
?PURCHASES
Collection
)
(
subCollection
?PURCHASES ?VISITS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?VISITS)
(
instance
?MEMBER
AccessingWebPage
)))
(
forall
(?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE)
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?BUYING
Buying
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
member
?ACCESSING ?VISITS)
(
destination
?ACCESSING ?PAGE)
(
agent
?BUYING ?VISITOR)
(
agent
?ACCESSING ?VISITOR)
(
during
(
WhenFn
?BUYING)
(
WhenFn
?ACCESSING))
(
instrument
?BUYING ?PAGE))
(
member
?BUYING ?PURCHASES))))
(
exists
(?INTERVAL ?PURCHASE_IN_INTERVAL ?VISIT_IN_INTERVAL)
(
equal
(
SCRFn
?VISITS ?INTERVAL)
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE_IN_INTERVAL
(
and
(
member
?PURCHASE_IN_INTERVAL ?PURCHASES)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))
(
CardinalityFn
(
KappaFn
?VISIT_IN_INTERVAL
(
and
(
member
?VISIT_IN_INTERVAL ?VISITS)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))))))
UXExperimentalTerms.kif 3668-3704
例
Collection
and
Collection
例
Collection
and
Collection
子集合
Collection
and
Collection
Physical
會員
Physical
and
Collection
例
Physical
and
AccessingWebPage
Process
AutonomousAgent
,
Process
,
Process
and
Object
例
AutonomousAgent
and
Human
例
Process
and
Buying
例
Process
and
AccessingWebPage
例
Object
and
WebPage
會員
Process
and
Collection
目的地
Process
and
Object
agent
Process
and
AutonomousAgent
agent
Process
and
AutonomousAgent
期間
何時
Process
and
何時
Process
儀器
Process
and
Object
會員
Process
and
Collection
TimeInterval
entity
_IN_INTERVAL and
entity
_IN_INTERVAL
等於
purchases
花在
Collection
期間
TimeInterval
and
部
基數
卡帕
entity
_IN_INTERVAL and
會員
entity
_IN_INTERVAL and
Collection
期間
何時
entity
_IN_INTERVAL and
TimeInterval
and
基數
卡帕
entity
_IN_INTERVAL and
會員
entity
_IN_INTERVAL and
Collection
期間
何時
entity
_IN_INTERVAL and
TimeInterval
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