Object
(=>
(
and
(
instance
?O
Object
)
(
attribute
?O
ConvexRoundShape
)
(
surface
?TO ?O)
(
instance
?TO
TwoDimensionalObject
))
(
forall
(?P)
(
and
(
part
?P ?O)
(
attribute
?P
GeometricPoint
)
(
pointOfFigure
?P ?O)
(
meetsSpatially
?P ?O)
(
meetsSpatially
?P ?TO)
(
exists
(?T)
(
tangent
?T ?TO)))))
Mid-level-ontology.kif 4819-4833
例
SelfConnectedObject
and
Object
attribute
SelfConnectedObject
and
中凸的圓形
表面
SelfConnectedObject
and
SelfConnectedObject
例
SelfConnectedObject
and
二維物體
幾何點
部分
幾何點
and
SelfConnectedObject
attribute
幾何點
and
幾何點
點圖
幾何點
and
SelfConnectedObject
空間的符合
幾何點
and
SelfConnectedObject
空間的符合
幾何點
and
SelfConnectedObject
一維圖
切線
一維圖
and
SelfConnectedObject
(=>
(
and
(
instance
?OBJ
Object
)
(
attribute
?OBJ
Pliable
))
(
exists
(?CHANGE)
(
and
(
instance
?CHANGE
ShapeChange
)
(
patient
?CHANGE ?OBJ))))
Merge.kif 17746-17753
例
Object
and
Object
attribute
Object
and
易彎的
Process
例
Process
and
ShapeChange
患者
Process
and
Object
(=>
(
and
(
instance
?OBJ1
Object
)
(
partlyLocated
?OBJ1 ?OBJ2))
(
exists
(?SUB)
(
and
(
part
?SUB ?OBJ1)
(
located
?SUB ?OBJ2))))
Merge.kif 4061-4068
例
Object
and
Object
部分位於
Object
and
Object
Object
部分
Object
and
Object
位於
Object
and
Object
(=>
(
and
(
instance
?OBJ1
Object
)
(
partlyLocated
?OBJ1 ?OBJ2))
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 4055-4059
例
Object
and
Object
部分位於
Object
and
Object
在空間上重疊
Object
and
Object
(=>
(
and
(
instance
?PLACE
Object
)
(
instance
?BLOW
Wind
)
(
measure
?BLOW
(
VelocityFn
?DIST ?TIME ?PLACE ?DIRECTION)))
(
surfaceWindVelocity
?PLACE
(
SpeedFn
?DIST ?TIME) ?DIRECTION))
Weather.kif 125-130
例
Region
and
Object
例
Physical
and
風
測量
Physical
and
速度
LengthMeasure
,
TimeDuration
,
Region
and
DirectionalAttribute
Region
是 對於
DirectionalAttribute
的
surface
風速率
速度
LengthMeasure
and
TimeDuration
(=>
(
and
(
instance
?REL
CaseRole
)
(
instance
?OBJ
Object
)
(?REL ?PROCESS ?OBJ))
(
exists
(?TIME)
(
overlapsSpatially
(
WhereFn
?PROCESS ?TIME) ?OBJ)))
Merge.kif 9601-9607
例
Entity
and
CaseRole
例
Object
and
Object
Entity
Physical
and
Object
TimePoint
在空間上重疊
哪裡
Physical
and
TimePoint
and
Object
(=>
(
and
(
instance
?REPAYMENT
Repayment
)
(
instance
?REPAYMENT_DESTINATION
Object
)
(
destination
?REPAYMENT ?REPAYMENT_DESTINATION)
(
instance
?REPAYMENT_ORIGIN
Object
)
(
origin
?REPAYMENT ?REPAYMENT_ORIGIN))
(
exists
(?PAYMENT ?PAYMENT_ORIGIN ?PAYMENT_DESTINATION)
(
and
(
instance
?PAYMENT
Payment
)
(
instance
?PAYMENT_ORIGIN
Object
)
(
instance
?PAYMENT_DESTINATION
Object
)
(
not
(
equal
?PAYMENT ?REPAYMENT))
(
destination
?PAYMENT ?PAYMENT_DESTINATION)
(
origin
?PAYMENT ?PAYMENT_ORIGIN)
(
equal
?PAYMENT_ORIGIN ?REPAYMENT_DESTINATION)
(
equal
?PAYMENT_DESTINATION ?REPAYMENT_ORIGIN))))
UXExperimentalTerms.kif 1883-1900
例
Process
and
Repayment
例
Process
_DESTINATION and
Object
目的地
Process
and
Process
_DESTINATION
例
Process
_ORIGIN and
Object
起源
Process
and
Process
_ORIGIN
Process
Process
_ORIGIN and
Process
_DESTINATION
例
Process
and
付款
例
Process
_ORIGIN and
Object
例
Process
_DESTINATION and
Object
等於
Process
and
Process
目的地
Process
and
Process
_DESTINATION
起源
Process
and
Process
_ORIGIN
等於
Process
_ORIGIN and
Process
_DESTINATION
等於
Process
_DESTINATION and
Process
_ORIGIN
(=>
(
and
(
instance
?SALE
BargainSale
)
(
patient
?SALE ?OBJ)
(
instance
?OBJ
Object
))
(
exists
(?PRICE1 ?PRICE2 ?AGENT1 ?AGENT2 ?U)
(
and
(
instance
?U
UnitOfCurrency
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?SALE))
(
price
?OBJ
(
MeasureFn
?PRICE1 ?U) ?AGENT1))
(
holdsDuring
(
WhenFn
?SALE)
(
price
?OBJ
(
MeasureFn
?PRICE2 ?U) ?AGENT2))
(
lessThan
?PRICE2 ?PRICE1))))
Mid-level-ontology.kif 7848-7862
例
Process
and
廉價出售
患者
Process
and
Entity
例
Entity
and
Object
RealNumber
RealNumber
,
entity
,
entity
and
Entity
例
Entity
and
UnitOfCurrency
持有期間
不久的過去
何時
Process
and
Entity
是 對於
entity
的
price
測量
RealNumber
and
Entity
持有期間
何時
Process
and
Entity
是 對於
entity
的
price
測量
RealNumber
and
Entity
少於
RealNumber
and
RealNumber
(=>
(
and
(
instance
?SAW
Saw
)
(
instance
?CUT
Cutting
)
(
instrument
?CUT ?SAW)
(
instance
?OBJ
Object
)
(
patient
?CUT ?OBJ))
(
exists
(?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART)
(
and
(
instance
?MOTION
Motion
)
(
subProcess
?MOTION ?CUT)
(
instance
?PART
CuttingDevice
)
(
part
?PART ?SAW)
(
meetsSpatially
?PART ?OBJ)
(
patient
?MOTION ?PART)
(
instance
?T2
TimeInterval
)
(
instance
?T2
TimeInterval
)
(
equal
(
WhenFn
?MOTION) ?TIME)
(
temporalPart
?TIME ?T1)
(
temporalPart
?TIME ?T2)
(
instance
?DIR1
DirectionalAttribute
)
(
instance
?DIR2
DirectionalAttribute
)
(=>
(
holdsDuring
?T1
(
direction
?MOTION ?DIR1))
(
holdsDuring
?T2
(
and
(
direction
?MOTION ?DIR2)
(
or
(
equal
?DIR1 ?DIR2)
(
oppositeDirection
?DIR1 ?DIR2))
(
not
(
and
(
equal
?DIR1 ?DIR2)
(
oppositeDirection
?DIR1 ?DIR2)))))))))
Mid-level-ontology.kif 18150-18184
例
Object
and
鋸
例
Process
and
Cutting
儀器
Process
and
Object
例
Object
and
Object
患者
Process
and
Object
Process
Entity
,
Entity
,
TimeInterval
,
TimePosition
,
TimePosition
and
Object
例
Process
and
Motion
子過程
Process
and
Process
例
Object
and
切割裝置
部分
Object
and
Object
空間的符合
Object
and
Object
患者
Process
and
Object
例
TimePosition
and
TimeInterval
例
TimePosition
and
TimeInterval
等於
何時
Process
and
TimeInterval
時間部分
TimeInterval
and
TimePosition
時間部分
TimeInterval
and
TimePosition
例
Entity
and
DirectionalAttribute
例
Entity
and
DirectionalAttribute
持有期間
TimePosition
and
方向
Process
and
Entity
持有期間
TimePosition
and
方向
Process
and
Entity
等於
Entity
and
Entity
Entity
是
Entity
的
opposite
方向 ~{
等於
Entity
and
Entity
} ~{
Entity
是
Entity
的
opposite
方向 }
(=>
(
and
(
instance
?SEEING
Seeing
)
(
patient
?SEEING ?OBJ)
(
agent
?SEEING ?AGENT)
(
instance
?OBJ
Object
)
(
time
?SEEING ?TIME)
(
holdsDuring
?TIME
(
located
?OBJ ?PLACE)))
(
observedAtTimeInPlace
?OBJ ?AGENT ?TIME ?PLACE))
Justice.kif 61-69
例
Process
and
Seeing
患者
Process
and
Object
agent
Process
and
AutonomousAgent
例
Object
and
Object
時間
Process
and
TimePosition
持有期間
TimePosition
and
位於
Object
and
Object
Object
是在此刻
observed
對於
TimePosition
和
Object
在地方
AutonomousAgent
(=>
(
and
(
instance
?SELLINGS
Collection
)
(
instance
?GMV
CurrencyMeasure
)
(
instance
?TOTAL
RealNumber
)
(
equal
?GMV
(
GMVFn
?SELLINGS))
(
equal
?TOTAL
(
CardinalityFn
(
KappaFn
?ITEM
(
and
(
instance
?ITEM
Object
)
(
exists
(?SELLING)
(
and
(
member
?SELLING ?SELLINGS)
(
patient
?SELLING ?ITEM))))))))
(
equal
(
ASPFn
?SELLINGS)
(
DivisionFn
?GMV ?TOTAL)))
UXExperimentalTerms.kif 3282-3302
例
Collection
and
Collection
例
RealNumber
and
CurrencyMeasure
例
Integer
and
RealNumber
等於
RealNumber
and
Collection
的
value
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Object
entity
會員
entity
and
Collection
患者
entity
and
SymbolicString
等於
Collection
的
average
selling
price
and
部
RealNumber
and
Integer
(=>
(
and
(
instance
?TRANS
Buying
)
(
attribute
?TRANS
CBT
)
(
patient
?TRANS ?OBJ)
(
instance
?OBJ
Object
))
(
exists
(?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION)
(
and
(
instance
?BUYER
AutonomousAgent
)
(
instance
?SELLER
AutonomousAgent
)
(
agent
?TRANS ?BUYER)
(
origin
?TRANS ?SELLER)
(
instance
?BUYER_LOCATION
GeopoliticalArea
)
(
instance
?SELLER_LOCATION
GeopoliticalArea
)
(
located
?SELLER ?SELLER_LOCATION)
(
located
?BUYER ?BUYER_LOCATION)
(
not
(
equal
?BUYER_LOCATION ?SELLER_LOCATION)))))
UXExperimentalTerms.kif 1841-1858
例
Object
and
Buying
attribute
Object
and
CBT
患者
Object
and
Entity
例
Entity
and
Object
Object
AutonomousAgent
,
AutonomousAgent
_LOCATION and
Object
_LOCATION
例
AutonomousAgent
and
AutonomousAgent
例
Object
and
AutonomousAgent
agent
Object
and
AutonomousAgent
起源
Object
and
Object
例
AutonomousAgent
_LOCATION and
GeopoliticalArea
例
Object
_LOCATION and
GeopoliticalArea
位於
Object
and
Object
_LOCATION
位於
AutonomousAgent
and
AutonomousAgent
_LOCATION
等於
AutonomousAgent
_LOCATION and
Object
_LOCATION
(=>
(
and
(
instance
?TRANS
Selling
)
(
attribute
?TRANS
CBT
)
(
patient
?TRANS ?OBJ)
(
instance
?OBJ
Object
))
(
exists
(?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION)
(
and
(
instance
?BUYER
AutonomousAgent
)
(
instance
?SELLER
AutonomousAgent
)
(
destination
?TRANS ?BUYER)
(
agent
?TRANS ?SELLER)
(
instance
?BUYER_LOCATION
GeopoliticalArea
)
(
instance
?SELLER_LOCATION
GeopoliticalArea
)
(
located
?SELLER ?SELLER_LOCATION)
(
located
?BUYER ?BUYER_LOCATION)
(
not
(
equal
?BUYER_LOCATION ?SELLER_LOCATION)))))
UXExperimentalTerms.kif 1822-1839
例
Object
and
Selling
attribute
Object
and
CBT
患者
Object
and
Entity
例
Entity
and
Object
AutonomousAgent
Physical
,
Physical
_LOCATION and
AutonomousAgent
_LOCATION
例
Physical
and
AutonomousAgent
例
AutonomousAgent
and
AutonomousAgent
目的地
Object
and
Physical
agent
Object
and
AutonomousAgent
例
Physical
_LOCATION and
GeopoliticalArea
例
AutonomousAgent
_LOCATION and
GeopoliticalArea
位於
AutonomousAgent
and
AutonomousAgent
_LOCATION
位於
Physical
and
Physical
_LOCATION
等於
Physical
_LOCATION and
AutonomousAgent
_LOCATION
(=>
(
and
(
instance
?WATCH
WatchItem
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?OBJ
Object
)
(
agent
?WATCH ?AGENT)
(
patient
?WATCH ?OBJ))
(
inScopeOfInterest
?AGENT ?OBJ))
UXExperimentalTerms.kif 1596-1603
例
Process
and
WatchItem
例
CognitiveAgent
and
AutonomousAgent
例
Entity
and
Object
agent
Process
and
CognitiveAgent
患者
Process
and
Entity
在感興趣的範圍內
CognitiveAgent
and
Entity
(=>
(
and
(
instance
?WATCH
WatchItem
)
(
instance
?OBJ
Object
)
(
patient
?WATCH ?OBJ)
(
agent
?WATCH ?USER))
(
exists
(?COLL ?SITE ?AFTER ?INTERVAL)
(
and
(
instance
?COLL
Collection
)
(
instance
?SITE
WebSite
)
(
instance
?INTERVAL
TimeInterval
)
(
watchingListings
?USER ?COLL ?SITE)
(
equal
(
BeginFn
?INTERVAL)
(
EndFn
?WATCH))
(
holdsDuring
?AFTER
(
member
?OBJ ?COLL)))))
UXExperimentalTerms.kif 1605-1621
例
TimeInterval
and
WatchItem
例
Entity
and
Object
患者
TimeInterval
and
Entity
agent
TimeInterval
and
AutonomousAgent
Collection
WebSite
,
TimePosition
and
TimeInterval
例
Collection
and
Collection
例
WebSite
and
WebSite
例
TimeInterval
and
TimeInterval
使用者
AutonomousAgent
在
WebSite
是
watching
Collection
等於
開始
TimeInterval
and
結束
TimeInterval
持有期間
TimePosition
and
會員
Entity
and
Collection
(=>
(
and
(
instance
?ZEPHYR
WindFlow
)
(
instance
?PLACE
Object
)
(
partlyLocated
?ZEPHYR ?PLACE)
(
elevation
?ZEPHYR
(
MeasureFn
?X
FootLength
))
(
lessThanOrEqualTo
?X 500.0)
(
measure
?ZEPHYR
(
SpeedFn
?DIST ?TIME)))
(
surfaceWindSpeed
?PLACE
(
SpeedFn
?DIST ?TIME)))
Weather.kif 148-157
例
Object
and
WindFlow
例
Object
and
Object
部分位於
Object
and
Object
測量
RealNumber
and
腳長
是
Object
的
elevation
小於或等於
RealNumber
and 500.0
測量
Object
and
速度
LengthMeasure
and
TimeDuration
速度
LengthMeasure
and
TimeDuration
是
Object
的
surface
風速
(=>
(
and
(
instance
?ZEPHYR
WindFlow
)
(
instance
?PLACE
Object
)
(
partlyLocated
?ZEPHYR ?PLACE)
(
measure
?ZEPHYR
(
MeasureFn
?SPEED
KnotUnitOfSpeed
)))
(
surfaceWindSpeed
?PLACE
(
MeasureFn
?SPEED
KnotUnitOfSpeed
)))
Weather.kif 159-165
例
Physical
and
WindFlow
例
Object
and
Object
部分位於
Physical
and
Object
測量
Physical
and
測量
RealNumber
and
結速度單位
測量
RealNumber
and
結速度單位
是
Object
的
surface
風速
(=>
(
and
(
listingBidder
?LISTING ?AGENT)
(
instance
?OBJ
Object
)
(
patient
?LISTING ?OBJ))
(
exists
(?MONEY)
(
bidPrice
?OBJ ?MONEY ?AGENT)))
UXExperimentalTerms.kif 109-115
AutonomousAgent
對
WebListing
bids
例
Object
and
Object
患者
WebListing
and
Object
CurrencyMeasure
AutonomousAgent
bids
CurrencyMeasure
對於
Object
(=>
(
and
(
listingBuyer
?LISTING ?BUYER)
(
instance
?OBJ
Object
)
(
instance
?SITE
WebSite
)
(
patient
?LISTING ?OBJECT)
(
hostedOn
?LISTING ?SITE))
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
eCommerceSite
?BUYING ?SITE)
(
agent
?BUYING ?BUYER))))
UXExperimentalTerms.kif 86-98
AutonomousAgent
buys
WebListing
例
Entity
and
Object
例
WebSite
and
WebSite
患者
WebListing
and
Entity
ECT
WebListing
是在
WebSite
hosted
FinancialTransaction
例
FinancialTransaction
and
Buying
患者
FinancialTransaction
and
Entity
WebSite
facilitates
FinancialTransaction
agent
FinancialTransaction
and
AutonomousAgent
(=>
(
and
(
listingSeller
?LISTING ?AGENT)
(
instance
?OBJ
Object
)
(
patient
?LISTING ?OBJ))
(
desires
?AGENT
(
exists
(?SELLING)
(
patient
?SELLING ?OBJ))))
UXExperimentalTerms.kif 61-68
CognitiveAgent
sells
WebListing
例
Entity
and
Object
患者
WebListing
and
Entity
慾望
CognitiveAgent
and
entity
患者
entity
and
Entity
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
subclass
?TYPE
Object
))
(
exists
(?ITEM)
(
and
(
instance
?ITEM ?TYPE)
(
located
?ITEM ?AREA))))
Geography.kif 2271-2278
Physical
是區域
GeographicArea
的
natural
有害類別
子類
Physical
and
Object
Physical
例
Physical
and
Physical
位於
Physical
and
GeographicArea
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Object
)
(
instance
?PROCESSINST ?PROCESS)
(
subclass
?PROCESS
Process
)
(
instance
?OBJ ?CLASS)
(
patient
?PROCESSINST ?OBJ))
(
capability
?PROCESS
agent
?AGENT))
Catalog.kif 98-107
AutonomousAgent
offers
拍賣樣品在
Catalog
Entity
是在
Catalog
子類
Entity
and
Object
例
Process
and
Process
子類
Process
and
Process
例
Entity
and
Entity
患者
Process
and
Entity
能力
Process
,
agent
and
AutonomousAgent
(=>
(
and
(
offersAtTime
?AGENT ?CATALOG ?TIMEINT)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Object
)
(
instance
?PROCESSINSTANCE ?PROCESS)
(
subclass
?PROCESS
Process
)
(
instance
?OBJ ?CLASS)
(
patient
?PROCESSINSTANCE ?OBJ)
(
instance
?TIMEINT ?TIME)
(
subclass
?TIME
TimeInterval
))
(
capabilityDuring
?PROCESS
agent
?AGENT ?TIME))
Catalog.kif 139-150
AutonomousAgent
offers
拍賣樣品在
Catalog
在其間
TimeInterval
Entity
是在
Catalog
子類
Entity
and
Object
例
Process
and
Process
子類
Process
and
Process
例
Entity
and
Entity
患者
Process
and
Entity
例
TimeInterval
and
TimeInterval
子類
TimeInterval
and
TimeInterval
AutonomousAgent
是
capable
當成
agent
在
Process
在期間
TimeInterval
(=>
(
and
(
paidFunctionRoomAmenity
?FR ?PHYS)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?AGENT))
(
instance
?R
Renting
)
(
patient
?R ?RM)
(
destination
?R ?CUST)
(
instance
?X ?PHYS)
(
possesses
?AGENT ?X)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
exists
(?PRICE ?U)
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 871-897
HotelFunctionRoom
的 承租人 能
pay
去使用
Physical
例
Entity
and
HotelFunctionRoom
元件
Entity
and
屬性
AutonomousAgent
例
Process
and
租
患者
Process
and
Entity
目的地
Process
and
CognitiveAgent
例
Object
and
Physical
擁有
AutonomousAgent
and
Object
AutonomousAgent
是
CognitiveAgent
的
customer
例
Object
and
Process
agent
Object
and
CognitiveAgent
體驗者
Object
and
CognitiveAgent
擁有
AutonomousAgent
and
Object
例
Object
and
Object
使用
Object
and
CognitiveAgent
RealNumber
UnitOfMeasure
Object
是 對於
AutonomousAgent
的
price
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
比較多
RealNumber
and 0
(=>
(
and
(
paidPropertyAmenity
?AGENT ?PHYS)
(
instance
?X ?PHYS)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
exists
(?PRICE ?U)
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 569-589
AutonomousAgent
的 承租人 能
pay
去使用
Physical
例
Process
and
Physical
AutonomousAgent
是
CognitiveAgent
的
customer
例
Process
and
Process
agent
Process
and
CognitiveAgent
體驗者
Process
and
CognitiveAgent
擁有
AutonomousAgent
and
Process
例
Process
and
Object
使用
Process
and
CognitiveAgent
RealNumber
UnitOfMeasure
Process
是 對於
AutonomousAgent
的
price
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
比較多
RealNumber
and 0
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