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
オブジェクト
は
AuditoriumSeat
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
Auditorium
の
instance
では %n
オブジェクト
は
PerformanceStage
の
instance
では %n
オブジェクト
は
オブジェクト
に
located
して %n
オブジェクト
は
人[人間]
の
instance
では %n
工程
は
見ること
の
subclass
では %n
工程
工程
は
工程
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
は
工程
を
agent
として行う
capable
では %n
(=>
(
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
工程
は
ImpairmentFn
工程
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
2
オブジェクト
2 は
オブジェクト
と
equal
では
オブジェクト
2 は
工程
を
instrument
として行う
capable
では %n
オブジェクト
は
工程
を
instrument
として行う
capable
では
(=>
(
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
工程
は
SenseImpairmentFn
知覚
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
AutonomousAgent
2
AutonomousAgent
2 は
AutonomousAgent
と
equal
では
AutonomousAgent
2 は
知覚
を
experiencer
として行う
capable
では %n
AutonomousAgent
は
知覚
を
experiencer
として行う
capable
では
(=>
(
and
(
instance
?SI
(
SenseImpairmentFn
?S))
(
experiencer
?SI ?A))
(
not
(
capability
?S
experiencer
?A)))
Merge.kif 13514-13519
工程
は
SenseImpairmentFn
知覚
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
AutonomousAgent
は
知覚
を
experiencer
として行う
capable
では
(=>
(
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
工程
は
放射音
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
Audible
は
工程
の
attribute
では %n
オブジェクト
記号文字列
オブジェクト
は
人[人間]
の
instance
では %n
オブジェクト
は
記号文字列
で記述される
class
を
agent
として行う
capable
では %n
(=>
(
and
(
instance
?VD
VehicleDoor
)
(
attribute
?VD
DeviceNormal
))
(
and
(
capability
Opening
patient
?VD)
(
capability
Closing
patient
?VD)))
Mid-level-ontology.kif 29402-29408
オブジェクト
は
VehicleDoor
の
instance
では %n
DeviceNormal
は
オブジェクト
の
attribute
では %n
オブジェクト
は
Opening
を
patient
として行う
capable
では %n
オブジェクト
は
Closing
を
patient
として行う
capable
では %n
(=>
(
and
(
instance
?WEAPON
BiochemicalWeapon
)
(
possesses
?AGENT ?WEAPON))
(
capability
BiochemicalAttack
agent
?AGENT))
WMD.kif 51-55
オブジェクト
は
BiochemicalWeapon
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
AutonomousAgent
は
BiochemicalAttack
を
agent
として行う
capable
では %n
(=>
(
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
オブジェクト
は
コンテンツベアリングオブジェクト
の
instance
では %n
Braille
は
オブジェクト
の
attribute
では %n
オブジェクト
オブジェクト
は
人[人間]
の
instance
では %n
Blind
は
オブジェクト
の
attribute
では %n
オブジェクト
は
Interpreting
を
agent
として行う
capable
では %n
オブジェクト
は
Interpreting
を
patient
として行う
capable
では %n
(=>
(
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
maximumPayloadCapacity
Vehicle
and
実数
の
測定単位
(s)
maximumPayloadHeightWidth
Vehicle
,
実数
の
測定単位
(s) and
実数
の
測定単位
(s)
自己接続オブジェクト
は
自己接続オブジェクト
の
instance
では %n
weight
自己接続オブジェクト
and
実数
の
実数
U(s)
自己接続オブジェクト
の
width
は
実数
の
実数
U(s) では %n
自己接続オブジェクト
の
height
は
実数
の
実数
U(s) では %n
実数
U は
測定単位
と
equal
では %n
実数
U は
測定単位
と
equal
では %n
実数
U は
測定単位
と
equal
では %n
実数
は
実数
より
less
または同等 では %n
実数
は
実数
より
less
または同等 では %n
実数
は
実数
より
less
または同等 では %n
Vehicle
は
エンティティー
class
を
instrument
として行う
capable
では %n
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
greaterThan
?AMOUNT ?DRAFT))
(
capability
(
TripFn
?SHIP)
path
?WATERWAY))
Transportation.kif 2653-2658
navigableForDraft
水域
and
実数
の
Meter
(s)
ladenDraft
WaterVehicle
and
実数
の
Meter
(s)
実数
は
実数
より
greater
では %n
水域
は
TripFn
WaterVehicle
を
path
として行う
capable
では %n
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
lessThanOrEqualTo
?AMOUNT ?DRAFT))
(
not
(
capability
(
TripFn
?SHIP)
path
?WATERWAY)))
Transportation.kif 2660-2665
navigableForDraft
水域
and
実数
の
Meter
(s)
ladenDraft
WaterVehicle
and
実数
の
Meter
(s)
実数
は
実数
より
less
または同等 では %n
水域
は
TripFn
WaterVehicle
を
path
として行う
capable
では
(=>
(
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
navigableForShippingTonnage
水域
and
実数
の
LongTon
(s)
WaterVehicle
は
WaterVehicle
の
instance
では %n
vesselDisplacement
WaterVehicle
and
実数
の
LongTon
(s)
実数
は
実数
より
less
または同等 では %n
水域
は
TripFn
WaterVehicle
を
path
として行う
capable
では %n
(=>
(
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
offers
AutonomousAgent
and
Catalog
catalogItem
エンティティー
and
Catalog
エンティティー
は
オブジェクト
の
subclass
では %n
工程
は
工程
の
instance
では %n
工程
は
工程
の
subclass
では %n
エンティティー
は
エンティティー
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は
工程
を
agent
として行う
capable
では %n
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Process
))
(
capability
?CLASS
agent
?AGENT))
Catalog.kif 88-93
offers
AutonomousAgent
and
Catalog
catalogItem
エンティティー
and
Catalog
エンティティー
は
工程
の
subclass
では %n
AutonomousAgent
は
エンティティー
を
agent
として行う
capable
では %n
(=>
(
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
orthogonalTests
コレクション
and
コレクション
オブジェクト
は
人[人間]
の
instance
では %n
物理
は
工程
の
instance
では %n
工程
は
Experimenting
の
subclass
では %n
物理
は
コレクション
の
member
では %n
オブジェクト
は
工程
を
experimentalSubject
として行う
capable
では %n
物理
工程
物理
は
工程
の
instance
では %n
物理
は
コレクション
の
member
では %n
工程
は
Experimenting
の
subclass
では %n
オブジェクト
は
工程
を
experimentalSubject
として行う
capable
では %n
(=>
(
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
ExclusiveMaleSuffrage
は
RegionalLawFn
地政学的地域
の
sub
-proposition では %n
Female
は
オブジェクト
の
attribute
では %n
オブジェクト
は
ResidentFn
地政学的地域
の
member
では %n
Election
は
Election
の
instance
では %n
オブジェクト
は
VotingFn
Election
を
agent
として行う
capable
では
(=>
(
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
UniversalSuffrageLaw
は
RegionalLawFn
国民
の
sub
-proposition では %n
人[人間]
は
国民
% の
citizen
では %n
suffrageAgeMinimum
国民
and
実数
の
YearDuration
(s)
人[人間]
の
age
は
実数
の
YearDuration
(s) では
実数
は
実数
greater
では %n
Election
は
ElectionFn
国民
の
instance
では %n
人[人間]
は
VotingFn
Election
を
agent
として行う
capable
では %n
(=>
(
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
weaponCarryingCapability
MilitaryVehicle
,
武器
and
正の整数
オブジェクト
は
武器
の
instance
では %n
オブジェクト
は
工程
を
格役割
として行う
capable
では %n
工程
は
射撃
の
subclass
では %n
工程
は
損害を与える
の
subclass
では %n
MilitaryVehicle
は
工程
を
格役割
として行う
capable
では %n
(=>
(
attribute
?A
Deaf
)
(
not
(
capability
Hearing
agent
?A)))
Mid-level-ontology.kif 19782-19785
Deaf
は
オブジェクト
の
attribute
では %n
オブジェクト
は
聴覚
を
agent
として行う
capable
では
(=>
(
attribute
?AGENT
Blind
)
(
not
(
capability
Seeing
agent
?AGENT)))
Mid-level-ontology.kif 19774-19776
Blind
は
オブジェクト
の
attribute
では %n
オブジェクト
は
見ること
を
agent
として行う
capable
では
(=>
(
attribute
?AREA
FertileTerrain
)
(
capability
Agriculture
eventLocated
?AREA))
Geography.kif 1831-1833
FertileTerrain
は
オブジェクト
の
attribute
では %n
オブジェクト
は
Agriculture
を
eventLocated
として行う
capable
では %n
(=>
(
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
MedicalDoctor
は
オブジェクト
の
attribute
では %n
工程
工程
工程
は
診断プロセス
の
subclass
では %n
工程
は
治療経過
の
subclass
では %n
オブジェクト
は
工程
を
agent
として行う
capable
では %n
オブジェクト
は
工程
を
agent
として行う
capable
では %n
(=>
(
attribute
?L
Liquid
)
(
capability
Boiling
patient
?L))
Merge.kif 13943-13945
Liquid
は
オブジェクト
の
attribute
では %n
オブジェクト
は
沸騰
を
patient
として行う
capable
では %n
(=>
(
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
OpenLayout
は
オブジェクト
の
attribute
では %n
オブジェクト
は
部屋
の
instance
では %n
オブジェクト
オブジェクト
and
オブジェクト
オブジェクト
は
地域
の
instance
では %n
オブジェクト
は
地域
の
instance
では %n
オブジェクト
は
オブジェクト
に
located
して %n
オブジェクト
は
オブジェクト
に
located
して %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
Adjacent
対
オブジェクト
では %n
公式
公式
公式
は
工程
の
instance
では %n
公式
は
工程
の
instance
では %n
オブジェクト
は
公式
の 目的 %n{ない}
オブジェクト
は
公式
の 目的 %n{ない}
オブジェクト
は
AutonomousAgent
の
instance
では %n
オブジェクト
は
オブジェクト
に
located
して %n
オブジェクト
は
見ること
を
agent
として行う
capable
では %n
オブジェクト
は
見ること
を
patient
として行う
capable
では %n
(=>
(
attribute
?X
Accountant
)
(
capability
Calculating
agent
?X))
Mid-level-ontology.kif 21106-21108
Accountant
は
オブジェクト
の
attribute
では %n
オブジェクト
は
計算
を
agent
として行う
capable
では %n
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