Possibility
(=>
(
and
(
instance
?X
ReadOnlyMemoryDataStorage
)
(
instance
?FABRICATION
Manufacture
)
(
result
?FABRICATION ?X))
(
not
(
modalAttribute
(
exists
(?WRITE1 ?DATA1 ?WRITE2)
(
and
(
or
(
instance
?WRITE2
ContentDevelopment
)
(
instance
?WRITE2
DeletingData
))
(
earlier
(
WhenFn
?FABRICATION)
(
WhenFn
?WRITE1))
(
patient
?WRITE1 ?X)
(
patient
?WRITE1 ?DATA1)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WRITE1))
(
stored
?DATA1 ?X))))
Possibility
)))
Media.kif 768-788
Entit�
è un'
istanza
di
ReadOnlyMemoryDataStorage
Processo
è un'
istanza
di
Lavorazione
Entit�
è un
risultato
di
Processo
l'affermazione
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
SviluppoDelContenuto
Entit�
è un'
istanza
di
DeletingData
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Entit�
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
(=>
(
and
(
instance
?X
Substance
)
(
attribute
?X
Insoluble
))
(
not
(
modalAttribute
(
exists
(?Y ?Z)
(
and
(
instance
?Y
Substance
)
(
instance
?Z
Solution
)
(
piece
?X ?Z)
(
piece
?Y ?Z)))
Possibility
)))
Geography.kif 7380-7392
Oggetto
è un'
istanza
di
Sostanza
attribute
Oggetto
and
Insoluble
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Sostanza
Entit�
è un'
istanza
di
Soluzione
Oggetto
è un
membro
di
Entit�
Entit�
è un
membro
di
Entit�
ha il modello di forza di
Possibility
(=>
(
and
(
instance
?X
Substance
)
(
attribute
?X
Soluble
))
(
modalAttribute
(
exists
(?Y ?Z)
(
and
(
instance
?Y
Substance
)
(
instance
?Z
Solution
)
(
piece
?X ?Z)
(
piece
?Y ?Z)))
Possibility
))
Geography.kif 7352-7363
Oggetto
è un'
istanza
di
Sostanza
attribute
Oggetto
and
Soluble
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Sostanza
Entit�
è un'
istanza
di
Soluzione
Oggetto
è un
membro
di
Entit�
Entit�
è un
membro
di
Entit�
ha il modello di forza di
Possibility
(=>
(
and
(
instance
?X
WhirlpoolTub
)
(
attribute
?X
DoubleSize
))
(
modalAttribute
(
exists
(?T1)
(
holdsDuring
?T1
(
exists
(?P1 ?P2)
(
and
(
instance
?P1
Human
)
(
instance
?P2
Human
)
(
not
(
equal
?P1 ?P2))
(
located
?P1 ?X)
(
located
?P2 ?X)))))
Possibility
))
Mid-level-ontology.kif 25333-25346
Oggetto
è un'
istanza
di
WhirlpoolTub
attribute
Oggetto
and
DoubleSize
l'affermazione
Entit�
Entit�
Entit�
Entit�
è un'
istanza
di
Umano
Entit�
è un'
istanza
di
Umano
Entit�
is
uguale
a
Entit�
Entit�
è
localizzato
in
Oggetto
Entit�
è
localizzato
in
Oggetto
vales
durante
Entit�
ha il modello di forza di
Possibility
(=>
(
and
(
maxRoomCapacity
?ROOM ?NUM)
(
instance
?X ?ROOM)
(
element
?X
(
PropertyFn
?AGENT)))
(
modalAttribute
(
exists
(?GRP ?PPL)
(
and
(
instance
?GRP
GroupOfPeople
)
(
memberCount
?GRP ?PPL)
(
lessThanOrEqualTo
?PPL ?NUM)
(
stays
?GRP ?X)))
Possibility
))
Hotel.kif 479-490
maxRoomCapacity
ManufattoStatico
and
NumeroIntero
Entit�
è un'
istanza
di
ManufattoStatico
%è un
elemento
di %2
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
GroupOfPeople
memberCount
Entit�
and
Entit�
Entit�
è
minore
o uguale a
NumeroIntero
stays
Entit�
and
Entit�
ha il modello di forza di
Possibility
(=>
(
and
(
offers
?AGENT ?ATTR)
(
instance
?ATTR
Attribute
))
(
modalAttribute
(
exists
(?OBJ ?SELL)
(
and
(
instance
?SELL
Selling
)
(
attribute
?OBJ ?ATTR)
(
patient
?SELL ?OBJ)
(
agent
?SELL ?AGENT)))
Possibility
))
Catalog.kif 109-119
offers
AutonomousAgent
and
Astratto
Astratto
è un'
istanza
di
Attributo
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Vendere
attribute
Entit�
and
Astratto
Entit�
è un
paziente
di
Entit�
Entit�
è un
agente
di
AutonomousAgent
ha il modello di forza di
Possibility
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?OBJ ?CATALOG)
(
subclass
?OBJ
Physical
))
(
modalAttribute
(
exists
(?S ?X)
(
and
(
instance
?X ?OBJ)
(
instance
?S
Selling
)
(
agent
?S ?AGENT)
(
patient
?S ?X)))
Possibility
))
Catalog.kif 51-62
offers
AutonomousAgent
and
Catalog
catalogItem
Entit�
and
Catalog
Entit�
è una
sottoclasse
di
Entit�Concreta
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Entit�
Entit�
è un'
istanza
di
Vendere
Entit�
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Entit�
ha il modello di forza di
Possibility
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?PROP ?CATALOG)
(
subclass
?PROP
Proposition
))
(
modalAttribute
(
exists
(?P ?S ?X)
(
and
(
instance
?P ?PROP)
(
realization
?X ?P)
(
instance
?S
Selling
)
(
patient
?S ?X)
(
agent
?S ?AGENT)))
Possibility
))
Catalog.kif 64-76
offers
AutonomousAgent
and
Catalog
catalogItem
Entit�
and
Catalog
Entit�
è una
sottoclasse
di
Proposizione
l'affermazione
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Entit�
Entit�
esprime
il contenuto di
Entit�
Entit�
è un'
istanza
di
Vendere
Entit�
è un
paziente
di
Entit�
Entit�
è un
agente
di
AutonomousAgent
ha il modello di forza di
Possibility
(=>
(
and
(
parent
?CHILD ?PARENT)
(
or
(
instance
?CHILD
HumanChild
)
(
instance
?CHILD
HumanBaby
)))
(
modalAttribute
(
exists
(?CARE)
(
and
(
instance
?CARE
ChildCareService
)
(
desires
?PARENT ?CARE)))
Possibility
))
Hotel.kif 1890-1900
Organismo
è un
parente
di
Organismo
Organismo
è un'
istanza
di
HumanChild
Organismo
è un'
istanza
di
HumanBaby
l'affermazione
Entit�
Entit�
è un'
istanza
di
ChildCareService
Organismo
desidera
s
Entit�
ha il modello di forza di
Possibility
(=>
(
and
(
property
?AGREEMENT
Contract
)
(
partyToAgreement
?AGENT1 ?AGREEMENT)
(
partyToAgreement
?AGENT2 ?AGREEMENT)
(
instance
?PROC
IntentionalProcess
)
(
agent
?PROC ?AGENT1)
(
realization
?PROC ?PROP)
(
not
(
consistent
?PROP ?AGREEMENT)))
(
modalAttribute
(
exists
(?LEGAL)
(
and
(
instance
?LEGAL
LegalAction
)
(
plaintiff
?LEGAL ?AGENT2)
(
defendant
?LEGAL ?AGENT1)))
Possibility
))
Mid-level-ontology.kif 14149-14163
Agreement
ha un
attributo
Contract
partyToAgreement
AgenteCognitivo
and
Agreement
partyToAgreement
AgenteCognitivo
and
Agreement
Processo
è un'
istanza
di
ProcessoIntenzionale
Processo
è un
agente
di
AgenteCognitivo
Processo
esprime
il contenuto di
Proposizione
consistent
Proposizione
and
Agreement
l'affermazione
Entit�
Entit�
è un'
istanza
di
AzioneLegale
plaintiff
Entit�
and
AgenteCognitivo
defendant
Entit�
and
AgenteCognitivo
ha il modello di forza di
Possibility
(=>
(
and
(
roomAmenity
?ROOM ?SVC)
(
subclass
?SVC
Process
))
(
modalAttribute
(
exists
(?X ?S ?HOTEL ?PROC)
(
and
(
instance
?X ?ROOM)
(
element
?X
(
PropertyFn
?HOTEL))
(
agent
?S ?HOTEL)
(
or
(
instance
?S ?SVC)
(
and
(
instance
?PROC ?SVC)
(
subProcess
?S ?PROC)))
(
located
?S ?X)))
Possibility
))
Hotel.kif 317-332
roomAmenity
HotelUnit
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Processo
l'affermazione
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
HotelUnit
%è un
elemento
di
Possibility
Entit�
è un
agente
di
Entit�
Entit�
è un'
istanza
di
Entit�Concreta
Entit�
è un'
istanza
di
Entit�Concreta
Entit�
è un
sottoprocesso
di
Entit�
Entit�
è
localizzato
in
Entit�
ha il modello di forza di
Possibility
(=>
(
and
(
viewType
?ROOM ?OBJ)
(
instance
?ROOM
Room
)
(
instance
?INST ?OBJ)
(
orientation
?INST ?ROOM
Outside
))
(
modalAttribute
(
exists
(?HUMAN ?SEE)
(
and
(
instance
?HUMAN
Human
)
(
located
?HUMAN ?ROOM)
(
instance
?SEE
Seeing
)
(
patient
?SEE ?INST)
(
agent
?SEE ?HUMAN)))
Possibility
))
Hotel.kif 954-967
viewType
Oggetto
and
Entit�Concreta
Oggetto
è un'
istanza
di
Stanza
Oggetto
è un'
istanza
di
Entit�Concreta
Oggetto
è
Outside
a
Oggetto
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Umano
Entit�
è
localizzato
in
Oggetto
Entit�
è un'
istanza
di
Vista
Oggetto
è un
paziente
di
Entit�
Entit�
è un
agente
di
Entit�
ha il modello di forza di
Possibility
(=>
(
attribute
?O
Translucent
)
(
modalAttribute
(
exists
(?EMIT ?S ?OBJ)
(
and
(
instance
?EMIT
RadiatingLight
)
(
resource
?EMIT ?S)
(
destination
?EMIT ?OBJ)
(
between
?S ?O ?OBJ)
(
holdsDuring
(
WhenFn
?EMIT)
(
attribute
?OBJ
Illuminated
))))
Possibility
))
Mid-level-ontology.kif 15152-15164
attribute
Oggetto
and
Translucent
l'affermazione
Entit�
Entit�
and
Oggetto
BJ
Entit�
è un'
istanza
di
RadiazioneLuminosa
Entit�
è una
risorsa
per
Entit�
Entit�
fine
s in
Oggetto
BJ
Oggetto
è
tra
Entit�
e
Oggetto
BJ
attribute
Oggetto
BJ and
Illuminated
vales
durante
il
tempo
di esistenza di
Entit�
ha il modello di forza di
Possibility
(=>
(
attribute
?O
Transparent
)
(
modalAttribute
(
exists
(?S ?A ?D)
(
and
(
instance
?S
Seeing
)
(
agent
?S ?A)
(
destination
?S ?D)
(
between
?O ?A ?D)))
Possibility
))
Mid-level-ontology.kif 15124-15133
attribute
Oggetto
and
Transparent
l'affermazione
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Vista
Entit�
è un
agente
di
Entit�
Entit�
fine
s in
Entit�
Entit�
è
tra
Oggetto
e
Entit�
ha il modello di forza di
Possibility
(=>
(
attribute
?X
Locked
)
(
exists
(?LOCK ?CLOSE ?MOVE)
(
and
(
instance
?LOCK
Lock
)
(
connected
?LOCK ?X)
(
instance
?CLOSE
Closing
)
(
patient
?CLOSE ?LOCK)
(
instance
?MOVE
Motion
)
(
earlier
(
WhenFn
?CLOSE)
(
WhenFn
(
attribute
?X
Locked
)))
(
holdsDuring
(
WhenFn
(
attribute
?X
Locked
))
(
not
(
modalAttribute
(
patient
?MOVE ?X)
Possibility
))))))
Mid-level-ontology.kif 2698-2714
attribute
Oggetto
and
Locked
Oggetto
Processo
and
Entit�
Oggetto
è un'
istanza
di
Lock
Oggetto
è
connesso
a
Oggetto
Processo
è un'
istanza
di
Closing
Oggetto
è un
paziente
di
Processo
Entit�
è un'
istanza
di
Movimento
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
attribute
Oggetto
and
Locked
l'affermazione
Oggetto
è un
paziente
di
Entit�
ha il modello di forza di
Possibility
vales
durante
il
tempo
di esistenza di
attribute
Oggetto
and
Locked
(=>
(
capability
?PROCESS ?ROLE ?OBJ)
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?PROCESS)
(?ROLE ?P ?OBJ)))
Possibility
))
Merge.kif 3918-3924
Oggetto
è
capace
di fare
Processo
nel ruolo
RuoloSemantico
l'affermazione
Entit�
Entit�
è un'
istanza
di
Processo
RuoloSemantico
Entit�
and
Oggetto
ha il modello di forza di
Possibility
(=>
(
capacityByArrangement
?AREA ?PROP ?INT)
(=>
(
represents
?AREA ?PROP)
(
modalAttribute
(
exists
(?GRP ?PPL)
(
and
(
instance
?GRP
GroupOfPeople
)
(
memberCount
?GRP ?PPL)
(
lessThanOrEqualTo
?PPL ?INT)
(
located
?GRP ?AREA)))
Possibility
)))
Hotel.kif 790-800
capacityByArrangement
Regione
,
Proposizione
and
NumeroIntero
Regione
esprime
Proposizione
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
GroupOfPeople
memberCount
Entit�
and
Entit�
Entit�
è
minore
o uguale a
NumeroIntero
Entit�
è
localizzato
in
Regione
ha il modello di forza di
Possibility
(=>
(
diseaseCandidate
?H ?D)
(
exists
(?DOC)
(
believes
?DOC
(
modalAttribute
(
attribute
?H ?D)
Possibility
))))
Medicine.kif 1939-1945
diseaseCandidate
Umano
and
MalattiaOSindrome
MalattiaOSindrome
OC
MalattiaOSindrome
OC
crede
s l'affermazione
attribute
Umano
and
MalattiaOSindrome
ha il modello di forza di
Possibility
(=>
(
equal
?TIME
(
WhenFn
(
stored
?O ?D)))
(
holdsDuring
?TIME
(
modalAttribute
(
exists
(?P)
(
patient
?P ?O))
Possibility
)))
Mid-level-ontology.kif 14370-14375
IntervalloTemporale
is
uguale
a il
tempo
di esistenza di
stored
Entit�
and
Entit�
l'affermazione
Entit�
Entit�
è un
paziente
di
Entit�
ha il modello di forza di
Possibility
vales
durante
IntervalloTemporale
(=>
(
hazardous
?A ?B)
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Damaging
)
(
patient
?D ?B)
(
or
(
involvedInEvent
?D ?A)
(
causes
?A ?D))))
Possibility
))
Geography.kif 5876-5885
hazardous
Entit�Concreta
and
Oggetto
l'affermazione
Entit�
Entit�
è un'
istanza
di
Danneggiare
Oggetto
è un
paziente
di
Entit�
involvedInEvent
Entit�
and
Entit�Concreta
Entit�Concreta
causa
s
Entit�
ha il modello di forza di
Possibility
(=>
(
holdsDuring
?T
(
and
(
instance
?ICU
IntensiveCareUnit
)
(
stays
?H ?ICU)))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
finishes
(
WhenFn
?D) ?T)))
Possibility
))
Mid-level-ontology.kif 20568-20578
Entit�
è un'
istanza
di
IntensiveCareUnit
stays
Entit�
and
Entit�
vales
durante
PosizioneTemporale
l'affermazione
Entit�
Entit�
è un'
istanza
di
Morte
il
tempo
di esistenza di
Entit�
finisce
es
PosizioneTemporale
ha il modello di forza di
Possibility
(=>
(
instance
?D
Disappearing
)
(
exists
(?OBJ ?AGENT ?SEARCH ?TIME)
(
and
(
instance
?SEARCH
Searching
)
(
earlier
(
WhenFn
?D)
(
WhenFn
?SEARCH))
(
agent
?SEARCH ?AGENT)
(
instance
?OBJ
Object
)
(
patient
?D ?OBJ)
(
patient
?SEARCH ?OBJ)
(
instance
?TIME
TimeInterval
)
(
temporalPart
?TIME
(
WhenFn
?SEARCH))
(
holdsDuring
?TIME
(
not
(
modalAttribute
(
exists
(?DISC)
(
and
(
instance
?DISC
Discovering
)
(
agent
?DISC ?AGENT)
(
patient
?DISC ?OBJ)))
Possibility
))))))
Mid-level-ontology.kif 17323-17345
Processo
è un'
istanza
di
Disappearing
Entit�
AutonomousAgent
,
Processo
and
PosizioneTemporale
Processo
è un'
istanza
di
Ricercare
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Processo
Processo
è un
agente
di
AutonomousAgent
Entit�
è un'
istanza
di
Oggetto
Entit�
è un
paziente
di
Processo
Entit�
è un
paziente
di
Processo
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
PosizioneTemporale
è una
parte
diil
tempo
di esistenza di
Processo
l'affermazione
Processo
ISC
Processo
ISC è un'
istanza
di
Discovering
Processo
ISC è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
ISC ha il modello di forza di
Possibility
vales
durante
PosizioneTemporale
(=>
(
instance
?E
Exhaust
)
(
modalAttribute
(
capability
Seeing
patient
?E)
Possibility
))
Cars.kif 1161-1165
Entit�
è un'
istanza
di
Exhaust
l'affermazione
Entit�
è
capace
di fare
Vista
nel ruolo
patient
ha il modello di forza di
Possibility
(=>
(
instance
?E
Exhaust
)
(
modalAttribute
(
not
(
capability
Seeing
patient
?E))
Possibility
))
Cars.kif 1167-1172
Entit�
è un'
istanza
di
Exhaust
l'affermazione
Entit�
è
capace
di fare
Vista
nel ruolo
patient
ha il modello di forza di
Possibility
(=>
(
instance
?SPINE
PlantSpinoseStructure
)
(
modalAttribute
(
exists
(?I ?P ?A)
(
and
(
instance
?I
Inserting
)
(
instrument
?I ?SPINE)
(
instance
?A
Animal
)
(
patient
?I ?A)
(
causes
?I ?P)
(
instance
?P
Pain
)
(
experiencer
?P ?A)))
Possibility
))
Mid-level-ontology.kif 9587-9598
Entit�
è un'
istanza
di
PlantSpinoseStructure
l'affermazione
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Inserting
Entit�
è uno
strumento
per
Entit�
Entit�
è un'
istanza
di
Animale
Entit�
è un
paziente
di
Entit�
Entit�
causa
s
Entit�
Entit�
è un'
istanza
di
Pain
Entit�
esperisce
s
Entit�
ha il modello di forza di
Possibility
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