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
Objet
est une
instance
de
AuditoriumSeat
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est une
instance
de
Auditorium
objet
est une
instance
de
PerformanceStage
objet
est
situ
� �
objet
objet
est une
instance
de
humain
processus
est une
sous
-classe de
voir
processus
processus
est une
instance
de
processus
objet
est un
patient
de
processus
objet
est
capable
de faire
processus
dans le r�le
agent
(=>
(
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
Processus
est une
instance
de
ImpairmentFn
processus
objet
est un
instrument
pour
processus
objet
2
objet
2 est
objet
objet
2 est
capable
de faire
processus
dans le r�le
instrument
objet
est
capable
de faire
processus
dans le r�le
instrument
(=>
(
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
Processus
est une
instance
de
SenseImpairmentFn
perception
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
2
AutonomousAgent
2 est
AutonomousAgent
AutonomousAgent
2 est
capable
de faire
perception
dans le r�le
experiencer
AutonomousAgent
est
capable
de faire
perception
dans le r�le
experiencer
(=>
(
and
(
instance
?SI
(
SenseImpairmentFn
?S))
(
experiencer
?SI ?A))
(
not
(
capability
?S
experiencer
?A)))
Merge.kif 13514-13519
Processus
est une
instance
de
SenseImpairmentFn
perception
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
est
capable
de faire
perception
dans le r�le
experiencer
(=>
(
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
Processus
est une
instance
de
son irradiant
processus
est un
agent
de
AutonomousAgent
Audible
est un
attribut
de
processus
objet
cha�ne sympbolique
objet
est une
instance
de
humain
objet
est
capable
de faire la
classe
d�crite par
cha�ne sympbolique
dans le r�le
agent
(=>
(
and
(
instance
?VD
VehicleDoor
)
(
attribute
?VD
DeviceNormal
))
(
and
(
capability
Opening
patient
?VD)
(
capability
Closing
patient
?VD)))
Mid-level-ontology.kif 29402-29408
Objet
est une
instance
de
VehicleDoor
DeviceNormal
est un
attribut
de
objet
objet
est
capable
de faire
Opening
dans le r�le
patient
objet
est
capable
de faire
Closing
dans le r�le
patient
(=>
(
and
(
instance
?WEAPON
BiochemicalWeapon
)
(
possesses
?AGENT ?WEAPON))
(
capability
BiochemicalAttack
agent
?AGENT))
WMD.kif 51-55
Objet
est une
instance
de
BiochemicalWeapon
AutonomousAgent
poss
�de
objet
AutonomousAgent
est
capable
de faire
BiochemicalAttack
dans le r�le
agent
(=>
(
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
Objet
est une
instance
de
objet exprimant un sens
Braille
est un
attribut
de
objet
objet
objet
est une
instance
de
humain
Blind
est un
attribut
de
objet
objet
est
capable
de faire
Interpreting
dans le r�le
agent
objet
est
capable
de faire
Interpreting
dans le r�le
patient
(=>
(
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
nombre r�el
unit� de mesure
(s)
maximumPayloadHeightWidth
Vehicle
,
nombre r�el
unit� de mesure
(s) and
nombre r�el
unit� de mesure
(s)
objet en une partie
est une
instance
de
objet en une partie
weight
objet en une partie
and
nombre r�el
nombre r�el
U(s) la
largeur
de
objet en une partie
est
nombre r�el
nombre r�el
U(s) la
hauteur
de
objet en une partie
est
nombre r�el
nombre r�el
U(s)
nombre r�el
U est
unit� de mesure
nombre r�el
U est
unit� de mesure
nombre r�el
U est
unit� de mesure
nombre r�el
est plus
petit
ou �gal �
nombre r�el
nombre r�el
est plus
petit
ou �gal �
nombre r�el
nombre r�el
est plus
petit
ou �gal �
nombre r�el
Vehicle
est
capable
de faire la
classe
d�crite par
cha�ne sympbolique
dans le r�le
instrument
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
greaterThan
?AMOUNT ?DRAFT))
(
capability
(
TripFn
?SHIP)
path
?WATERWAY))
Transportation.kif 2653-2658
navigableForDraft
plan d'eau
and
nombre r�el
Meter
(s)
ladenDraft
WaterVehicle
and
nombre r�el
Meter
(s)
nombre r�el
est
plus
grand
que
nombre r�el
plan d'eau
est
capable
de faire
TripFn
WaterVehicle
dans le r�le
path
(=>
(
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
plan d'eau
and
nombre r�el
Meter
(s)
ladenDraft
WaterVehicle
and
nombre r�el
Meter
(s)
nombre r�el
est plus
petit
ou �gal �
nombre r�el
plan d'eau
est
capable
de faire
TripFn
WaterVehicle
dans le r�le
path
(=>
(
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
plan d'eau
and
nombre r�el
LongTon
(s)
WaterVehicle
est une
instance
de
WaterVehicle
vesselDisplacement
WaterVehicle
and
nombre r�el
LongTon
(s)
nombre r�el
est plus
petit
ou �gal �
nombre r�el
plan d'eau
est
capable
de faire
TripFn
WaterVehicle
dans le r�le
path
(=>
(
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
entit�
and
Catalog
entit�
est une
sous
-classe de
objet
processus
est une
instance
de
processus
processus
est une
sous
-classe de
processus
entit�
est une
instance
de
entit�
entit�
est un
patient
de
processus
AutonomousAgent
est
capable
de faire
processus
dans le r�le
agent
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Process
))
(
capability
?CLASS
agent
?AGENT))
Catalog.kif 88-93
offers
AutonomousAgent
and
Catalog
catalogItem
entit�
and
Catalog
entit�
est une
sous
-classe de
processus
AutonomousAgent
est
capable
de faire
entit�
dans le r�le
agent
(=>
(
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
collection
and
collection
objet
est une
instance
de
humain
physique
est une
instance
de
processus
processus
est une
sous
-classe de
Experimenting
physique
est un
membre
de
collection
objet
est
capable
de faire
processus
dans le r�le
experimentalSubject
physique
processus
physique
est une
instance
de
processus
physique
est un
membre
de
collection
processus
est une
sous
-classe de
Experimenting
objet
est
capable
de faire
processus
dans le r�le
experimentalSubject
(=>
(
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
est une
sous
-proposition de
RegionalLawFn
secteur g�opolitique
Female
est un
attribut
de
objet
objet
est un
membre
de
ResidentFn
secteur g�opolitique
Election
est une
instance
de
Election
objet
est
capable
de faire
VotingFn
Election
dans le r�le
agent
(=>
(
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
est une
sous
-proposition de
RegionalLawFn
nation
humain
est un
citoyen
de
nation
suffrageAgeMinimum
nation
and
nombre r�el
YearDuration
(s) l'
humain
est
nombre r�el
YearDuration
(s)
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
Election
est une
instance
de
ElectionFn
nation
humain
est
capable
de faire
VotingFn
Election
dans le r�le
agent
(=>
(
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
,
arme
and
nombre entier positif
objet
est une
instance
de
arme
objet
est
capable
de faire
processus
dans le r�le
r�le d�pendant du cas
processus
est une
sous
-classe de
tirer
processus
est une
sous
-classe de
endommager
MilitaryVehicle
est
capable
de faire
processus
dans le r�le
r�le d�pendant du cas
(=>
(
attribute
?A
Deaf
)
(
not
(
capability
Hearing
agent
?A)))
Mid-level-ontology.kif 19782-19785
Deaf
est un
attribut
de
objet
objet
est
capable
de faire
entendre
dans le r�le
agent
(=>
(
attribute
?AGENT
Blind
)
(
not
(
capability
Seeing
agent
?AGENT)))
Mid-level-ontology.kif 19774-19776
Blind
est un
attribut
de
objet
objet
est
capable
de faire
voir
dans le r�le
agent
(=>
(
attribute
?AREA
FertileTerrain
)
(
capability
Agriculture
eventLocated
?AREA))
Geography.kif 1831-1833
FertileTerrain
est un
attribut
de
objet
objet
est
capable
de faire
Agriculture
dans le r�le
eventLocated
(=>
(
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
est un
attribut
de
objet
processus
processus
processus
est une
sous
-classe de
processus de diagnostique
processus
est une
sous
-classe de
processus therapeutique
objet
est
capable
de faire
processus
dans le r�le
agent
objet
est
capable
de faire
processus
dans le r�le
agent
(=>
(
attribute
?L
Liquid
)
(
capability
Boiling
patient
?L))
Merge.kif 13943-13945
Liquid
est un
attribut
de
objet
objet
est
capable
de faire
�vaporer
dans le r�le
patient
(=>
(
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
est un
attribut
de
objet
objet
est une
instance
de
pi�ce
objet
objet
and
objet
objet
est une
instance
de
r�gion
objet
est une
instance
de
r�gion
objet
est
situ
� �
objet
objet
est
situ
� �
objet
objet
est
objet
objet
est
Adjacent
�
objet
formule
formule
formule
est une
instance
de
processus
formule
est une
instance
de
processus
objet
a pour
but
formule
objet
a pour
but
formule
objet
est une
instance
de
AutonomousAgent
objet
est
situ
� �
objet
objet
est
capable
de faire
voir
dans le r�le
agent
objet
est
capable
de faire
voir
dans le r�le
patient
(=>
(
attribute
?X
Accountant
)
(
capability
Calculating
agent
?X))
Mid-level-ontology.kif 21106-21108
Accountant
est un
attribut
de
objet
objet
est
capable
de faire
calculer
dans le r�le
agent
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