part
(=>
(
and
(
instance
?A
AntibodyCOVIDTest
)
(
instrument
?M ?A)
(
instance
?M
Measuring
)
(
patient
?M ?H)
(
instance
?CA
COVIDAntibody
)
(
part
?CA ?H))
(
modalAttribute
(
knows
?H
(
exists
(?CA)
(
and
(
instance
?CA
COVIDAntibody
)
(
part
?CA ?H))))
Likely
))
Medicine.kif 2763-2777
例
Object
and
AntibodyCOVIDTest
儀器
Process
and
Object
例
Process
and
Measuring
患者
Process
and
Object
例
Object
and
COVIDAntibody
部分
Object
and
Object
模態屬性
知道
Object
and
Object
例
Object
and
COVIDAntibody
部分
Object
and
Object
and
容易
(=>
(
and
(
instance
?A
Biped
)
(
instance
?W
Ambulating
)
(
agent
?W ?A))
(
modalAttribute
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
Leg
)
(
instance
?L2
Leg
)
(
part
?L1 ?A)
(
part
?L2 ?A)
(
instrument
?W ?L1)
(
instrument
?W ?L2)))
Likely
))
Mid-level-ontology.kif 4411-4425
例
AutonomousAgent
and
Biped
例
Process
and
走動
agent
Process
and
AutonomousAgent
模態屬性
entity
entity
例
entity
and
腿
例
entity
and
腿
部分
entity
and
AutonomousAgent
部分
entity
and
AutonomousAgent
儀器
Process
and
entity
儀器
Process
and
entity
and
容易
(=>
(
and
(
instance
?AI
AutoImmuneDisorder
)
(
experiencer
?AI ?H))
(
exists
(?A ?D ?C)
(
and
(
instance
?A
Antibody
)
(
part
?A ?H)
(
instance
?C
Cell
)
(
part
?C ?H)
(
instance
?D
Destruction
)
(
instrument
?D ?A)
(
not
(
desires
?H
(
and
(
instance
?D
Destruction
)
(
instrument
?D ?A)))))))
Medicine.kif 2200-2216
例
Process
and
AutoImmuneDisorder
體驗者
Process
and
CognitiveAgent
Object
Process
and
Object
例
Object
and
抗體
部分
Object
and
CognitiveAgent
例
Object
and
Cell
部分
Object
and
CognitiveAgent
例
Process
and
Destruction
儀器
Process
and
Object
慾望
CognitiveAgent
and ~{
例
Process
and
Destruction
} ~{
儀器
Process
and
Object
}
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
AirportWithPavedRunway
))
(
exists
(?RUNWAY)
(
and
(
instance
?RUNWAY
PavedRunway
)
(
part
?RUNWAY ?AIRPORT))))
Transportation.kif 1357-1364
例
Object
and
飛機場
attribute
Object
and
機場有著鋪設跑道
Object
例
Object
and
鋪好的跑道
部分
Object
and
Object
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
AirportWithUnpavedRunway
))
(
exists
(?RUNWAY)
(
and
(
instance
?RUNWAY
UnpavedRunway
)
(
part
?RUNWAY ?AIRPORT))))
Transportation.kif 1371-1378
例
Object
and
飛機場
attribute
Object
and
機場有著未鋪砌的跑道
Object
例
Object
and
未鋪砌的跑道
部分
Object
and
Object
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
LongRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 2438)
(
lessThanOrEqualTo
?LENGTH 3047)))))
Transportation.kif 1445-1457
例
Object
and
飛機場
attribute
Object
and
長跑道機場
Object
RealNumber
例
Object
and
跑道
部分
Object
and
Object
length
Object
and
測量
RealNumber
and
儀表
大於或等於
RealNumber
and 2438
小於或等於
RealNumber
and 3047
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
MediumLengthRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 1524)
(
lessThanOrEqualTo
?LENGTH 2437)))))
Transportation.kif 1426-1438
例
Object
and
飛機場
attribute
Object
and
中長跑道機場
Object
RealNumber
例
Object
and
跑道
部分
Object
and
Object
length
Object
and
測量
RealNumber
and
儀表
大於或等於
RealNumber
and 1524
小於或等於
RealNumber
and 2437
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
ShortRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 914)
(
lessThanOrEqualTo
?LENGTH 1523)))))
Transportation.kif 1407-1419
例
Object
and
飛機場
attribute
Object
and
短跑道機場
Object
RealNumber
例
Object
and
跑道
部分
Object
and
Object
length
Object
and
測量
RealNumber
and
儀表
大於或等於
RealNumber
and 914
小於或等於
RealNumber
and 1523
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
VeryLongRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
greaterThan
?LENGTH 3047))))
Transportation.kif 1464-1474
例
Object
and
飛機場
attribute
Object
and
很長的跑道機場
Object
RealNumber
例
Object
and
跑道
部分
Object
and
Object
length
Object
and
測量
RealNumber
and
儀表
比較多
RealNumber
and 3047
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
VeryShortRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
lessThan
?LENGTH 914))))
Transportation.kif 1391-1400
例
Object
and
飛機場
attribute
Object
and
很短的跑道機場
Object
RealNumber
例
Object
and
跑道
部分
Object
and
Object
length
Object
and
測量
RealNumber
and
儀表
少於
RealNumber
and 914
(=>
(
and
(
instance
?Application
AutomaticApplication
)
(
instance
?System
SoftwareSystem
)
(
part
?Application ?System))
(
part
(
StartupFn
?Application)
(
StartupFn
?System)))
QoSontology.kif 586-591
例
Object
and
自動申請
例
Object
and
軟件系統
部分
Object
and
Object
部分
Object
的
startup
and
Object
的
startup
(=>
(
and
(
instance
?B
Bleeding
)
(
experiencer
?B ?H))
(
exists
(?VA ?D)
(
and
(
or
(
instance
?VA
Vein
)
(
instance
?VA
Artery
))
(
part
?VA ?H)
(
instance
?D
Damaging
)
(
earlier
(
WhenFn
?D)
(
WhenFn
?B))
(
patient
?D ?VA))))
Medicine.kif 80-94
例
Process
and
流血的
體驗者
Process
and
AutonomousAgent
Object
Process
例
Object
and
靜脈
例
Object
and
動脈
部分
Object
and
AutonomousAgent
例
Process
and
Damaging
早期
何時
Process
and
何時
Process
患者
Process
and
Object
(=>
(
and
(
instance
?B
Breast
)
(
instance
?H
Human
)
(
part
?B ?H))
(
part
?B
(
FrontFn
?H)))
Mid-level-ontology.kif 12848-12854
例
Object
and
乳房
例
SelfConnectedObject
and
Human
部分
Object
and
SelfConnectedObject
部分
Object
and
面前
SelfConnectedObject
(=>
(
and
(
instance
?BITE
Biting
)
(
agent
?BITE ?ANIMAL))
(
exists
(?MOUTH)
(
and
(
instance
?MOUTH
Mouth
)
(
part
?MOUTH ?ANIMAL)
(
instrument
?BITE ?MOUTH))))
Mid-level-ontology.kif 6515-6523
例
Process
and
尖刻
agent
Process
and
AutonomousAgent
Object
例
Object
and
口
部分
Object
and
AutonomousAgent
儀器
Process
and
Object
(=>
(
and
(
instance
?BLEED
Bleeding
)
(
experiencer
?BLEED ?ANIMAL))
(
exists
(?BLOOD)
(
and
(
instance
?BLOOD
Blood
)
(
holdsDuring
(
BeginFn
(
WhenFn
?BLEED))
(
part
?BLOOD ?ANIMAL))
(
holdsDuring
(
EndFn
(
WhenFn
?BLEED))
(
not
(
part
?BLOOD ?ANIMAL))))))
Mid-level-ontology.kif 21395-21403
例
Process
and
流血的
體驗者
Process
and
AutonomousAgent
Entity
例
Entity
and
Blood
持有期間
開始
何時
Process
and
部分
Entity
and
AutonomousAgent
持有期間
結束
何時
Process
and
部分
Entity
and
AutonomousAgent
(=>
(
and
(
instance
?BOIL
Boiling
)
(
patient
?BOIL ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?BOIL))
(
attribute
?PART
Liquid
))
(
holdsDuring
(
EndFn
(
WhenFn
?BOIL))
(
attribute
?PART
Gas
)))))
Merge.kif 13933-13941
例
Process
and
Boiling
患者
Process
and
Object
Object
部分
Object
and
Object
持有期間
開始
何時
Process
and
attribute
Object
and
液體
持有期間
結束
何時
Process
and
attribute
Object
and
加油站
(=>
(
and
(
instance
?C
Cavitating
)
(
instance
?P
Pump
)
(
attribute
?P
DeviceOn
)
(
attribute
?L1
Liquid
)
(
contains
?P ?L1))
(
exists
(?PP ?L2)
(
and
(
part
?PP ?P)
(
hasPurpose
?PP
(
and
(
attribute
?L2
Liquid
)
(
meetsSpatially
?L2 ?PP)))
(
holdsDuring
(
WhenFn
?C)
(
not
(
exists
(?L3)
(
and
(
attribute
?L3
Liquid
)
(
meetsSpatially
?PP ?L3))))))))
Cars.kif 1741-1761
例
Physical
and
Cavitating
例
SelfConnectedObject
and
泵
attribute
SelfConnectedObject
and
設備上
attribute
Object
and
液體
包含
SelfConnectedObject
and
Object
SelfConnectedObject
P
entity
部分
SelfConnectedObject
P and
SelfConnectedObject
有目的
SelfConnectedObject
P and
attribute
entity
and
液體
空間的符合
entity
and
SelfConnectedObject
P
持有期間
何時
Physical
and
entity
attribute
entity
and
液體
空間的符合
SelfConnectedObject
P and
entity
(=>
(
and
(
instance
?C
Chest
)
(
instance
?A
Animal
)
(
instance
?C ?A)
(
part
?C ?A))
(
exists
(?T)
(
and
(
instance
?T
Torso
)
(
part
?C ?T)
(
part
?T ?A))))
Mid-level-ontology.kif 11219-11229
例
Object
and
Chest
例
Class
and
Animal
例
Object
and
Class
部分
Object
and
Class
Object
例
Object
and
軀幹
部分
Object
and
Object
部分
Object
and
Class
(=>
(
and
(
instance
?C
Chest
)
(
part
?C ?P)
(
equal
?B
(
BackFn
?P)))
(
not
(
part
?C ?B)))
Anatomy.kif 1823-1830
例
Object
and
Chest
部分
Object
and
SelfConnectedObject
等於
SelfConnectedObject
and
背部
SelfConnectedObject
部分
Object
and
SelfConnectedObject
(=>
(
and
(
instance
?C
Choking
)
(
experiencer
?C ?H))
(
exists
(?O ?T ?L)
(
and
(
instance
?O
Object
)
(
instance
?T
Trachea
)
(
instance
?L
Lung
)
(
part
?T ?H)
(
part
?L ?H)
(
holdsDuring
(
WhenFn
?C)
(
or
(
located
?O ?T)
(
located
?O ?L))))))
Mid-level-ontology.kif 11754-11769
例
Process
and
Choking
體驗者
Process
and
AutonomousAgent
Entity
Object
and
Object
例
Entity
and
Object
例
Object
and
Trachea
例
Object
and
肺
部分
Object
and
AutonomousAgent
部分
Object
and
AutonomousAgent
持有期間
何時
Process
and
位於
Entity
and
Object
位於
Entity
and
Object
(=>
(
and
(
instance
?C
Coughing
)
(
experiencer
?C ?H))
(
hasPurpose
?C
(
exists
(?R ?L ?O ?T)
(
and
(
instance
?L
Lung
)
(
instance
?T
Throat
)
(
instance
?O
Object
)
(
instance
?R
Removing
)
(
part
?L ?H)
(
part
?T ?H)
(
objectTransferred
?R ?O)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
or
(
located
?O ?T)
(
located
?O ?L)))))))
Mid-level-ontology.kif 6056-6075
例
Process
and
Coughing
體驗者
Process
and
AutonomousAgent
有目的
Process
and
entity
entity
,
entity
and
entity
例
entity
and
肺
例
entity
and
喉
例
entity
and
Object
例
entity
and
Removing
部分
entity
and
AutonomousAgent
部分
entity
and
AutonomousAgent
objectTransferred
entity
and
entity
持有期間
不久的過去
何時
Process
and
位於
entity
and
entity
位於
entity
and
entity
(=>
(
and
(
instance
?C
Crawling
)
(
agent
?C ?A))
(
exists
(?ARM)
(
and
(
instance
?ARM
Arm
)
(
part
?ARM ?A)
(
instrument
?C ?ARM))))
Mid-level-ontology.kif 4391-4399
例
Process
and
Crawling
agent
Process
and
AutonomousAgent
AutonomousAgent
RM
例
AutonomousAgent
RM and
臂
部分
AutonomousAgent
RM and
AutonomousAgent
儀器
Process
and
AutonomousAgent
RM
(=>
(
and
(
instance
?C
Cricothyroidotomy
)
(
patient
?C ?O))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?T
(
HoleHostFn
?H))
(
instance
?T
Throat
)
(
part
?T ?O)))))
Medicine.kif 754-765
例
Process
and
Cricothyroidotomy
患者
Process
and
Entity
持有期間
結束
何時
Process
and
entity
例
entity
and
HoleRegion
等於
entity
and
洞主持人
entity
例
entity
and
喉
部分
entity
and
Entity
(=>
(
and
(
instance
?C
Crying
)
(
experiencer
?C ?H))
(
exists
(?T ?E)
(
and
(
instance
?T
TearSubstance
)
(
origin
?C ?E)
(
objectTransferred
?C ?T)
(
instance
?E
Eye
)
(
part
?E ?H))))
emotion.kif 1129-1139
例
Transfer
and
Crying
體驗者
Transfer
and
AutonomousAgent
Object
Object
例
Object
and
淚液
起源
Transfer
and
Object
objectTransferred
Transfer
and
Object
例
Object
and
眼睛
部分
Object
and
AutonomousAgent
(=>
(
and
(
instance
?C
Crystal
)
(
attribute
?C
MonoCrystalline
)
(
instance
?SUB
Substance
)
(
attribute
?SUB
Solid
)
(
attribute
?SUB
PolyCrystalline
)
(
instance
?S
Substance
)
(
surface
?S ?SUB)
(
not
(
part
?C ?S)))
(
exists
(?CLNT ?X ?MBR)
(
and
(
instance
?CLNT
Collection
)
(
memberCount
?CLNT ?X)
(
greaterThanOrEqualTo
?X 4)
(=>
(
member
?MBR ?CLNT)
(
and
(
part
?MBR ?SUB)
(
meetsSpatially
?C ?MBR))))))
Geography.kif 7142-7162
例
Object
and
Crystal
attribute
Object
and
MonoCrystalline
例
SelfConnectedObject
and
Substance
attribute
SelfConnectedObject
and
固體
attribute
SelfConnectedObject
and
PolyCrystalline
例
SelfConnectedObject
and
Substance
表面
SelfConnectedObject
and
SelfConnectedObject
部分
Object
and
SelfConnectedObject
Object
LNT
Integer
and
Object
例
Object
LNT and
Collection
Integer
是
Object
LNT 的
member
計數
大於或等於
Integer
and 4
會員
Object
and
Object
LNT
部分
Object
and
SelfConnectedObject
空間的符合
Object
and
Object
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