destination
(=>
(
and
(
instance
?THREATEN
Threatening
)
(
patient
?THREATEN ?PROP)
(
destination
?THREATEN ?DEST))
(
not
(
desires
?DEST ?PROP)))
Mid-level-ontology.kif 860-865
例
Process
and
危險的
患者
Process
and
Formula
目的地
Process
and
CognitiveAgent
慾望
CognitiveAgent
and
Formula
(=>
(
and
(
instance
?TRANSPORT
Vehicle
)
(
instance
?MOVE
Translocation
)
(
instrument
?MOVE ?TRANSPORT)
(
destination
?MOVE ?TO))
(
holdsDuring
(
BeginFn
(
WhenFn
?MOVE))
(
located
?TRANSPORT ?TO)))
Merge.kif 15992-15998
例
Object
and
車輛
例
Process
and
易位
儀器
Process
and
Object
目的地
Process
and
Entity
持有期間
開始
何時
Process
and
位於
Object
and
Entity
(=>
(
and
(
instance
?Transaction
FinancialTransaction
)
(
destination
?Transaction ?Agent))
(
and
(
instance
?Service
CommercialService
)
(
agent
?Service ?Agent)
(
attribute
?Service
OpenService
)))
FinancialOntology.kif 3959-3966
例
Process
and
FinancialTransaction
目的地
Process
and
AutonomousAgent
例
Process
and
商業服務
agent
Process
and
AutonomousAgent
attribute
Process
and
開放服務
(=>
(
and
(
instance
?Transfer
ExternalTransfer
)
(
origin
?Transfer ?Organization1)
(
instance
?Organization1
FinancialOrganization
)
(
destination
?Transfer ?Organization2)
(
instance
?Organization2
FinancialOrganization
))
(
equal
?Organization1 ?Organization2))
FinancialOntology.kif 4143-4150
例
Process
and
外部轉移
起源
Process
and
Object
例
Object
and
金融機構
目的地
Process
and
Entity
例
Entity
and
金融機構
等於
Object
and
Entity
(=>
(
and
(
instance
?Transfer
ExternalTransfer
)
(
origin
?Transfer ?Organization1)
(
instance
?Organization1
FinancialOrganization
)
(
destination
?Transfer ?Organization2)
(
instance
?Organization2
FinancialOrganization
))
(
not
(
equal
?Organization1 ?Organization2)))
FinancialOntology.kif 4129-4136
例
Process
and
外部轉移
起源
Process
and
Object
例
Object
and
金融機構
目的地
Process
and
Entity
例
Entity
and
金融機構
等於
Object
and
Entity
(=>
(
and
(
instance
?U
UnitOfCurrency
)
(
reservePrice
?AUCTION
(
MeasureFn
?AMOUNT ?U))
(
destination
?AUCTION ?BUYER))
(
exists
(?OFFER ?ITEM)
(
and
(
bidPrice
?ITEM
(
MeasureFn
?OFFER ?U) ?BUYER)
(
greaterThan
?OFFER ?AMOUNT))))
UXExperimentalTerms.kif 415-423
例
UnitOfMeasure
and
UnitOfCurrency
Auctioning
的
reserve
price
是
測量
RealNumber
and
UnitOfMeasure
目的地
Auctioning
and
AutonomousAgent
RealNumber
Object
AutonomousAgent
bids
測量
RealNumber
and
UnitOfMeasure
對於
Object
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?VCS
VentedChestSeal
)
(
instance
?A
Attaching
)
(
objectTransferred
?A ?VCS)
(
destination
?A ?H))
(
hasPurpose
?VCS
(
exists
(?A ?L ?C ?H)
(
and
(
instance
?A
Air
)
(
instance
?L
Lung
)
(
instance
?C
Chest
)
(
part
?L ?H)
(
part
?C ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?A))
(
between
?L ?A ?C))
(
hasPurpose
?VCS
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?A))
(
orientation
?A ?H
Outside
)))))))
Medicine.kif 853-875
例
Object
and
VentedChestSeal
例
Transfer
and
Attaching
objectTransferred
Transfer
and
Object
目的地
Transfer
and
Entity
有目的
Object
and
Transfer
entity
,
entity
and
Entity
例
Transfer
and
空氣
例
entity
and
肺
例
entity
and
Chest
部分
entity
and
Entity
部分
entity
and
Entity
持有期間
不久的過去
何時
Transfer
and
之間
entity
,
Transfer
and
entity
有目的
Object
and
持有期間
眼前的未來
何時
Transfer
and
方位
Transfer
,
Entity
and
外
(=>
(
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
(=>
(
and
(
monetaryValue
?Check ?Amount)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check)
(
destination
?Processing
(
CurrencyFn
?Account))
(
instance
?Account
FinancialAccount
)
(
equal
(
WhenFn
?Processing) ?ProcessingTime))
(
exists
(?Deposit ?DepositTime)
(
and
(
instance
?Deposit
Deposit
)
(
instrument
?Deposit ?Check)
(
equal
(
WhenFn
?Deposit) ?DepositTime)
(
meetsTemporally
?ProcessingTime ?DepositTime)
(
transactionAmount
?Deposit ?Amount)
(
destination
?Deposit
(
CurrencyFn
?Account)))))
FinancialOntology.kif 120-135
貨幣價值
Object
and
CurrencyMeasure
例
Process
and
處理檢查
患者
Process
and
Object
目的地
Process
and
金融賬戶
的
currency
例
金融賬戶
and
金融賬戶
等於
何時
Process
and
Process
Time
FinancialTransaction
FinancialTransaction
Time
例
FinancialTransaction
and
存款
儀器
FinancialTransaction
and
Object
等於
何時
FinancialTransaction
and
FinancialTransaction
Time
短暫相遇
Process
Time and
FinancialTransaction
Time
CurrencyMeasure
是
FinancialTransaction
的
transaction
總額
目的地
FinancialTransaction
and
金融賬戶
的
currency
(=>
(
and
(
origin
AntarcticCircumpolarCurrent
?START)
(
destination
AntarcticCircumpolarCurrent
?FINISH))
(
distance
?START ?FINISH
(
MeasureFn
21000.0
(
KiloFn
Meter
))))
Geography.kif 4697-4703
起源
南極極地電流
and
Object
目的地
南極極地電流
and
Physical
距離
Object
,
Physical
and
測量
21000.0 and
千
儀表
(=>
(
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
(
path
?PROCESS ?PATH1)
(
origin
?PROCESS ?SOURCE)
(
destination
?PROCESS ?DEST)
(
length
?PATH1
(
MeasureFn
?MEASURE1 ?U))
(
distance
?SOURCE ?DEST
(
MeasureFn
?DISTANCE ?U))
(
not
(
greaterThan
?MEASURE1 ?DISTANCE))
(
part
?OBJ ?PATH1))
(
between
?SOURCE ?OBJ ?DEST))
Merge.kif 11082-11092
路徑
Motion
and
Object
起源
Motion
and
Object
目的地
Motion
and
Object
length
Object
and
測量
RealNumber
and
UnitOfMeasure
距離
Object
,
Object
and
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
部分
Object
and
Object
之間
Object
,
Object
and
Object
(=>
(
and
(
possesses
?BUS ?PARK)
(
instance
?BUS
CommercialAgent
)
(
instance
?PARK
ParkingLot
)
(
instance
?BLDG
Building
)
(
located
?BUS ?BLDG)
(
customer
?BUS ?CUST)
(
holdsDuring
?T
(
located
?CUST ?BLDG))
(
instance
?DRIVE
Driving
)
(
patient
?DRIVE ?VEHICLE)
(
agent
?DRIVE ?CUST)
(
destination
?DRIVE ?BLDG))
(
holdsDuring
?T
(
confersRight
(
and
(
instance
?PUT
Keeping
)
(
destination
?PUT ?PARK)
(
patient
?PUT ?VEHICLE)) ?BUS ?CUST)))
TransportDetail.kif 102-121
擁有
CognitiveAgent
and
Object
例
CognitiveAgent
and
商業代理人
例
Object
and
停車場
例
Object
and
Building
位於
CognitiveAgent
and
Object
AutonomousAgent
是
CognitiveAgent
的
customer
持有期間
TimePosition
and
位於
AutonomousAgent
and
Object
例
Process
and
Driving
患者
Process
and
Entity
agent
Process
and
AutonomousAgent
目的地
Process
and
Object
持有期間
TimePosition
and
賦予權利
例
entity
and
Keeping
目的地
entity
and
Object
患者
entity
and
Entity
,
CognitiveAgent
and
AutonomousAgent
(=>
(
and
(
transactionAmount
?Payment ?Amount)
(
date
?Payment ?Date)
(
instance
?Account
FinancialAccount
)
(
destination
?Payment
(
CurrencyFn
?Account))
(
amountDue
?Account ?Amount ?DueDate)
(
before
(
EndFn
?Date)
(
BeginFn
?DueDate)))
(
instance
?Payment
Prepayment
))
FinancialOntology.kif 834-842
CurrencyMeasure
是
FinancialTransaction
的
transaction
總額
日期
FinancialTransaction
and
Day
例
金融賬戶
and
金融賬戶
目的地
FinancialTransaction
and
金融賬戶
的
currency
金融賬戶
對於
TimeInterval
到期的
amount
CurrencyMeasure
之前
結束
Day
and
開始
TimeInterval
例
FinancialTransaction
and
預付款
(=>
(
destination
?PROCESS ?LOC)
(
eventPartlyLocated
?PROCESS ?LOC))
Merge.kif 4113-4115
目的地
Process
and
Object
Process
是
partly
located
在
Object
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