contains
(=>
(
instance
?GT
GasTank
)
(
hasPurpose
?GT
(
exists
(?F ?T ?E)
(
and
(
instance
?F
Fuel
)
(
contains
?GT ?F)
(
instance
?E
Engine
)
(
instance
?T
Transfer
)
(
origin
?T ?GT)
(
destination
?T ?E)
(
patient
?T ?F)))))
Cars.kif 1000-1011
例
Physical
and
GasTank
有目的
Physical
and
entity
entity
and
entity
例
entity
and
汽油
包含
Physical
and
entity
例
entity
and
發動機
例
entity
and
Transfer
起源
entity
and
Physical
目的地
entity
and
entity
患者
entity
and
entity
(=>
(
instance
?GT
GasTank
)
(
hasPurpose
?GT
(
exists
(?F)
(
and
(
instance
?F
Fuel
)
(
contains
?GT ?F)))))
Cars.kif 992-998
例
Physical
and
GasTank
有目的
Physical
and
entity
例
entity
and
汽油
包含
Physical
and
entity
(=>
(
instance
?H
Holster
)
(
hasPurpose
?H
(
exists
(?P)
(
and
(
instance
?P
Pistol
)
(
contains
?H ?P)))))
Mid-level-ontology.kif 1658-1664
例
Physical
and
皮套
有目的
Physical
and
entity
例
entity
and
手槍
包含
Physical
and
entity
(=>
(
instance
?HTB
HandToolBox
)
(
hasPurpose
?HTB
(
exists
(?HT)
(
and
(
instance
?HT
HandTool
)
(
contains
?HTB ?HT)))))
Cars.kif 4826-4832
例
Physical
and
HandToolBox
有目的
Physical
and
entity
例
entity
and
HandTool
包含
Physical
and
entity
(=>
(
instance
?LN
LymphNode
)
(
exists
(?WBC)
(
and
(
instance
?WBC
WhiteBloodCell
)
(
contains
?LN ?WBC))))
Mid-level-ontology.kif 12246-12251
例
SelfConnectedObject
and
LymphNode
Object
例
Object
and
白細胞
包含
SelfConnectedObject
and
Object
(=>
(
instance
?NS
NasalSeptum
)
(
exists
(?NC)
(
and
(
instance
?NC
NasalCavity
)
(
contains
?NC ?NS))))
Mid-level-ontology.kif 6103-6108
例
Object
and
NasalSeptum
SelfConnectedObject
例
SelfConnectedObject
and
NasalCavity
包含
SelfConnectedObject
and
Object
(=>
(
instance
?OP
OilPan
)
(
hasPurpose
?OP
(
exists
(?O)
(
and
(
instance
?O
Oil
)
(
contains
?OP ?O)))))
Cars.kif 3323-3329
例
Physical
and
OilPan
有目的
Physical
and
entity
例
entity
and
油
包含
Physical
and
entity
(=>
(
instance
?P
Pericardium
)
(
hasPurpose
?P
(
exists
(?H)
(
and
(
instance
?H
Heart
)
(
contains
?P ?H)))))
Mid-level-ontology.kif 11402-11408
例
Physical
and
Pericardium
有目的
Physical
and
entity
例
entity
and
心
包含
Physical
and
entity
(=>
(
instance
?SL
SalineLock
)
(
exists
(?S)
(
and
(
instance
?S
SalineSolution
)
(
contains
?SL ?S))))
Medicine.kif 1106-1111
例
SelfConnectedObject
and
SalineLock
Object
例
Object
and
生理鹽水
包含
SelfConnectedObject
and
Object
(=>
(
instance
?T
Tomb
)
(
hasPurpose
?T
(
exists
(?P)
(
and
(
attribute
?P
Dead
)
(
contains
?T ?P)))))
Mid-level-ontology.kif 6846-6852
例
Physical
and
墓
有目的
Physical
and
entity
attribute
entity
and
死
包含
Physical
and
entity
(=>
(
instance
?TUB
BathTub
)
(
hasPurpose
?TUB
(
exists
(?WATER)
(
and
(
instance
?WATER
Water
)
(
contains
?TUB ?WATER)))))
Mid-level-ontology.kif 2054-2060
例
Physical
and
BathTub
有目的
Physical
and
entity
例
entity
and
Water
包含
Physical
and
entity
(=>
(
instance
?W
WasherForBolt
)
(
hasPurpose
?W
(
exists
(?B)
(
and
(
instance
?B
Bolt
)
(
contains
?W ?B)))))
Mid-level-ontology.kif 4299-4305
例
Physical
and
墊圈
有目的
Physical
and
entity
例
entity
and
Bolt
包含
Physical
and
entity
(=>
(
instance
?W
WasherForBolt
)
(
hasPurpose
?W
(
exists
(?O1 ?O2)
(
and
(
instance
?O1
CorpuscularObject
)
(
instance
?O2
AttachingDevice
)
(
meetsSpatially
?O1 ?W)
(
contains
?W ?O2)))))
Mid-level-ontology.kif 4285-4293
例
Physical
and
墊圈
有目的
Physical
and
entity
entity
例
entity
and
CorpuscularObject
例
entity
and
附著裝置
空間的符合
entity
and
Physical
包含
Physical
and
entity
(=>
(
instance
?X
AutoAirbag
)
(
hasPurpose
?X
(
exists
(?CAR ?PERSON ?IMP ?INF ?INJ ?HIT)
(
and
(
instance
?CAR
Automobile
)
(
part
?X ?CAR)
(
instance
?PERSON
Human
)
(
contains
?CAR ?PERSON)
(
instance
?IMP
Impacting
)
(
patient
?IMP ?CAR)
(
instance
?INF
Inflating
)
(
patient
?INF ?X)
(
causes
?IMP ?INF)
(
hinders
?INF
(
KappaFn
?INJ
(
and
(
instance
?INJ
Injuring
)
(
experiencer
?INJ ?PERSON)
(
exists
(?HIT)
(
and
(
instance
?HIT
Impacting
)
(
destination
?HIT ?CAR)
(
experiencer
?HIT ?PERSON)
(
causes
?HIT ?INJ))))))))))
Cars.kif 3632-3656
例
Physical
and
AutoAirbag
有目的
Physical
and
entity
entity
,
entity
,
entity
,
entity
and
entity
例
entity
and
汽車
部分
Physical
and
entity
例
entity
and
Human
包含
entity
and
entity
例
entity
and
Impacting
患者
entity
and
entity
例
entity
and
Inflating
患者
entity
and
Physical
原因
entity
and
entity
entity
hinders
卡帕
entity
and
例
entity
and
Injuring
體驗者
entity
and
entity
entity
例
entity
and
Impacting
目的地
entity
and
entity
體驗者
entity
and
entity
原因
entity
and
entity
(=>
(
instance
?X
BoxOfChocolates
)
(
exists
(?B ?C)
(
and
(
instance
?B
Box
)
(
instance
?C
ChocolateCandy
)
(
contains
?B ?C)
(
member
?C ?X))))
Food.kif 2515-2522
例
Collection
and
一盒巧克力
SelfConnectedObject
Object
例
SelfConnectedObject
and
盒
例
Object
and
巧克力糖
包含
SelfConnectedObject
and
Object
會員
Object
and
Collection
(=>
(
instance
?X
SeatBelt
)
(
hasPurpose
?X
(
exists
(?PERSON ?STOP ?VEHICLE ?M)
(
and
(
instance
?VEHICLE
Vehicle
)
(
part
?X ?VEHICLE)
(
instance
?PERSON
Human
)
(
contains
?VEHICLE ?PERSON)
(
instance
?STOP
Process
)
(
prevents
?STOP
(
KappaFn
?M
(
and
(
instance
?M
Translocation
)
(
patient
?M ?PERSON)
(
exists
(?COLLISION)
(
and
(
or
(
instance
?COLLISION
Decelerating
)
(
instance
?COLLISION
Impacting
))
(
experiencer
?COLLISION ?VEHICLE)
(
causes
?COLLISION ?M)))
(
modalAttribute
(
exists
(?INJ ?IMP)
(
and
(
instance
?INJ
Injuring
)
(
instance
?IMP
Impacting
)
(
causes
?M ?INJ)
(
patient
?INJ ?PERSON)
(
subProcess
?IMP ?INJ)))
Possibility
))))))))
Cars.kif 3675-3704
例
Physical
and
SeatBelt
有目的
Physical
and
entity
entity
,
entity
and
entity
例
entity
and
車輛
部分
Physical
and
entity
例
entity
and
Human
包含
entity
and
entity
例
entity
and
Process
防止
entity
and
卡帕
entity
and
例
entity
and
易位
患者
entity
and
entity
entity
例
entity
and
減速
例
entity
and
Impacting
體驗者
entity
and
entity
原因
entity
and
entity
模態屬性
entity
entity
例
entity
and
Injuring
例
entity
and
Impacting
原因
entity
and
entity
患者
entity
and
entity
子過程
entity
and
entity
and
可能性
(=>
(
onboard
?O ?V)
(
contains
?V ?O))
Mid-level-ontology.kif 17406-17408
SelfConnectedObject
是
onboard
車輛
包含
車輛
and
SelfConnectedObject
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