Object
(=>
(
and
(
paidRoomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?O ?OBJ)
(
located
?O ?R)
(
instance
?P
Process
)
(
agent
?P ?GUEST)
(
or
(
located
?P ?R)
(
patient
?P ?O)
(
instrument
?P ?O)
(
resource
?P ?O)))
(
exists
(?PRICE ?U)
(
and
(
price
?O
(
MeasureFn
?PRICE ?U) ?GUEST)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 396-417
HotelUnit
的 承租人 能
pay
去使用
Physical
子類
Physical
and
Object
例
暫住
and
HotelUnit
Human
stays
在
暫住
元件
暫住
and
屬性
AutonomousAgent
例
Object
and
Physical
位於
Object
and
暫住
例
Process
and
Process
agent
Process
and
Human
位於
Process
and
暫住
患者
Process
and
Object
儀器
Process
and
Object
資源
Process
and
Object
Process
RICE
UnitOfMeasure
Object
是 對於
Human
的
price
測量
Process
RICE and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
比較多
Process
RICE and 0
(=>
(
and
(
roomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
))
(
forall
(?R)
(=>
(
instance
?R ?ROOM)
(
exists
(?O)
(
and
(
instance
?R ?ROOM)
(
instance
?O ?OBJ)
(
located
?O ?R))))))
Hotel.kif 281-292
Physical
是
amenity
在
HotelUnit
子類
Physical
and
Object
Object
例
Object
and
HotelUnit
Physical
例
Object
and
HotelUnit
例
Physical
and
Physical
位於
Physical
and
Object
(=>
(
and
(
subclass
?TYPE
Process
)
(
instance
?EVENT ?TYPE)
(
eventLocated
?EVENT ?REGION)
(
instance
?ROLE
CaseRole
)
(
instance
?OBJECT
Object
)
(
instance
?REGION
GeographicArea
)
(?ROLE ?EVENT ?OBJECT))
(
capableAtLocation
?TYPE ?ROLE ?OBJECT ?REGION))
Transportation.kif 2692-2701
子類
Process
and
Process
例
Process
and
Process
Process
是
located
在
Region
例
CaseRole
and
CaseRole
例
Object
and
Object
例
Region
and
GeographicArea
CaseRole
Process
and
Object
Process
capable
在地點
CaseRole
對於
Object
跟
Region
在一起
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
)
(
instance
?Time
DayTime
)
(
instance
?Observe
Looking
)
(
instance
?B
Object
)
(
color
?B
Black
)
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
eventLocated
?Observe ?Area)
(
during
(
WhenFn
?Observe) ?Time)
(
instance
?B
Object
))
(
exists
(?D2)
(
and
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?Distance ?D2))))
Weather.kif 2728-2748
visibility
在
Region
期間
TimeInterval
是
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfMeasure
例
TimeInterval
and
一天的時間
例
Process
and
看著
例
Object
and
Object
Object
是
黑色
的
color
agent
Process
and
AutonomousAgent
患者
Process
and
Object
方位
AutonomousAgent
,
Object
and
橫
Process
是
located
在
Region
期間
何時
Process
and
TimeInterval
例
Object
and
Object
RealNumber
距離
AutonomousAgent
,
Object
and
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
)
(
instance
?Time
NightTime
)
(
instance
?Observe
Looking
)
(
instance
?B
Region
)
(
attribute
?B
Illuminated
)
(
measure
?B
(
MeasureFn
1000.0
Candela
))
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
eventLocated
?Observe ?Area)
(
during
(
WhenFn
?Observe) ?Time)
(
instance
?B
Object
))
(
exists
(?D2)
(
and
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?Distance ?D2))))
Weather.kif 2750-2771
visibility
在
Region
期間
TimeInterval
是
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfMeasure
例
TimeInterval
and
晚上的時間
例
Process
and
看著
例
Object
and
Region
attribute
Object
and
發光的
測量
Object
and
測量
1000.0 and
坎德拉
agent
Process
and
AutonomousAgent
患者
Process
and
Object
方位
AutonomousAgent
,
Object
and
橫
Process
是
located
在
Region
期間
何時
Process
and
TimeInterval
例
Object
and
Object
RealNumber
距離
AutonomousAgent
,
Object
and
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
(=>
(
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
(=>
(
instance
?O
Object
)
(
capability
Translocation
destination
?O))
Merge.kif 858-860
例
Object
and
Object
能力
易位
,
目的地
and
Object
(=>
(
instance
?O
Object
)
(
capability
Translocation
origin
?O))
Merge.kif 854-856
例
Object
and
Object
能力
易位
,
起源
and
Object
(=>
(
instance
?OBJ
Object
)
(
exists
(?TIME1 ?TIME2)
(
and
(
instance
?TIME1
TimePoint
)
(
instance
?TIME2
TimePoint
)
(
before
?TIME1 ?TIME2)
(
forall
(?TIME)
(=>
(
and
(
beforeOrEqual
?TIME1 ?TIME)
(
beforeOrEqual
?TIME ?TIME2))
(
time
?OBJ ?TIME))))))
Merge.kif 8110-8122
例
Physical
and
Object
TimePoint
TimePoint
例
TimePoint
and
TimePoint
例
TimePoint
and
TimePoint
之前
TimePoint
and
TimePoint
TimePoint
之前或相等
TimePoint
and
TimePoint
之前或相等
TimePoint
and
TimePoint
時間
Physical
and
TimePoint
(=>
(
instance
?OBJ
Object
)
(
or
(
attribute
?OBJ
Monochromatic
)
(
attribute
?OBJ
Polychromatic
)))
Merge.kif 17699-17703
例
Object
and
Object
attribute
Object
and
單色
attribute
Object
and
多色
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