patient
(=>
(
and
(
instance
?BORROW
Borrowing
)
(
agent
?BORROW ?AGENT1)
(
origin
?BORROW ?AGENT2)
(
patient
?BORROW ?OBJECT))
(
exists
(?LEND)
(
and
(
instance
?LEND
Lending
)
(
agent
?LEND ?AGENT2)
(
destination
?LEND ?AGENT1)
(
patient
?LEND ?OBJECT))))
Merge.kif 11731-11742
例
Process
and
Borrowing
agent
Process
and
AutonomousAgent
起源
Process
and
AutonomousAgent
患者
Process
and
Entity
Process
例
Process
and
Lending
agent
Process
and
AutonomousAgent
目的地
Process
and
AutonomousAgent
患者
Process
and
Entity
(=>
(
and
(
instance
?BP
BrakePad
)
(
instance
?BR
BrakeRotor
)
(
instance
?R
Rotating
)
(
patient
?R ?BR)
(
instance
?F
Friction
)
(
resource
?F ?BP)
(
patient
?F ?BR))
(
not
(
patient
?R ?BP)))
Cars.kif 617-627
例
Object
and
BrakePad
例
Entity
and
BrakeRotor
例
Process
and
旋轉
患者
Process
and
Entity
例
Process
and
摩擦
資源
Process
and
Object
患者
Process
and
Entity
患者
Process
and
Object
(=>
(
and
(
instance
?BS
BrakeShoe
)
(
instance
?BD
BrakeDrum
)
(
instance
?R
Rotating
)
(
patient
?R ?BD)
(
instance
?F
Friction
)
(
resource
?F ?BS)
(
patient
?F ?BD))
(
not
(
patient
?R ?BS)))
Cars.kif 639-649
例
Object
and
BrakeShoe
例
Entity
and
BrakeDrum
例
Process
and
旋轉
患者
Process
and
Entity
例
Process
and
摩擦
資源
Process
and
Object
患者
Process
and
Entity
患者
Process
and
Object
(=>
(
and
(
instance
?BUY
Buying
)
(
agent
?BUY ?AGENT1)
(
origin
?BUY ?AGENT2)
(
patient
?BUY ?OBJECT))
(
exists
(?SELL)
(
and
(
instance
?SELL
Selling
)
(
agent
?SELL ?AGENT2)
(
destination
?SELL ?AGENT1)
(
patient
?SELL ?OBJECT))))
Merge.kif 11905-11916
例
Process
and
Buying
agent
Process
and
AutonomousAgent
起源
Process
and
AutonomousAgent
患者
Process
and
Entity
Process
例
Process
and
Selling
agent
Process
and
AutonomousAgent
目的地
Process
and
AutonomousAgent
患者
Process
and
Entity
(=>
(
and
(
instance
?C
CavalryUnit
)
(
instance
?B
Battle
)
(
agent
?B ?C))
(
exists
(?P ?V ?T)
(
and
(
attribute
?P
Soldier
)
(
member
?P ?C)
(
instance
?T
Transportation
)
(
agent
?T ?P)
(
instance
?V
Vehicle
)
(
patient
?T ?V)
(
during
?T ?B))))
Mid-level-ontology.kif 8387-8400
例
AutonomousAgent
and
騎兵部隊
例
TimeInterval
and
Battle
agent
TimeInterval
and
AutonomousAgent
AutonomousAgent
Entity
and
TimeInterval
attribute
AutonomousAgent
and
士兵
會員
AutonomousAgent
and
AutonomousAgent
例
TimeInterval
and
Transportation
agent
TimeInterval
and
AutonomousAgent
例
Entity
and
車輛
患者
TimeInterval
and
Entity
期間
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?C
Clutch
)
(
instance
?A
Automobile
)
(
instance
?E
Engine
)
(
instance
?G
Gearbox
)
(
instance
?GEAR
Gear
)
(
part
?GEAR ?G)
(
part
?G ?A)
(
part
?C ?A)
(
part
?E ?A)
(
instance
?M
Motion
)
(
patient
?M ?E)
(
attribute
?C
DeviceOff
))
(
exists
(?M2)
(
and
(
instance
?M2
Motion
)
(
patient
?M2 ?G)
(
causes
?M ?M2))))
Cars.kif 1838-1856
例
Object
and
Clutch
例
Object
and
汽車
例
Object
and
發動機
例
Object
and
變速器
例
Object
EAR and
齒輪
部分
Object
EAR and
Object
部分
Object
and
Object
部分
Object
and
Object
部分
Object
and
Object
例
Process
and
Motion
患者
Process
and
Object
attribute
Object
and
設備關閉
Process
例
Process
and
Motion
患者
Process
and
Object
原因
Process
and
Process
(=>
(
and
(
instance
?C
Clutch
)
(
instance
?A
Automobile
)
(
instance
?E
Engine
)
(
instance
?G
Gearbox
)
(
instance
?GEAR
Gear
)
(
part
?GEAR ?G)
(
part
?G ?A)
(
part
?C ?A)
(
part
?E ?A)
(
instance
?M
Motion
)
(
patient
?M ?E)
(
attribute
?C
DeviceOn
))
(
not
(
exists
(?M2)
(
and
(
instance
?M2
Motion
)
(
patient
?M2 ?G)
(
causes
?M ?M2)))))
Cars.kif 1817-1836
例
Object
and
Clutch
例
Object
and
汽車
例
Object
and
發動機
例
Object
and
變速器
例
Object
EAR and
齒輪
部分
Object
EAR and
Object
部分
Object
and
Object
部分
Object
and
Object
部分
Object
and
Object
例
Process
and
Motion
患者
Process
and
Object
attribute
Object
and
設備上
Process
例
Process
and
Motion
患者
Process
and
Object
原因
Process
and
Process
(=>
(
and
(
instance
?C
Concealing
)
(
patient
?C ?OBJ))
(
hasPurpose
?C
(
not
(
exists
(?S)
(
and
(
instance
?S
Seeing
)
(
patient
?S ?OBJ))))))
Mid-level-ontology.kif 5489-5498
例
Process
and
隱瞞
患者
Process
and
Entity
有目的
Process
and
entity
例
entity
and
Seeing
患者
entity
and
Entity
(=>
(
and
(
instance
?C
Convoy
)
(
member
?VEH ?C))
(
exists
(?DRIVE)
(
and
(
instance
?DRIVE
Driving
)
(
overlapsTemporally
(
WhenFn
?DRIVE)
(
WhenFn
?C))
(
patient
?DRIVE ?VEH))))
Mid-level-ontology.kif 22348-22356
例
Collection
and
護航
會員
Physical
and
Collection
Process
例
Process
and
Driving
暫時重疊
何時
Process
and
何時
Collection
患者
Process
and
Physical
(=>
(
and
(
instance
?C
Crankshaft
)
(
instance
?I
IntermittentCombustionEngine
)
(
part
?I ?C))
(
hasPurpose
?C
(
exists
(?E ?R)
(
and
(
instance
?E
Explosion
)
(
instance
?R
Rotating
)
(
patient
?R ?C)
(
eventLocated
?R ?I)
(
causes
?E ?R)))))
Cars.kif 349-361
例
Object
and
Crankshaft
例
Object
and
IntermittentCombustionEngine
部分
Object
and
Object
有目的
Object
and
entity
entity
例
entity
and
爆炸
例
entity
and
旋轉
患者
entity
and
Object
entity
是
located
在
Object
原因
entity
and
entity
(=>
(
and
(
instance
?C
Cricothyroidotomy
)
(
patient
?C ?O))
(
hasPurpose
?C
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
exists
(?B)
(
and
(
instance
?B
(
ImpairmentFn
Breathing
))
(
patient
?B ?O))))
(
not
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
exists
(?B)
(
and
(
instance
?B
(
ImpairmentFn
Breathing
))
(
patient
?B ?O))))))))
Medicine.kif 767-785
例
Process
and
Cricothyroidotomy
患者
Process
and
Entity
有目的
Process
and
持有期間
不久的過去
何時
Process
and
entity
例
entity
and
ImpairmentFn
Breathing
患者
entity
and
Entity
持有期間
眼前的未來
何時
Process
and
entity
例
entity
and
ImpairmentFn
Breathing
患者
entity
and
Entity
(=>
(
and
(
instance
?C
Crushing
)
(
patient
?C ?O)
(
instance
?O
Object
))
(
exists
(?B ?SC)
(
and
(
instance
?B
Breaking
)
(
causes
?C ?B)
(
subProcess
?B ?SC)
(
instance
?SC
ShapeChange
)
(
patient
?B ?O)
(
patient
?SC ?O))))
Food.kif 980-992
例
Process
and
Crushing
患者
Process
and
Entity
例
Entity
and
Object
Process
Process
例
Process
and
Breaking
原因
Process
and
Process
子過程
Process
and
Process
例
Process
and
ShapeChange
患者
Process
and
Entity
患者
Process
and
Entity
(=>
(
and
(
instance
?C
Crushing
)
(
patient
?C ?O)
(
instance
?O
Object
))
(
exists
(?SC)
(
and
(
result
?C ?SC)
(
instance
?SC
ShapeChange
)
(
patient
?SC ?O))))
Food.kif 994-1003
例
Process
and
Crushing
患者
Process
and
Entity
例
Entity
and
Object
Process
結果
Process
and
Process
例
Process
and
ShapeChange
患者
Process
and
Entity
(=>
(
and
(
instance
?C
Curdling
)
(
patient
?C ?X)
(
instance
?X
Colloid
))
(
exists
(?S ?A)
(
and
(
instance
?S
Separating
)
(
subProcess
?S ?C)
(
patient
?S ?X)
(
result
?S ?A)
(
piece
?A ?X)
(
instance
?A
Substance
))))
Food.kif 3199-3211
例
Process
and
Curdling
患者
Process
and
Substance
例
Substance
and
膠體
Process
Substance
例
Process
and
Separating
子過程
Process
and
Process
患者
Process
and
Substance
結果
Process
and
Substance
片
Substance
and
Substance
例
Substance
and
Substance
(=>
(
and
(
instance
?C
CurdlingMilk
)
(
instance
?M
Milk
)
(
patient
?C ?M))
(
exists
(?PH ?D ?H ?L)
(
and
(
measure
?M
(
MeasureFn
?PH
PHValue
))
(
instance
?D
Decreasing
)
(
subProcess
?D ?C)
(
patient
?D ?PH)
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
equal
?PH ?H)
(
approximateValue
?H 6.5))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
equal
?PH ?L)
(
approximateValue
?L 4.5)))))
Food.kif 3226-3247
例
Process
and
CurdlingMilk
例
Physical
and
奶
患者
Process
and
Physical
RealNumber
Process
,
entity
and
entity
測量
Physical
and
測量
RealNumber
and
酸鹼度
例
Process
and
Decreasing
子過程
Process
and
Process
患者
Process
and
RealNumber
持有期間
開始
何時
Process
,
等於
RealNumber
and
entity
and
approximateValue
entity
and 6.5
持有期間
結束
何時
Process
,
等於
RealNumber
and
entity
and
approximateValue
entity
and 4.5
(=>
(
and
(
instance
?C
CuringFood
)
(
instance
?F
Food
)
(
patient
?C ?F))
(
exists
(?D)
(
and
(
instance
?D
Drying
)
(
subProcess
?D ?C)
(
patient
?D ?F))))
Food.kif 96-105
例
Process
and
CuringFood
例
Entity
and
Food
患者
Process
and
Entity
Process
例
Process
and
Drying
子過程
Process
and
Process
患者
Process
and
Entity
(=>
(
and
(
instance
?CAB
GovernmentCabinet
)
(
subOrganization
?CAB
(
GovernmentFn
?AREA))
(
instance
?AREA
GeopoliticalArea
))
(
hasPurpose
?CAB
(
exists
(?ADVICE ?LEADER)
(
and
(
instance
?ADVICE
Stating
)
(
agent
?ADVICE ?CAB)
(
patient
?ADVICE ?LEADER)
(
leader
?LEADER
(
GovernmentFn
?AREA))))))
Government.kif 1513-1524
例
Organization
and
政府內閣
子組織
Organization
and
政府
GeopoliticalArea
例
GeopoliticalArea
and
GeopoliticalArea
有目的
Organization
and
entity
entity
例
entity
and
Stating
agent
entity
and
Organization
患者
entity
and
entity
政府
GeopoliticalArea
是
entity
的
leader
(=>
(
and
(
instance
?COLL
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?COLL)
(
instance
?MEMBER
FinancialTransaction
))))
(
exists
(?ITEM ?BUYING)
(
equal
(
CardinalityFn
(
KappaFn
?ITEM
(
and
(
instance
?ITEM
Physical
)
(
instance
?BUYING
Buying
)
(
member
?BUYING ?COLL)
(
patient
?BUYING ?ITEM))))
(
BoughtItemsFn
?COLL))))
UXExperimentalTerms.kif 2887-2903
例
Collection
and
Collection
Physical
會員
Physical
and
Collection
例
Physical
and
FinancialTransaction
SymbolicString
entity
等於
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Physical
例
entity
and
Buying
會員
entity
and
Collection
患者
entity
and
SymbolicString
and 在
Collection
裡購買的樣品數量
(=>
(
and
(
instance
?COLL
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?COLL)
(
instance
?MEMBER
WebListing
))))
(
equal
(
DivisionFn
(
CardinalityFn
(
exists
(?LISTING ?SITE ?ITEM)
(
KappaFn
?LISTING
(
and
(
instance
?LISTING
WebListing
)
(
instance
?SITE
WebSite
)
(
instance
?ITEM
Physical
)
(
member
?LISTING ?COLL)
(
patient
?LISTING ?ITEM)
(
hostedOn
?LISTING ?SITE)
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?ITEM)
(
eCommerceSite
?BUYING ?SITE)))))))
(
CardinalityFn
?COLL))
(
BidCountFn
?COLL)))
UXExperimentalTerms.kif 2845-2870
例
Collection
and
Collection
Physical
會員
Physical
and
Collection
例
Physical
and
WebListing
等於
部
基數
entity
entity
and
entity
卡帕
entity
and
例
entity
and
WebListing
例
entity
and
WebSite
例
entity
and
Physical
會員
entity
and
Collection
患者
entity
and
entity
entity
是在
entity
hosted
entity
例
entity
and
Buying
患者
entity
and
entity
entity
facilitates
entity
and
基數
Collection
and 在
Collection
的
bids
數字
(=>
(
and
(
instance
?COLL
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?COLL)
(
instance
?MEMBER
WebListing
))))
(
exists
(?BIDDING ?ITEM ?LISTING ?BIDDING)
(
equal
(
CardinalityFn
(
KappaFn
?BIDDING
(
and
(
instance
?ITEM
Physical
)
(
instance
?LISTING
WebListing
)
(
instance
?BIDDING
Bidding
)
(
member
?LISTING ?COLL)
(
objectOfBid
?BIDDING ?ITEM)
(
patient
?LISTING ?ITEM))))
(
BidCountFn
?COLL))))
UXExperimentalTerms.kif 2922-2940
例
Collection
and
Collection
Physical
會員
Physical
and
Collection
例
Physical
and
WebListing
SymbolicString
entity
,
entity
and
SymbolicString
等於
基數
卡帕
SymbolicString
and
例
entity
and
Physical
例
entity
and
WebListing
例
SymbolicString
and
Bidding
會員
entity
and
Collection
SymbolicString
是個
bid
對於
entity
患者
entity
and
entity
and 在
Collection
的
bids
數字
(=>
(
and
(
instance
?COMMENTING
Commenting
)
(
instance
?PROCESS
Process
)
(
patient
?COMMENTING ?PROCESS))
(
exists
(?AGENT ?SPEAKING ?LOOKING)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?SPEAKING
Speaking
)
(
instance
?LOOKING
Looking
)
(
agent
?SPEAKING ?AGENT)
(
agent
?LOOKING ?AGENT)
(
patient
?LOOKING ?PROCESS)
(
refers
?SPEAKING ?PROCESS))))
Mid-level-ontology.kif 15887-15900
例
Process
and
Commenting
例
Entity
and
Process
患者
Process
and
Entity
AutonomousAgent
Process
and
Process
例
AutonomousAgent
and
AutonomousAgent
例
Process
and
說話
例
Process
and
看著
agent
Process
and
AutonomousAgent
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
參照
Process
and
Entity
(=>
(
and
(
instance
?CONFINE
Confining
)
(
patient
?CONFINE ?PERSON)
(
instance
?PERSON
Human
))
(
not
(
desires
?PERSON
(
patient
?CONFINE ?PERSON))))
Merge.kif 12212-12217
例
Process
and
Confining
患者
Process
and
CognitiveAgent
例
CognitiveAgent
and
Human
慾望
CognitiveAgent
and
患者
Process
and
CognitiveAgent
(=>
(
and
(
instance
?Card
DebitCard
)
(
possesses
?Agent ?Card)
(
instance
?Transaction
FinancialTransaction
)
(
instrument
?Transaction ?Card))
(
exists
(?PIN ?Enter)
(
and
(
pin
?PIN ?Card)
(
instance
?Enter
EnteringAPin
)
(
patient
?Enter ?PIN)
(
agent
?Enter ?Agent))))
FinancialOntology.kif 3543-3554
例
銀行卡
and
金融卡
擁有
AutonomousAgent
and
銀行卡
例
Process
and
FinancialTransaction
儀器
Process
and
銀行卡
SymbolicString
Process
銀行卡
是
SymbolicString
的
pin
例
Process
and
輸入PIN碼
患者
Process
and
SymbolicString
agent
Process
and
AutonomousAgent
(=>
(
and
(
instance
?Check
Check
)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check))
(
exists
(?Depositing)
(
and
(
instance
?Depositing
DepositingACheck
)
(
patient
?Depositing ?Check)
(
time
?Depositing
(
ImmediatePastFn
(
WhenFn
?Processing))))))
FinancialOntology.kif 137-146
例
Entity
and
校驗
例
Process
and
處理檢查
患者
Process
and
Entity
Process
例
Process
and
存款支票
患者
Process
and
Entity
時間
Process
and
不久的過去
何時
Process
(=>
(
and
(
instance
?Check
VerifyingCardCode
)
(
patient
?Check ?Code)
(
cardCode
?Code ?Card))
(
exists
(?Decode)
(
and
(
instance
?Decode
Decoding
)
(
subProcess
?Decode ?Check)
(
patient
?Decode ?Code))))
FinancialOntology.kif 3572-3581
例
Process
and
驗證卡代碼
患者
Process
and
ContentBearingObject
銀行卡
是
ContentBearingObject
的
card
代號
Process
例
Process
and
Decoding
子過程
Process
and
Process
患者
Process
and
ContentBearingObject
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