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 7350-7364
Oggetto
è un'
istanza
di
AuditoriumSeat
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Auditorium
Oggetto
è un'
istanza
di
PerformanceStage
Oggetto
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
Umano
Processo
è una
sottoclasse
di
Vista
Processo
Processo
è un'
istanza
di
Processo
Oggetto
è un
paziente
di
Processo
Oggetto
è
capace
di fare
Processo
nel ruolo
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 13496-13506
Processo
è un'
istanza
di
ImpairmentFn
Processo
Oggetto
è uno
strumento
per
Processo
Oggetto
2
Oggetto
2 is
uguale
a
Oggetto
Oggetto
2 è
capace
di fare
Processo
nel ruolo
instrument
Oggetto
è
capace
di fare
Processo
nel ruolo
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 13516-13526
Processo
è un'
istanza
di
SenseImpairmentFn
Percezione
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
2
AutonomousAgent
2 is
uguale
a
AutonomousAgent
AutonomousAgent
2 è
capace
di fare
Percezione
nel ruolo
experiencer
AutonomousAgent
è
capace
di fare
Percezione
nel ruolo
experiencer
(=>
(
and
(
instance
?SI
(
SenseImpairmentFn
?S))
(
experiencer
?SI ?A))
(
not
(
capability
?S
experiencer
?A)))
Merge.kif 13536-13541
Processo
è un'
istanza
di
SenseImpairmentFn
Percezione
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
è
capace
di fare
Percezione
nel ruolo
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 13632-13646
Processo
è un'
istanza
di
OndaSonora
Processo
è un
agente
di
AutonomousAgent
attribute
Processo
and
Audible
Oggetto
Stringa
Oggetto
è un'
istanza
di
Umano
Oggetto
è
capace
di fare la
classe
descritta da
Stringa
nel ruolo
agent
(=>
(
and
(
instance
?VD
VehicleDoor
)
(
attribute
?VD
DeviceNormal
))
(
and
(
capability
Opening
patient
?VD)
(
capability
Closing
patient
?VD)))
Mid-level-ontology.kif 29390-29396
Oggetto
è un'
istanza
di
VehicleDoor
attribute
Oggetto
and
DeviceNormal
Oggetto
è
capace
di fare
Opening
nel ruolo
patient
Oggetto
è
capace
di fare
Closing
nel ruolo
patient
(=>
(
and
(
instance
?WEAPON
BiochemicalWeapon
)
(
possesses
?AGENT ?WEAPON))
(
capability
BiochemicalAttack
agent
?AGENT))
WMD.kif 51-55
Oggetto
è un'
istanza
di
BiochemicalWeapon
AutonomousAgent
possiede
es
Oggetto
AutonomousAgent
è
capace
di fare
BiochemicalAttack
nel ruolo
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
Oggetto
è un'
istanza
di
OggettoSemiotico
attribute
Oggetto
and
Braille
Oggetto
Oggetto
è un'
istanza
di
Umano
attribute
Oggetto
and
Blind
Oggetto
è
capace
di fare
Interpreting
nel ruolo
agent
Oggetto
è
capace
di fare
Interpreting
nel ruolo
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
NumeroReale
Unit�DiMisura
(s
maximumPayloadHeightWidth
Vehicle
,
NumeroReale
Unit�DiMisura
(s and
NumeroReale
Unit�DiMisura
(s
OggettoIntegro
è un'
istanza
di
OggettoIntegro
weight
OggettoIntegro
and
NumeroReale
NumeroReale
U(s l'
ampiezza
di
OggettoIntegro
è
NumeroReale
NumeroReale
U(s l'
altezza
di
OggettoIntegro
è
NumeroReale
NumeroReale
U(s
NumeroReale
U is
uguale
a
Unit�DiMisura
NumeroReale
U is
uguale
a
Unit�DiMisura
NumeroReale
U is
uguale
a
Unit�DiMisura
NumeroReale
è
minore
o uguale a
NumeroReale
NumeroReale
è
minore
o uguale a
NumeroReale
NumeroReale
è
minore
o uguale a
NumeroReale
Vehicle
è
capace
di fare la
classe
descritta da
Stringa
nel ruolo
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
SuperficieAcquatica
and
NumeroReale
Meter
(s
ladenDraft
WaterVehicle
and
NumeroReale
Meter
(s
NumeroReale
è
pi
ù grande di
NumeroReale
SuperficieAcquatica
è
capace
di fare
TripFn
WaterVehicle
nel ruolo
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
SuperficieAcquatica
and
NumeroReale
Meter
(s
ladenDraft
WaterVehicle
and
NumeroReale
Meter
(s
NumeroReale
è
minore
o uguale a
NumeroReale
SuperficieAcquatica
è
capace
di fare
TripFn
WaterVehicle
nel ruolo
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
SuperficieAcquatica
and
NumeroReale
LongTon
(s
WaterVehicle
è un'
istanza
di
WaterVehicle
vesselDisplacement
WaterVehicle
and
NumeroReale
LongTon
(s
NumeroReale
è
minore
o uguale a
NumeroReale
SuperficieAcquatica
è
capace
di fare
TripFn
WaterVehicle
nel ruolo
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�
è una
sottoclasse
di
Oggetto
Processo
è un'
istanza
di
Processo
Processo
è una
sottoclasse
di
Processo
Entit�
è un'
istanza
di
Entit�
Entit�
è un
paziente
di
Processo
AutonomousAgent
è
capace
di fare
Processo
nel ruolo
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�
è una
sottoclasse
di
Processo
AutonomousAgent
è
capace
di fare
Entit�
nel ruolo
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
InsiemeConcreto
and
InsiemeConcreto
Oggetto
è un'
istanza
di
Umano
Entit�Concreta
è un'
istanza
di
Processo
Processo
è una
sottoclasse
di
Experimenting
Entit�Concreta
è un
membro
di
InsiemeConcreto
Oggetto
è
capace
di fare
Processo
nel ruolo
experimentalSubject
Entit�Concreta
Processo
Entit�Concreta
è un'
istanza
di
Processo
Entit�Concreta
è un
membro
di
InsiemeConcreto
Processo
è una
sottoclasse
di
Experimenting
Oggetto
è
capace
di fare
Processo
nel ruolo
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
è una
sottoproposizione
RegionalLawFn
AreaGeopolitica
attribute
Oggetto
and
Female
Oggetto
è un
membro
di
ResidentFn
AreaGeopolitica
Election
è un'
istanza
di
Election
Oggetto
è
capace
di fare
VotingFn
Election
nel ruolo
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
è una
sottoproposizione
RegionalLawFn
Nazione
Umano
è un
cittadino
di
Nazione
suffrageAgeMinimum
Nazione
and
NumeroReale
YearDuration
(s il
et
à di
Umano
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
Election
è un'
istanza
di
ElectionFn
Nazione
Umano
è
capace
di fare
VotingFn
Election
nel ruolo
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
,
Arma
and
NumeroInteroPositivo
Oggetto
è un'
istanza
di
Arma
Oggetto
è
capace
di fare
Processo
nel ruolo
RuoloSemantico
Processo
è una
sottoclasse
di
Sparare
Processo
è una
sottoclasse
di
Danneggiare
MilitaryVehicle
è
capace
di fare
Processo
nel ruolo
RuoloSemantico
(=>
(
attribute
?A
Deaf
)
(
not
(
capability
Hearing
agent
?A)))
Mid-level-ontology.kif 19781-19784
attribute
Oggetto
and
Deaf
Oggetto
è
capace
di fare
Udito
nel ruolo
agent
(=>
(
attribute
?AGENT
Blind
)
(
not
(
capability
Seeing
agent
?AGENT)))
Mid-level-ontology.kif 19773-19775
attribute
Oggetto
and
Blind
Oggetto
è
capace
di fare
Vista
nel ruolo
agent
(=>
(
attribute
?AREA
FertileTerrain
)
(
capability
Agriculture
eventLocated
?AREA))
Geography.kif 1831-1833
attribute
Oggetto
and
FertileTerrain
Oggetto
è
capace
di fare
Agriculture
nel ruolo
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 21035-21042
attribute
Oggetto
and
MedicalDoctor
Processo
Processo
Processo
è una
sottoclasse
di
ProcessoDiagnostico
Processo
è una
sottoclasse
di
ProcessoTerapeutico
Oggetto
è
capace
di fare
Processo
nel ruolo
agent
Oggetto
è
capace
di fare
Processo
nel ruolo
agent
(=>
(
attribute
?L
Liquid
)
(
capability
Boiling
patient
?L))
Merge.kif 13965-13967
attribute
Oggetto
and
Liquid
Oggetto
è
capace
di fare
Bollire
nel ruolo
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
attribute
Oggetto
and
OpenLayout
Oggetto
è un'
istanza
di
Stanza
Oggetto
Oggetto
and
Oggetto
Oggetto
è un'
istanza
di
Regione
Oggetto
è un'
istanza
di
Regione
Oggetto
è
localizzato
in
Oggetto
Oggetto
è
localizzato
in
Oggetto
Oggetto
is
uguale
a
Oggetto
Oggetto
è
Adjacent
a
Oggetto
Formula
Formula
Formula
è un'
istanza
di
Processo
Formula
è un'
istanza
di
Processo
Oggetto
ha
scopo
Formula
Oggetto
ha
scopo
Formula
Oggetto
è un'
istanza
di
AutonomousAgent
Oggetto
è
localizzato
in
Oggetto
Oggetto
è
capace
di fare
Vista
nel ruolo
agent
Oggetto
è
capace
di fare
Vista
nel ruolo
patient
(=>
(
attribute
?X
Accountant
)
(
capability
Calculating
agent
?X))
Mid-level-ontology.kif 21105-21107
attribute
Oggetto
and
Accountant
Oggetto
è
capace
di fare
Calcolare
nel ruolo
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