Object
(Oggetto)
(=>
(
and
(
webcart
?USER ?COLL ?SITE)
(
member
?OBJ ?COLL))
(
instance
?OBJ
Object
))
UXExperimentalTerms.kif 684-688
webcart
AutonomousAgent
,
InsiemeConcreto
and
WebSite
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
Oggetto
(=>
(
attribute
?X
Clean
)
(
instance
?X
Object
))
Mid-level-ontology.kif 25564-25566
attribute
Oggetto
and
Clean
Oggetto
è un'
istanza
di
Oggetto
(=>
(
attribute
?X
CommunalAttribute
)
(
instance
?X
Object
))
Mid-level-ontology.kif 27166-27168
attribute
Oggetto
and
CommunalAttribute
Oggetto
è un'
istanza
di
Oggetto
(=>
(
attribute
?X
Dirty
)
(
instance
?X
Object
))
Mid-level-ontology.kif 25568-25570
attribute
Oggetto
and
Dirty
Oggetto
è un'
istanza
di
Oggetto
(=>
(
attribute
?X
GiftNoveltyAndSouvenirStores
)
(
and
(
instance
?X
RetailStore
)
(
hasPurpose
?X
(
exists
(?SELL ?OBJ)
(
and
(
instance
?SELL
Selling
)
(
agent
?SELL ?X)
(
patient
?SELL ?OBJ)
(
instance
?OBJ
Object
))))))
naics.kif 7805-7815
attribute
Oggetto
and
GiftNoveltyAndSouvenirStores
Oggetto
è un'
istanza
di
RetailStore
Oggetto
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Vendere
Entit�
è un
agente
di
Oggetto
Entit�
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
Oggetto
(=>
(
attribute
?X
HandicappedFriendly
)
(
instance
?X
Object
))
Mid-level-ontology.kif 26178-26180
attribute
Oggetto
and
HandicappedFriendly
Oggetto
è un'
istanza
di
Oggetto
(=>
(
attribute
?X
Locked
)
(
instance
?X
Object
))
Mid-level-ontology.kif 2716-2718
attribute
Oggetto
and
Locked
Oggetto
è un'
istanza
di
Oggetto
(=>
(
changesLocation
?EVENT ?OBJ)
(
and
(
instance
?EVENT
Translocation
)
(
instance
?OBJ
Object
)
(
or
(
patient
?EVENT ?OBJ)
(
agent
?EVENT ?OBJ)
(
experiencer
?EVENT ?OBJ))))
Merge.kif 11003-11011
changesLocation
Translocation
and
AutonomousAgent
Translocation
è un'
istanza
di
Translocation
AutonomousAgent
è un'
istanza
di
Oggetto
AutonomousAgent
è un
paziente
di
Translocation
Translocation
è un
agente
di
AutonomousAgent
AutonomousAgent
esperisce
s
Translocation
(=>
(
instance
?A
Awarding
)
(
exists
(?RECIPIENT ?GIVER ?PROCESS ?AWARD)
(
and
(
instance
?RECIPIENT
AutonomousAgent
)
(
instance
?GIVER
AutonomousAgent
)
(
instance
?PROCESS
Process
)
(
instance
?AWARD
Object
)
(
agent
?PROCESS ?RECIPIENT)
(
agent
?A ?GIVER)
(
patient
?A ?AWARD)
(
destination
?A ?RECIPIENT)
(
causes
?PROCESS ?A))))
Mid-level-ontology.kif 18645-18657
Processo
è un'
istanza
di
Awarding
AutonomousAgent
AutonomousAgent
,
Processo
and
Processo
WARD
AutonomousAgent
è un'
istanza
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
AutonomousAgent
Processo
è un'
istanza
di
Processo
Processo
WARD è un'
istanza
di
Oggetto
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
Processo
WARD è un
paziente
di
Processo
Processo
fine
s in
AutonomousAgent
Processo
causa
s
Processo
(=>
(
instance
?AUCTIONING
Auctioning
)
(
exists
(?ITEM)
(
and
(
instance
?ITEM
Object
)
(
patient
?AUCTIONING ?ITEM))))
UXExperimentalTerms.kif 336-341
Processo
è un'
istanza
di
Auctioning
Entit�
Entit�
è un'
istanza
di
Oggetto
Entit�
è un
paziente
di
Processo
(=>
(
instance
?BAG
Bag
)
(
hasPurpose
?BAG
(
exists
(?T ?OBJ)
(
and
(
instance
?T
Transfer
)
(
instance
?OBJ
Object
)
(
contains
?BAG ?OBJ)
(
instrument
?T ?BAG)
(
patient
?T ?OBJ)))))
Mid-level-ontology.kif 4461-4470
Entit�Concreta
è un'
istanza
di
Bag
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Trasferimento
Entit�
è un'
istanza
di
Oggetto
contains
Entit�Concreta
and
Entit�
Entit�Concreta
è uno
strumento
per
Entit�
Entit�
è un
paziente
di
Entit�
(=>
(
instance
?BRAND
Brand
)
(
exists
(?OBJ)
(
and
(
instance
?OBJ
Object
)
(
productBrand
?BRAND ?OBJ))))
Hotel.kif 1286-1291
Entit�
è un'
istanza
di
Brand
Entit�
Entit�
è un'
istanza
di
Oggetto
productBrand
Entit�
and
Entit�
(=>
(
instance
?C
Crushing
)
(
exists
(?I ?C ?O)
(
and
(
instance
?I
Impacting
)
(
subProcess
?C ?I)
(
instance
?C
Compressing
)
(
patient
?I ?O)
(
patient
?C ?O)
(
instance
?O
Object
))))
Food.kif 969-978
Processo
è un'
istanza
di
Crushing
Processo
Processo
and
Entit�
Processo
è un'
istanza
di
Impatto
Processo
è un
sottoprocesso
di
Processo
Processo
è un'
istanza
di
Compressing
Entit�
è un
paziente
di
Processo
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
Oggetto
(=>
(
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
?EXPORT
Exporting
)
(
exists
(?ITEM)
(
and
(
instance
?ITEM
Object
)
(
patient
?EXPORT ?ITEM))))
Economy.kif 2405-2410
Processo
è un'
istanza
di
Exporting
Entit�
Entit�
è un'
istanza
di
Oggetto
Entit�
è un
paziente
di
Processo
(=>
(
instance
?F
CargoShip
)
(
exists
(?T ?OBJ)
(
and
(
instance
?T
Transportation
)
(
instance
?OBJ
Object
)
(
hasPurpose
?F
(
and
(
agent
?T ?F)
(
patient
?T ?OBJ))))))
Mid-level-ontology.kif 30068-30077
Entit�Concreta
è un'
istanza
di
CargoShip
Entit�
Entit�
Entit�
è un'
istanza
di
Trasporto
Entit�
è un'
istanza
di
Oggetto
Entit�Concreta
ha
scopo
Entit�
è un
agente
di
Entit�Concreta
Entit�
è un
paziente
di
Entit�
(=>
(
instance
?FROST
Frosting
)
(
exists
(?ICE ?OBJ)
(
and
(
instance
?ICE
Ice
)
(
attribute
?ICE
MonoCrystalline
)
(
patient
?FROST ?ICE)
(
instance
?OBJ
Object
)
(
attribute
?OBJ
Solid
)
(
destination
?FROST ?OBJ)
(
meetsSpatially
?FROST ?OBJ))))
Weather.kif 2782-2792
Processo
è un'
istanza
di
Frosting
Oggetto
Oggetto
Oggetto
è un'
istanza
di
Ice
attribute
Oggetto
and
MonoCrystalline
Oggetto
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
Oggetto
attribute
Oggetto
and
Solid
Processo
fine
s in
Oggetto
Processo
incontra
s
Oggetto
(=>
(
instance
?GUIDE
GuidingMotion
)
(
exists
(?MOVED)
(
and
(
patient
?GUIDE ?MOVED)
(
instance
?MOVED
Object
))))
ComputerInput.kif 78-83
Processo
è un'
istanza
di
GuidingMotion
Entit�
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
Oggetto
(=>
(
instance
?ICING
Icing
)
(
exists
(?ICE ?OBJ)
(
and
(
instance
?ICE
Ice
)
(
attribute
?ICE
PolyCrystalline
)
(
patient
?ICING ?ICE)
(
instance
?OBJ
Object
)
(
attribute
?OBJ
Solid
)
(
destination
?ICING ?OBJ)
(
meetsSpatially
?ICE ?OBJ))))
Weather.kif 2514-2524
Processo
è un'
istanza
di
Icing
Oggetto
Oggetto
Oggetto
è un'
istanza
di
Ice
attribute
Oggetto
and
PolyCrystalline
Oggetto
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
Oggetto
attribute
Oggetto
and
Solid
Processo
fine
s in
Oggetto
Oggetto
incontra
s
Oggetto
(=>
(
instance
?MOTION
Motion
)
(
exists
(?OBJ)
(
and
(
instance
?OBJ
Object
)
(
moves
?MOTION ?OBJ))))
Merge.kif 11018-11023
Movimento
è un'
istanza
di
Movimento
Oggetto
Oggetto
è un'
istanza
di
Oggetto
moves
Movimento
and
Oggetto
(=>
(
instance
?PD
PaintingDevice
)
(
hasPurpose
?PD
(
exists
(?STUFF ?COVER ?SURF ?OBJ)
(
and
(
instance
?STUFF
Substance
)
(
instance
?COVER
Covering
)
(
instance
?OBJ
Object
)
(
surface
?SURF ?OBJ)
(
agent
?COVER ?PD)
(
instrument
?COVER ?STUFF)
(
patient
?COVER ?SURF)))))
Mid-level-ontology.kif 3262-3273
Entit�Concreta
è un'
istanza
di
PaintingDevice
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Sostanza
Entit�
è un'
istanza
di
Coprire
Entit�
è un'
istanza
di
Oggetto
Entit�
è una
superficie
di
Entit�
Entit�
è un
agente
di
Entit�Concreta
Entit�
è uno
strumento
per
Entit�
Entit�
è un
paziente
di
Entit�
(=>
(
instance
?PLANER
Planer
)
(
hasPurpose
?PLANER
(
exists
(?CUT ?OBJ1 ?OBJ2 ?U ?H1 ?H2)
(
and
(
instance
?CUT
Cutting
)
(
instrument
?CUT ?PLANER)
(
resource
?CUT ?OBJ1)
(
instance
?OBJ1
Object
)
(
material
?OBJ1
Wood
)
(
result
?CUT ?OBJ2)
(
instance
?OBJ2
Object
)
(
material
Wood
?OBJ2)
(
attribute
?OBJ2
Flat
)
(
instance
?U
UnitOfLength
)
(
height
?OBJ1
(
MeasureFn
?H1 ?U))
(
height
?OBJ2
(
MeasureFn
?H2 ?U))
(
greaterThan
?H1 ?H2)))))
Economy.kif 6017-6036
Entit�Concreta
è un'
istanza
di
Planer
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
,
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Tagliare
Entit�Concreta
è uno
strumento
per
Entit�
Entit�
è una
risorsa
per
Entit�
Entit�
è un'
istanza
di
Oggetto
Entit�
è
fatto
di
Wood
Entit�
è un
risultato
di
Entit�
Entit�
è un'
istanza
di
Oggetto
Wood
è
fatto
di
Entit�
attribute
Entit�
and
Flat
Entit�
è un'
istanza
di
UnitOfLength
l'
altezza
di
Entit�
è
Entit�
Entit�
(s l'
altezza
di
Entit�
è
Entit�
Entit�
(s
Entit�
è
pi
ù grande di
Entit�
(=>
(
instance
?PROCESS
(
OperatingFn
ComputerMouse
))
(
exists
(?SURFACE)
(
and
(
instance
?SURFACE
Object
)
(
attribute
?SURFACE
Flat
)
(
eventLocated
?PROCESS ?SURFACE))))
ComputerInput.kif 389-396
Processo
è un'
istanza
di
OperatingFn
ComputerMouse
Oggetto
Oggetto
è un'
istanza
di
Oggetto
attribute
Oggetto
and
Flat
eventLocated
Processo
and
Oggetto
(=>
(
instance
?PURSUE
Pursuing
)
(
exists
(?OBJ)
(
and
(
instance
?OBJ
Object
)
(
patient
?PURSUE ?OBJ))))
Merge.kif 12878-12883
Processo
è un'
istanza
di
Cercare
Entit�
Entit�
è un'
istanza
di
Oggetto
Entit�
è un
paziente
di
Processo
(=>
(
instance
?S
Searching
)
(
exists
(?AGENT ?OBJ ?LOC)
(
and
(
instance
?AGENT
CognitiveAgent
)
(
agent
?S ?AGENT)
(
instance
?OBJ
Physical
)
(
patient
?S ?OBJ)
(
instance
?LOC
Object
)
(
located
?OBJ ?LOC)
(
hasPurposeForAgent
?S
(
knows
?AGENT
(
located
?OBJ ?LOC)) ?AGENT))))
Merge.kif 12970-12982
Processo
è un'
istanza
di
Ricercare
AutonomousAgent
Entit�Concreta
and
Oggetto
AutonomousAgent
è un'
istanza
di
AgenteCognitivo
Processo
è un
agente
di
AutonomousAgent
Entit�Concreta
è un'
istanza
di
Entit�Concreta
Entit�Concreta
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
Oggetto
Entit�Concreta
è
localizzato
in
Oggetto
Processo
ha &n
scopo
AutonomousAgent
conosce
s
Entit�Concreta
è
localizzato
in
Oggetto
per
AutonomousAgent
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