capability
(=>
(
and
(
instance
?SEAT
AuditoriumSeat
)
(
part
?SEAT ?AUDITORIUM)
(
part
?STAGE ?AUDITORIUM)
(
instance
?AUDITORIUM
Auditorium
)
(
instance
?STAGE
PerformanceStage
)
(
located
?PERSON ?SEAT)
(
instance
?PERSON
Human
)
(
subclass
?SEE
Seeing
)
(
forall
(?INST)
(=>
(
instance
?INST ?SEE)
(
patient
?INST ?STAGE))))
(
capability
?SEE
agent
?PERSON))
Mid-level-ontology.kif 7351-7365
例
Object
and
禮堂座位
部分
Object
and
Object
部分
Object
and
Object
例
Object
and
禮堂
例
Object
and
表演階段
位於
Object
and
Object
例
Object
and
Human
子類
Process
and
Seeing
Process
例
Process
and
Process
患者
Process
and
Object
能力
Process
,
agent
and
Object
(=>
(
and
(
instance
?SI
(
ImpairmentFn
?S))
(
instrument
?SI ?A))
(
exists
(?A2)
(
and
(
not
(
equal
?A2 ?A))
(
capability
?S
instrument
?A2)
(
not
(
capability
?S
instrument
?A)))))
Merge.kif 13474-13484
例
Process
and
ImpairmentFn
Process
儀器
Process
and
Object
Object
等於
Object
and
Object
能力
Process
,
儀器
and
Object
能力
Process
,
儀器
and
Object
(=>
(
and
(
instance
?SI
(
SenseImpairmentFn
?S))
(
experiencer
?SI ?A))
(
exists
(?A2)
(
and
(
not
(
equal
?A2 ?A))
(
capability
?S
experiencer
?A2)
(
not
(
capability
?S
experiencer
?A)))))
Merge.kif 13494-13504
例
Process
and
SenseImpairmentFn
Perception
體驗者
Process
and
AutonomousAgent
AutonomousAgent
等於
AutonomousAgent
and
AutonomousAgent
能力
Perception
,
體驗者
and
AutonomousAgent
能力
Perception
,
體驗者
and
AutonomousAgent
(=>
(
and
(
instance
?SI
(
SenseImpairmentFn
?S))
(
experiencer
?SI ?A))
(
not
(
capability
?S
experiencer
?A)))
Merge.kif 13514-13519
例
Process
and
SenseImpairmentFn
Perception
體驗者
Process
and
AutonomousAgent
能力
Perception
,
體驗者
and
AutonomousAgent
(=>
(
and
(
instance
?SOUND
RadiatingSound
)
(
agent
?SOUND ?OBJ)
(
attribute
?SOUND
Audible
))
(
exists
(?HUMAN ?HEAR)
(
and
(
instance
?HUMAN
Human
)
(
capability
(
KappaFn
?HEAR
(
and
(
instance
?HEAR
Hearing
)
(
agent
?HEAR ?HUMAN)
(
destination
?HEAR ?HUMAN)
(
origin
?HEAR ?OBJ)))
agent
?HUMAN))))
Merge.kif 13610-13624
例
Process
and
RadiatingSound
agent
Process
and
AutonomousAgent
attribute
Process
and
聽得見
Object
SymbolicString
例
Object
and
Human
能力
卡帕
SymbolicString
and
例
SymbolicString
and
Hearing
agent
SymbolicString
and
Object
目的地
SymbolicString
and
Object
起源
SymbolicString
and
AutonomousAgent
,
agent
and
Object
(=>
(
and
(
instance
?VD
VehicleDoor
)
(
attribute
?VD
DeviceNormal
))
(
and
(
capability
Opening
patient
?VD)
(
capability
Closing
patient
?VD)))
Mid-level-ontology.kif 29402-29408
例
Object
and
VehicleDoor
attribute
Object
and
DeviceNormal
能力
開盤
,
患者
and
Object
能力
關閉
,
患者
and
Object
(=>
(
and
(
instance
?WEAPON
BiochemicalWeapon
)
(
possesses
?AGENT ?WEAPON))
(
capability
BiochemicalAttack
agent
?AGENT))
WMD.kif 51-55
例
Object
and
生化武器
擁有
AutonomousAgent
and
Object
能力
生化攻擊
,
agent
and
AutonomousAgent
(=>
(
and
(
instance
?X
ContentBearingObject
)
(
attribute
?X
Braille
))
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
attribute
?H
Blind
)
(
capability
Interpreting
agent
?H)
(
capability
Interpreting
patient
?X))))
Dining.kif 244-253
例
Object
and
ContentBearingObject
attribute
Object
and
Braille
Object
例
Object
and
Human
attribute
Object
and
盲
能力
解讀
,
agent
and
Object
能力
解讀
,
患者
and
Object
(=>
(
and
(
maximumPayloadCapacity
?V
(
MeasureFn
?WEIGHT ?UNITWEIGHT))
(
maximumPayloadHeightWidth
?V
(
MeasureFn
?HEIGHT ?UNITHEIGHT)
(
MeasureFn
?WIDTH ?UNITWIDTH))
(
instance
?O
SelfConnectedObject
)
(
weight
?O
(
MeasureFn
?WEO ?WEOU))
(
width
?O
(
MeasureFn
?WO ?WOU))
(
height
?O
(
MeasureFn
?HO ?HOU))
(
equal
?WEOU ?UNITWEIGHT)
(
equal
?WOU ?UNITWIDTH)
(
equal
?HOU ?UNITHEIGHT)
(
lessThanOrEqualTo
?WEO ?WEIGHT)
(
lessThanOrEqualTo
?WO ?WIDTH)
(
lessThanOrEqualTo
?HO ?HEIGHT))
(
capability
(
KappaFn
?TRANSPORT
(
and
(
instance
?TRANSPORT
Transportation
)
(
patient
?TRANSPORT ?O)))
instrument
?V))
MilitaryDevices.kif 144-169
測量
RealNumber
and
UnitOfMeasure
是
車輛
的
maximum
有效附載容量
車輛
對於
測量
RealNumber
and
UnitOfMeasure
的
maximum
有效附載高度
測量
RealNumber
and
UnitOfMeasure
例
SelfConnectedObject
and
SelfConnectedObject
測量
RealNumber
and
RealNumber
U 是
SelfConnectedObject
的
weight
寬度
SelfConnectedObject
and
測量
RealNumber
and
RealNumber
U
高度
SelfConnectedObject
and
測量
RealNumber
and
RealNumber
U
等於
RealNumber
U and
UnitOfMeasure
等於
RealNumber
U and
UnitOfMeasure
等於
RealNumber
U and
UnitOfMeasure
小於或等於
RealNumber
and
RealNumber
小於或等於
RealNumber
and
RealNumber
小於或等於
RealNumber
and
RealNumber
能力
卡帕
SymbolicString
and
例
SymbolicString
and
Transportation
患者
SymbolicString
and
SelfConnectedObject
,
儀器
and
車輛
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
greaterThan
?AMOUNT ?DRAFT))
(
capability
(
TripFn
?SHIP)
path
?WATERWAY))
Transportation.kif 2653-2658
測量
RealNumber
and
儀表
是草案
WaterArea
的
navigable
測量
RealNumber
and
儀表
是
水車
的
laden
草案
比較多
RealNumber
and
RealNumber
能力
水車
的
trip
,
路徑
and
WaterArea
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
lessThanOrEqualTo
?AMOUNT ?DRAFT))
(
not
(
capability
(
TripFn
?SHIP)
path
?WATERWAY)))
Transportation.kif 2660-2665
測量
RealNumber
and
儀表
是草案
WaterArea
的
navigable
測量
RealNumber
and
儀表
是
水車
的
laden
草案
小於或等於
RealNumber
and
RealNumber
能力
水車
的
trip
,
路徑
and
WaterArea
(=>
(
and
(
navigableForShippingTonnage
?WATERWAY
(
MeasureFn
?TONNAGE
LongTon
))
(
instance
?VESSEL
WaterVehicle
)
(
vesselDisplacement
?VESSEL
(
MeasureFn
?DWT
LongTon
))
(
lessThanOrEqualTo
?DWT ?TONNAGE))
(
capability
(
TripFn
?VESSEL)
path
?WATERWAY))
Transportation.kif 2637-2643
測量
RealNumber
and
長噸
是
navigable
對於
WaterArea
的運輸噸位
例
水車
and
水車
測量
RealNumber
and
長噸
是
水車
的
vessel
位移
小於或等於
RealNumber
and
RealNumber
能力
水車
的
trip
,
路徑
and
WaterArea
(=>
(
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
(
offers
?AGENT ?CATALOG)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Process
))
(
capability
?CLASS
agent
?AGENT))
Catalog.kif 88-93
AutonomousAgent
offers
拍賣樣品在
Catalog
Entity
是在
Catalog
子類
Entity
and
Process
能力
Entity
,
agent
and
AutonomousAgent
(=>
(
and
(
orthogonalTests
?TESTCOL1 ?TESTCOL2)
(
instance
?SUBJECT
Human
)
(
instance
?EXPERIMENT1 ?CLASS1)
(
subclass
?CLASS1
Experimenting
)
(
member
?EXPERIMENT1 ?TESTCOL1)
(
capability
?CLASS1
experimentalSubject
?SUBJECT))
(
exists
(?EXPERIMENT2 ?CLASS2)
(
and
(
instance
?EXPERIMENT2 ?CLASS2)
(
member
?EXPERIMENT2 ?TESTCOL2)
(
subclass
?CLASS2
Experimenting
)
(
capability
?CLASS2
experimentalSubject
?SUBJECT))))
UXExperimentalTerms.kif 4467-4480
Collection
和
Collection
是
orthogonal
tests
例
Object
and
Human
例
Physical
and
Process
子類
Process
and
試驗
會員
Physical
and
Collection
能力
Process
,
experimentalSubject
and
Object
Physical
Process
例
Physical
and
Process
會員
Physical
and
Collection
子類
Process
and
試驗
能力
Process
,
experimentalSubject
and
Object
(=>
(
and
(
subProposition
ExclusiveMaleSuffrage
(
RegionalLawFn
?AREA))
(
attribute
?AGENT
Female
)
(
member
?AGENT
(
ResidentFn
?AREA))
(
instance
?ELECTION
Election
))
(
not
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT)))
Government.kif 1267-1273
次提案
獨家男性選舉權
and
GeopoliticalArea
的
regional
法律
attribute
Object
and
女
會員
Object
and
GeopoliticalArea
的
resident
例
選舉
and
選舉
能力
選舉
的
voting
,
agent
and
Object
(=>
(
and
(
subProposition
UniversalSuffrageLaw
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))
Government.kif 1120-1130
次提案
普選法
and
Nation
的
regional
法律
公民
Human
and
Nation
測量
RealNumber
and
年持續時間
是
Nation
的
suffrage
最小年紀
年齡
Human
and
測量
RealNumber
and
年持續時間
大於或等於
RealNumber
and
RealNumber
例
選舉
and
Nation
的
election
能力
選舉
的
voting
,
agent
and
Human
(=>
(
and
(
weaponCarryingCapability
?MV ?WC ?COUNT)
(
instance
?WEAPON ?WC)
(
capability
?PC ?ROLE ?WEAPON)
(
or
(
subclass
?PC
Shooting
)
(
subclass
?PC
Damaging
)))
(
capability
?PC ?ROLE ?MV))
MilitaryDevices.kif 35-43
軍車
是 對於
PositiveInteger
的
weapon
攜帶容量
Weapon
例
Object
and
Weapon
能力
Process
,
CaseRole
and
Object
子類
Process
and
Shooting
子類
Process
and
Damaging
能力
Process
,
CaseRole
and
軍車
(=>
(
attribute
?A
Deaf
)
(
not
(
capability
Hearing
agent
?A)))
Mid-level-ontology.kif 19782-19785
attribute
Object
and
聾
能力
Hearing
,
agent
and
Object
(=>
(
attribute
?AGENT
Blind
)
(
not
(
capability
Seeing
agent
?AGENT)))
Mid-level-ontology.kif 19774-19776
attribute
Object
and
盲
能力
Seeing
,
agent
and
Object
(=>
(
attribute
?AREA
FertileTerrain
)
(
capability
Agriculture
eventLocated
?AREA))
Geography.kif 1831-1833
attribute
Object
and
肥沃的地形
能力
農業
,
eventLocated
and
Object
(=>
(
attribute
?DOCTOR
MedicalDoctor
)
(
exists
(?PROCESS1 ?PROCESS2)
(
and
(
subclass
?PROCESS1
DiagnosticProcess
)
(
subclass
?PROCESS2
TherapeuticProcess
)
(
capability
?PROCESS1
agent
?DOCTOR)
(
capability
?PROCESS2
agent
?DOCTOR))))
Mid-level-ontology.kif 21036-21043
attribute
Object
and
醫生
Process
Process
子類
Process
and
DiagnosticProcess
子類
Process
and
TherapeuticProcess
能力
Process
,
agent
and
Object
能力
Process
,
agent
and
Object
(=>
(
attribute
?L
Liquid
)
(
capability
Boiling
patient
?L))
Merge.kif 13943-13945
attribute
Object
and
液體
能力
Boiling
,
患者
and
Object
(=>
(
attribute
?ROOM
OpenLayout
)
(
and
(
instance
?ROOM
Room
)
(
exists
(?R1 ?R2 ?H)
(
and
(
instance
?R1
Region
)
(
instance
?R2
Region
)
(
located
?R1 ?ROOM)
(
located
?R2 ?ROOM)
(
not
(
equal
?R1 ?R2))
(
orientation
?R1 ?R2
Adjacent
)
(
exists
(?P1 ?P2)
(
and
(
instance
?P1
Process
)
(
instance
?P2
Process
)
(
hasPurpose
?R1 ?P1)
(
hasPurpose
?R2 ?P2)))
(=>
(
and
(
instance
?H
AutonomousAgent
)
(
located
?H ?R2))
(
and
(
capability
Seeing
agent
?H)
(
capability
Seeing
patient
?R1)))))))
Dining.kif 956-980
attribute
Object
and
OpenLayout
例
Object
and
Room
Object
Object
and
Object
例
Object
and
Region
例
Object
and
Region
位於
Object
and
Object
位於
Object
and
Object
等於
Object
and
Object
方位
Object
,
Object
and
鄰
Formula
Formula
例
Formula
and
Process
例
Formula
and
Process
有目的
Object
and
Formula
有目的
Object
and
Formula
例
Object
and
AutonomousAgent
位於
Object
and
Object
能力
Seeing
,
agent
and
Object
能力
Seeing
,
患者
and
Object
(=>
(
attribute
?X
Accountant
)
(
capability
Calculating
agent
?X))
Mid-level-ontology.kif 21106-21108
attribute
Object
and
會計
能力
Calculating
,
agent
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