Possibility
(=>
(
instance
?SVC
ShuttleService
)
(
modalAttribute
(
exists
(?GRP1 ?GRP2)
(
and
(
instance
?GRP1
GroupOfPeople
)
(
instance
?GRP2
GroupOfPeople
)
(
patient
?SVC ?GRP1)
(
patient
?SVC ?GRP2)
(
not
(
equal
?GRP1 ?GRP2))))
Possibility
))
Hotel.kif 2055-2064
Entit�
è un'
istanza
di
ShuttleService
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
GroupOfPeople
Entit�
è un'
istanza
di
GroupOfPeople
Entit�
è un
paziente
di
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
is
uguale
a
Entit�
ha il modello di forza di
Possibility
(=>
(
instance
?VIDEO
VideoRecording
)
(
modalAttribute
(
exists
(?AUDIO)
(
and
(
instance
?AUDIO
AudioRecording
)
(
part
?AUDIO ?VIDEO)))
Possibility
))
Mid-level-ontology.kif 14441-14447
Entit�
è un'
istanza
di
VideoRecording
l'affermazione
Entit�
Entit�
è un'
istanza
di
AudioRecording
Entit�
è una
parte
di
Entit�
ha il modello di forza di
Possibility
(=>
(
instance
?X
DoubleBed
)
(
modalAttribute
(
exists
(?P1 ?P2 ?TIME)
(
and
(
not
(
equal
?P1 ?P2))
(
instance
?P1
Human
)
(
instance
?P2
Human
)
(
holdsDuring
?TIME
(
and
(
attribute
?P1
Asleep
)
(
attribute
?P2
Asleep
)
(
located
?P1 ?X)
(
located
?P2 ?X)))))
Possibility
))
Mid-level-ontology.kif 3847-3860
Entit�
è un'
istanza
di
DoubleBed
l'affermazione
Entit�
Entit�
and
Entit�
Entit�
is
uguale
a
Entit�
Entit�
è un'
istanza
di
Umano
Entit�
è un'
istanza
di
Umano
attribute
Entit�
and
Addormentato
attribute
Entit�
and
Addormentato
Entit�
è
localizzato
in
Entit�
Entit�
è
localizzato
in
Entit�
vales
durante
Entit�
ha il modello di forza di
Possibility
(=>
(
instance
?X
HotelFunctionRoom
)
(
modalAttribute
(
exists
(?MTG)
(
and
(
instance
?MTG
FormalMeeting
)
(
located
?MTG ?X)))
Possibility
))
Hotel.kif 1706-1712
Entit�
è un'
istanza
di
HotelFunctionRoom
l'affermazione
Entit�
Entit�
è un'
istanza
di
FormalMeeting
Entit�
è
localizzato
in
Entit�
ha il modello di forza di
Possibility
(=>
(
instance
?X
KingBed
)
(
modalAttribute
(
exists
(?P1 ?P2 ?P3 ?TIME)
(
and
(
not
(
equal
?P1 ?P2))
(
not
(
equal
?P2 ?P3))
(
not
(
equal
?P1 ?P3))
(
attribute
?P1
Asleep
)
(
attribute
?P2
Asleep
)
(
attribute
?P3
Asleep
)
(
instance
?P1
Human
)
(
instance
?P2
Human
)
(
instance
?P3
Human
)
(
holdsDuring
?TIME
(
and
(
located
?P1 ?X)
(
located
?P2 ?X)
(
located
?P3 ?X)))))
Possibility
))
Mid-level-ontology.kif 3790-3808
Entit�
è un'
istanza
di
KingBed
l'affermazione
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
is
uguale
a
Entit�
Entit�
is
uguale
a
Entit�
Entit�
is
uguale
a
Entit�
attribute
Entit�
and
Addormentato
attribute
Entit�
and
Addormentato
attribute
Entit�
and
Addormentato
Entit�
è un'
istanza
di
Umano
Entit�
è un'
istanza
di
Umano
Entit�
è un'
istanza
di
Umano
Entit�
è
localizzato
in
Entit�
Entit�
è
localizzato
in
Entit�
Entit�
è
localizzato
in
Entit�
vales
durante
Entit�
ha il modello di forza di
Possibility
(=>
(
instance
?X
OperatorAssistedTelephoneCommunication
)
(
exists
(?ORIGIN ?DEST ?OPERATOR)
(
and
(
origin
?X ?ORIGIN)
(
destination
?X ?DEST)
(
instance
?OPERATOR
Human
)
(
hasPurpose
?OPERATOR
(
exists
(?PROC)
(
and
(
instance
?PROC
IntentionalProcess
)
(
agent
?PROC ?OPERATOR)
(
subProcess
?PROC ?X)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?PROC))
(
modalAttribute
(
exists
(?COMM)
(
and
(
instance
?COMM
Communication
)
(
origin
?COMM ?ORIGIN)
(
destination
?COMM ?DEST)))
Possibility
))))))))
Mid-level-ontology.kif 27047-27069
Processo
è un'
istanza
di
OperatorAssistedTelephoneCommunication
Oggetto
Entit�
and
Entit�Concreta
Processo
si
originas in
Oggetto
Processo
fine
s in
Entit�
Entit�Concreta
è un'
istanza
di
Umano
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
ProcessoIntenzionale
Entit�
è un
agente
di
Entit�Concreta
Entit�
è un
sottoprocesso
di
Processo
l'affermazione
Entit�
Entit�
è un'
istanza
di
Comunicazione
Entit�
si
originas in
Oggetto
Entit�
fine
s in
Entit�
ha il modello di forza di
Possibility
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Entit�
(=>
(
instance
?X
QueenBed
)
(
modalAttribute
(
exists
(?P1 ?P2 ?TIME)
(
and
(
not
(
equal
?P1 ?P2))
(
instance
?P1
Human
)
(
instance
?P2
Human
)
(
holdsDuring
?TIME
(
and
(
attribute
?P1
Asleep
)
(
attribute
?P2
Asleep
)
(
located
?P1 ?X)
(
located
?P2 ?X)))))
Possibility
))
Mid-level-ontology.kif 3821-3834
Entit�
è un'
istanza
di
QueenBed
l'affermazione
Entit�
Entit�
and
Entit�
Entit�
is
uguale
a
Entit�
Entit�
è un'
istanza
di
Umano
Entit�
è un'
istanza
di
Umano
attribute
Entit�
and
Addormentato
attribute
Entit�
and
Addormentato
Entit�
è
localizzato
in
Entit�
Entit�
è
localizzato
in
Entit�
vales
durante
Entit�
ha il modello di forza di
Possibility
(=>
(
instance
?X
Recliner
)
(
modalAttribute
(
exists
(?INCLINE)
(
and
(
instance
?INCLINE
Inclining
)
(
patient
?INCLINE ?X)))
Possibility
))
Mid-level-ontology.kif 26197-26203
Entit�
è un'
istanza
di
Recliner
l'affermazione
Entit�
Entit�
è un'
istanza
di
Inclining
Entit�
è un
paziente
di
Entit�
ha il modello di forza di
Possibility
(=>
(
instance
?X
RewritableDataStorage
)
(
and
(
modalAttribute
(
exists
(?WRITE1 ?DATA1)
(
and
(
instance
?WRITE1
Writing
)
(
patient
?WRITE1 ?X)
(
patient
?WRITE1 ?DATA1)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WRITE1))
(
stored
?DATA1 ?X))))
Possibility
)
(
modalAttribute
(
exists
(?WRITE2 ?DATA2)
(
and
(
stored
?DATA2 ?X)
(
or
(
instance
?WRITE2
ContentDevelopment
)
(
instance
?WRITE2
DeletingData
))
(
not
(
equal
?WRITE1 ?WRITE2))
(
patient
?WRITE2 ?DATA2)))
Possibility
)))
Media.kif 741-763
Entit�
è un'
istanza
di
RewritableDataStorage
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Scrivere
Entit�
è un
paziente
di
Entit�
Entit�
è un
paziente
di
Entit�
stored
Entit�
and
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Entit�
ha il modello di forza di
Possibility
l'affermazione
Entit�
Entit�
stored
Entit�
and
Entit�
Entit�
è un'
istanza
di
SviluppoDelContenuto
Entit�
è un'
istanza
di
DeletingData
Entit�
is
uguale
a
Entit�
Entit�
è un
paziente
di
Entit�
ha il modello di forza di
Possibility
(=>
(
instance
?X
SeatBelt
)
(
hasPurpose
?X
(
exists
(?PERSON ?STOP ?VEHICLE ?M)
(
and
(
instance
?VEHICLE
Vehicle
)
(
part
?X ?VEHICLE)
(
instance
?PERSON
Human
)
(
contains
?VEHICLE ?PERSON)
(
instance
?STOP
Process
)
(
prevents
?STOP
(
KappaFn
?M
(
and
(
instance
?M
Translocation
)
(
patient
?M ?PERSON)
(
exists
(?COLLISION)
(
and
(
or
(
instance
?COLLISION
Decelerating
)
(
instance
?COLLISION
Impacting
))
(
experiencer
?COLLISION ?VEHICLE)
(
causes
?COLLISION ?M)))
(
modalAttribute
(
exists
(?INJ ?IMP)
(
and
(
instance
?INJ
Injuring
)
(
instance
?IMP
Impacting
)
(
causes
?M ?INJ)
(
patient
?INJ ?PERSON)
(
subProcess
?IMP ?INJ)))
Possibility
))))))))
Cars.kif 3675-3704
Entit�Concreta
è un'
istanza
di
SeatBelt
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Vehicle
Entit�Concreta
è una
parte
di
Entit�
Entit�
è un'
istanza
di
Umano
contains
Entit�
and
Entit�
Entit�
è un'
istanza
di
Processo
Entit�
impedisce
l'occorrenza di la
classe
descritta da
Entit�
(=>
(
instance
?X
WriteOnceDataStorage
)
(
and
(
modalAttribute
(
exists
(?WRITE1 ?DATA1)
(
and
(
instance
?WRITE1
Writing
)
(
patient
?WRITE1 ?X)
(
patient
?WRITE1 ?DATA1)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WRITE1))
(
stored
?DATA1 ?X))))
Possibility
)
(
not
(
modalAttribute
(
exists
(?WRITE2 ?DATA2)
(
and
(
stored
?DATA2 ?X)
(
or
(
instance
?WRITE2
ContentDevelopment
)
(
instance
?WRITE2
DeletingData
))
(
not
(
equal
?WRITE1 ?WRITE2))
(
patient
?WRITE2 ?DATA2)))
Possibility
))))
Media.kif 713-736
Entit�
è un'
istanza
di
WriteOnceDataStorage
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Scrivere
Entit�
è un
paziente
di
Entit�
Entit�
è un
paziente
di
Entit�
stored
Entit�
and
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Entit�
ha il modello di forza di
Possibility
l'affermazione
Entit�
Entit�
stored
Entit�
and
Entit�
Entit�
è un'
istanza
di
SviluppoDelContenuto
Entit�
è un'
istanza
di
DeletingData
Entit�
is
uguale
a
Entit�
Entit�
è un
paziente
di
Entit�
ha il modello di forza di
Possibility
(=>
(
instance
?Y
SulphurDioxide
)
(
modalAttribute
(
exists
(?D ?P)
(
and
(
instance
?D
Damaging
)
(
instance
?P
Human
)
(
instrument
?D ?Y)
(
patient
?D ?P)))
Possibility
))
Geography.kif 7189-7197
Entit�
è un'
istanza
di
SulphurDioxide
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Danneggiare
Entit�
è un'
istanza
di
Umano
Entit�
è uno
strumento
per
Entit�
Entit�
è un
paziente
di
Entit�
ha il modello di forza di
Possibility
(=>
(
loggedInDuring
?A ?UA ?T)
(
modalAttribute
(
holdsDuring
?T
(
exists
(?P ?C)
(
and
(
instance
?P
ComputerProcess
)
(
agent
?P ?A)
(
deviceAccount
?UA ?C)
(
instance
?C
Computer
)
(
computerRunning
?P ?C)
(
instrument
?P ?C))))
Possibility
))
ComputingBrands.kif 4347-4358
loggedInDuring
AutonomousAgent
,
UserAccount
and
IntervalloTemporale
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
ComputerProcess
Entit�
è un
agente
di
AutonomousAgent
deviceAccount
UserAccount
and
Entit�
Entit�
è un'
istanza
di
Computer
computerRunning
Entit�
and
Entit�
Entit�
è uno
strumento
per
Entit�
vales
durante
IntervalloTemporale
ha il modello di forza di
Possibility
(=>
(
modalAttribute
?FORMULA
Necessity
)
(
modalAttribute
?FORMULA
Possibility
))
Merge.kif 17420-17422
L'affermazione
Formula
ha il modello di forza di
Necessity
l'affermazione
Formula
ha il modello di forza di
Possibility
(=>
(
modalAttribute
?FORMULA
Permission
)
(
modalAttribute
?FORMULA
Possibility
))
Merge.kif 17318-17320
L'affermazione
Formula
ha il modello di forza di
Permission
l'affermazione
Formula
ha il modello di forza di
Possibility
(=>
(
parasitic
?O1 ?O2)
(
exists
(?I1 ?I2)
(
modalAttribute
(
and
(
instance
?I1 ?O1)
(
instance
?I2 ?O2)
(
parasite
?I1 ?I2))
Possibility
)))
WMD.kif 2007-2015
parasitic
Organismo
and
Organismo
Entit�
Entit�
l'affermazione
Entit�
è un'
istanza
di
Organismo
Entit�
è un'
istanza
di
Organismo
parasite
Entit�
and
Entit�
ha il modello di forza di
Possibility
(=>
(
pathologyCandidate
?H ?D)
(
exists
(?DOC ?DI)
(
and
(
instance
?DI ?D)
(
believes
?DOC
(
modalAttribute
(
experiencer
?D ?H)
Possibility
)))))
Medicine.kif 1954-1962
pathologyCandidate
Umano
and
ProcessoPatologico
ProcessoPatologico
OC
ProcessoPatologico
I
ProcessoPatologico
I è un'
istanza
di
ProcessoPatologico
ProcessoPatologico
OC
crede
s l'affermazione
Umano
esperisce
s
ProcessoPatologico
ha il modello di forza di
Possibility
(=>
(
patient
?RAIN
AcidRainfall
)
(
modalAttribute
(
exists
(?D ?O ?X ?L)
(
and
(
instance
?D
Damaging
)
(
causes
?RAIN ?D)
(
instrument
?D ?RAIN)
(
instance
?O
Organism
)
(
instance
?X
StationaryArtifact
)
(
instance
?L
Outdoors
)
(
located
?X ?L)
(
located
?O ?L)
(
or
(
patient
?D ?O)
(
patient
?D ?X))))
Possibility
))
Geography.kif 2519-2534
AcidRainfall
è un
paziente
di
Processo
l'affermazione
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Danneggiare
Processo
causa
s
Entit�
Processo
è uno
strumento
per
Entit�
Entit�
è un'
istanza
di
Organismo
Entit�
è un'
istanza
di
ManufattoStatico
Entit�
è un'
istanza
di
Outdoors
Entit�
è
localizzato
in
Entit�
Entit�
è
localizzato
in
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un
paziente
di
Entit�
ha il modello di forza di
Possibility
(=>
(
potentialCustomer
?CUST ?AGENT)
(
modalAttribute
(
customer
?CUST ?AGENT)
Possibility
))
Dining.kif 819-822
potentialCustomer
AgenteCognitivo
and
AutonomousAgent
l'affermazione
customer
AgenteCognitivo
and
AutonomousAgent
ha il modello di forza di
Possibility
(=>
(
providesDestination
?TC ?REG)
(
modalAttribute
(
exists
(?SVC)
(
and
(
instance
?SVC
TransportationService
)
(
serviceProvider
?SVC ?TC)
(
destination
?SVC ?REG)))
Possibility
))
Transportation.kif 3401-3408
providesDestination
TransportationCompany
and
Regione
l'affermazione
Entit�
Entit�
è un'
istanza
di
TransportationService
serviceProvider
Entit�
and
TransportationCompany
Entit�
fine
s in
Regione
ha il modello di forza di
Possibility
(=>
(
releaseForSale
?OBJ ?AREA ?TIME)
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
modalAttribute
(
exists
(?O ?B)
(
and
(
instance
?O ?OBJ)
(
instance
?B
Buying
)
(
eventLocated
?B ?AREA)
(
patient
?B ?O)))
Possibility
)))
Music.kif 1499-1509
releaseForSale
Oggetto
,
AreaGeografica
and
PuntoTemporale
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Oggetto
Entit�
è un'
istanza
di
Acquistare
eventLocated
Entit�
and
AreaGeografica
Entit�
è un
paziente
di
Entit�
ha il modello di forza di
Possibility
vales
durante
immediatamente
dopo
PuntoTemporale
(=>
(
roomAmenity
?ROOM
MotionPicture
)
(
exists
(?R ?MS ?MP)
(
and
(
instance
?R ?ROOM)
(
instance
?MS
MediaSystem
)
(
located
?MS ?R)
(
instance
?MP
MotionPicture
)
(
modalAttribute
(
exists
(?RL)
(
and
(
instance
?RL
RadiatingLight
)
(
instrument
?RL ?MS)
(
patient
?RL ?MP)))
Possibility
))))
Hotel.kif 1506-1519
roomAmenity
HotelUnit
and
ImmagineDinamica
Oggetto
Entit�Concreta
and
Entit�
Oggetto
è un'
istanza
di
HotelUnit
Entit�Concreta
è un'
istanza
di
MediaSystem
Entit�Concreta
è
localizzato
in
Oggetto
Entit�
è un'
istanza
di
ImmagineDinamica
l'affermazione
Oggetto
L
Oggetto
L è un'
istanza
di
RadiazioneLuminosa
Entit�Concreta
è uno
strumento
per
Oggetto
L
Entit�
è un
paziente
di
Oggetto
L ha il modello di forza di
Possibility
(=>
(
trusts
?A1 ?A2 ?P)
(
believes
?A1
(
modalAttribute
(
exists
(?PI)
(
and
(
instance
?PI ?P)
(
agent
?PI ?A2)))
Possibility
)))
Law.kif 390-398
trusts
AgenteCognitivo
,
AutonomousAgent
and
ProcessoIntenzionale
AgenteCognitivo
crede
s l'affermazione
ProcessoIntenzionale
I
ProcessoIntenzionale
I è un'
istanza
di
ProcessoIntenzionale
ProcessoIntenzionale
I è un
agente
di
AutonomousAgent
ha il modello di forza di
Possibility
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