Object
(Objeto)
(=>
(
and
(
webcart
?USER ?COLL ?SITE)
(
member
?OBJ ?COLL))
(
instance
?OBJ
Object
))
UXExperimentalTerms.kif 684-688
webcart
AutonomousAgent
,
Colecao
and
WebSite
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
Objeto
(=>
(
attribute
?X
Clean
)
(
instance
?X
Object
))
Mid-level-ontology.kif 25564-25566
Clean
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Objeto
(=>
(
attribute
?X
CommunalAttribute
)
(
instance
?X
Object
))
Mid-level-ontology.kif 27166-27168
CommunalAttribute
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Objeto
(=>
(
attribute
?X
Dirty
)
(
instance
?X
Object
))
Mid-level-ontology.kif 25568-25570
Dirty
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Objeto
(=>
(
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
GiftNoveltyAndSouvenirStores
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
RetailStore
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Vender
Entidade
e' um
agente
de
Objeto
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
Objeto
(=>
(
attribute
?X
HandicappedFriendly
)
(
instance
?X
Object
))
Mid-level-ontology.kif 26178-26180
HandicappedFriendly
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Objeto
(=>
(
attribute
?X
Locked
)
(
instance
?X
Object
))
Mid-level-ontology.kif 2716-2718
Locked
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Objeto
(=>
(
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
e' uma
instancia
de
Translocation
AutonomousAgent
e' uma
instancia
de
Objeto
AutonomousAgent
e' um
patient
de
Translocation
Translocation
e' um
agente
de
AutonomousAgent
AutonomousAgent
experimenta
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
e' uma
instancia
de
Awarding
AutonomousAgent
AutonomousAgent
,
Processo
and
Processo
WARD
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Processo
e' uma
instancia
de
Processo
Processo
WARD e' uma
instancia
de
Objeto
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
Processo
WARD e' um
patient
de
Processo
Processo
termina
em
AutonomousAgent
Processo
causa
Processo
(=>
(
instance
?AUCTIONING
Auctioning
)
(
exists
(?ITEM)
(
and
(
instance
?ITEM
Object
)
(
patient
?AUCTIONING ?ITEM))))
UXExperimentalTerms.kif 336-341
Processo
e' uma
instancia
de
Auctioning
Entidade
Entidade
e' uma
instancia
de
Objeto
Entidade
e' um
patient
de
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
Fisico
e' uma
instancia
de
Bag
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Transferencia
Entidade
e' uma
instancia
de
Objeto
Fisico
contem
Entidade
Fisico
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
(=>
(
instance
?BRAND
Brand
)
(
exists
(?OBJ)
(
and
(
instance
?OBJ
Object
)
(
productBrand
?BRAND ?OBJ))))
Hotel.kif 1286-1291
Entidade
e' uma
instancia
de
Brand
Entidade
Entidade
e' uma
instancia
de
Objeto
productBrand
Entidade
and
Entidade
(=>
(
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
e' uma
instancia
de
Crushing
Processo
Processo
and
Entidade
Processo
e' uma
instancia
de
Impactar
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
Compressing
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Objeto
(=>
(
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
e' uma
instancia
de
Disappearing
Entidade
AutonomousAgent
,
Processo
and
Posicao Temporal
Processo
e' uma
instancia
de
Searching
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' uma
instancia
de
Objeto
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
Posicao Temporal
e' uma &parte de
tempo
de existencia de
Processo
o argumento
Processo
ISC
Processo
ISC e' uma
instancia
de
Discovering
Processo
ISC e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
ISC nao %n a
forca
modal
de
Possibility
vale
durante
Posicao Temporal
(=>
(
instance
?EXPORT
Exporting
)
(
exists
(?ITEM)
(
and
(
instance
?ITEM
Object
)
(
patient
?EXPORT ?ITEM))))
Economy.kif 2405-2410
Processo
e' uma
instancia
de
Exporting
Entidade
Entidade
e' uma
instancia
de
Objeto
Entidade
e' um
patient
de
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
Fisico
e' uma
instancia
de
CargoShip
Entidade
Entidade
Entidade
e' uma
instancia
de
Transporte
Entidade
e' uma
instancia
de
Objeto
Fisico
tem por
fim
Entidade
e' um
agente
de
Fisico
Entidade
e' um
patient
de
Entidade
(=>
(
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
e' uma
instancia
de
Frosting
Objeto
Objeto
Objeto
e' uma
instancia
de
Ice
MonoCrystalline
e' um
atributo
de
Objeto
Objeto
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
Objeto
Solid
e' um
atributo
de
Objeto
Processo
termina
em
Objeto
Processo
encontra
Objeto
(=>
(
instance
?GUIDE
GuidingMotion
)
(
exists
(?MOVED)
(
and
(
patient
?GUIDE ?MOVED)
(
instance
?MOVED
Object
))))
ComputerInput.kif 78-83
Processo
e' uma
instancia
de
GuidingMotion
Entidade
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Objeto
(=>
(
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
e' uma
instancia
de
Icing
Objeto
Objeto
Objeto
e' uma
instancia
de
Ice
PolyCrystalline
e' um
atributo
de
Objeto
Objeto
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
Objeto
Solid
e' um
atributo
de
Objeto
Processo
termina
em
Objeto
Objeto
encontra
Objeto
(=>
(
instance
?MOTION
Motion
)
(
exists
(?OBJ)
(
and
(
instance
?OBJ
Object
)
(
moves
?MOTION ?OBJ))))
Merge.kif 11018-11023
Movimento
e' uma
instancia
de
Movimento
Objeto
Objeto
e' uma
instancia
de
Objeto
moves
Movimento
and
Objeto
(=>
(
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
Fisico
e' uma
instancia
de
PaintingDevice
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Substancia
Entidade
e' uma
instancia
de
Cobrir
Entidade
e' uma
instancia
de
Objeto
Entidade
e' uma
superficie
de
Entidade
Entidade
e' um
agente
de
Fisico
Entidade
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
Planer
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
,
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Cortar
Fisico
e' um
instrumento
para
Entidade
Entidade
e' um
recurso
para
Entidade
Entidade
e' uma
instancia
de
Objeto
Entidade
e'
feito
de
Wood
Entidade
e' o
resultado
de
Entidade
Entidade
e' uma
instancia
de
Objeto
Wood
e'
feito
de
Entidade
Flat
e' um
atributo
de
Entidade
Entidade
e' uma
instancia
de
UnitOfLength
a
altura
de
Entidade
e'
Entidade
Entidade
(s) a
altura
de
Entidade
e'
Entidade
Entidade
(s)
Entidade
e'
maior
que
Entidade
(=>
(
instance
?PROCESS
(
OperatingFn
ComputerMouse
))
(
exists
(?SURFACE)
(
and
(
instance
?SURFACE
Object
)
(
attribute
?SURFACE
Flat
)
(
eventLocated
?PROCESS ?SURFACE))))
ComputerInput.kif 389-396
Processo
e' uma
instancia
de
OperatingFn
ComputerMouse
Objeto
Objeto
e' uma
instancia
de
Objeto
Flat
e' um
atributo
de
Objeto
eventLocated
Processo
and
Objeto
(=>
(
instance
?PURSUE
Pursuing
)
(
exists
(?OBJ)
(
and
(
instance
?OBJ
Object
)
(
patient
?PURSUE ?OBJ))))
Merge.kif 12878-12883
Processo
e' uma
instancia
de
Perseguir
Entidade
Entidade
e' uma
instancia
de
Objeto
Entidade
e' um
patient
de
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
e' uma
instancia
de
Searching
AutonomousAgent
Fisico
and
Objeto
AutonomousAgent
e' uma
instancia
de
Agente Cognitivo
Processo
e' um
agente
de
AutonomousAgent
Fisico
e' uma
instancia
de
Fisico
Fisico
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
Objeto
Fisico
e'
situado
em
Objeto
Processo
tem
finalidade
AutonomousAgent
sabe
Fisico
e'
situado
em
Objeto
para
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