Object
(objet)
(=>
(
and
(
webcart
?USER ?COLL ?SITE)
(
member
?OBJ ?COLL))
(
instance
?OBJ
Object
))
UXExperimentalTerms.kif 684-688
webcart
AutonomousAgent
,
collection
and
WebSite
physique
est un
membre
de
collection
physique
est une
instance
de
objet
(=>
(
attribute
?X
Clean
)
(
instance
?X
Object
))
Mid-level-ontology.kif 25564-25566
Clean
est un
attribut
de
objet
objet
est une
instance
de
objet
(=>
(
attribute
?X
CommunalAttribute
)
(
instance
?X
Object
))
Mid-level-ontology.kif 27166-27168
CommunalAttribute
est un
attribut
de
objet
objet
est une
instance
de
objet
(=>
(
attribute
?X
Dirty
)
(
instance
?X
Object
))
Mid-level-ontology.kif 25568-25570
Dirty
est un
attribut
de
objet
objet
est une
instance
de
objet
(=>
(
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
est un
attribut
de
objet
objet
est une
instance
de
RetailStore
objet
a pour
but
entit�
entit�
entit�
est une
instance
de
vendre
entit�
est un
agent
de
objet
entit�
est un
patient
de
entit�
entit�
est une
instance
de
objet
(=>
(
attribute
?X
HandicappedFriendly
)
(
instance
?X
Object
))
Mid-level-ontology.kif 26178-26180
HandicappedFriendly
est un
attribut
de
objet
objet
est une
instance
de
objet
(=>
(
attribute
?X
Locked
)
(
instance
?X
Object
))
Mid-level-ontology.kif 2716-2718
Locked
est un
attribut
de
objet
objet
est une
instance
de
objet
(=>
(
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
est une
instance
de
Translocation
AutonomousAgent
est une
instance
de
objet
AutonomousAgent
est un
patient
de
Translocation
Translocation
est un
agent
de
AutonomousAgent
AutonomousAgent
exp
�rimente
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
Processus
est une
instance
de
Awarding
AutonomousAgent
AutonomousAgent
,
processus
and
processus
WARD
AutonomousAgent
est une
instance
de
AutonomousAgent
AutonomousAgent
est une
instance
de
AutonomousAgent
processus
est une
instance
de
processus
processus
WARD est une
instance
de
objet
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
processus
WARD est un
patient
de
processus
processus
aboutit
�
AutonomousAgent
processus
cause
processus
(=>
(
instance
?AUCTIONING
Auctioning
)
(
exists
(?ITEM)
(
and
(
instance
?ITEM
Object
)
(
patient
?AUCTIONING ?ITEM))))
UXExperimentalTerms.kif 336-341
Processus
est une
instance
de
Auctioning
entit�
entit�
est une
instance
de
objet
entit�
est un
patient
de
processus
(=>
(
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
Physique
est une
instance
de
Bag
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
transf�re
entit�
est une
instance
de
objet
physique
contient
entit�
physique
est un
instrument
pour
entit�
entit�
est un
patient
de
entit�
(=>
(
instance
?BRAND
Brand
)
(
exists
(?OBJ)
(
and
(
instance
?OBJ
Object
)
(
productBrand
?BRAND ?OBJ))))
Hotel.kif 1286-1291
Entit�
est une
instance
de
Brand
entit�
entit�
est une
instance
de
objet
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
Processus
est une
instance
de
Crushing
processus
processus
and
entit�
processus
est une
instance
de
impacte
processus
est un
sous
-processus de
processus
processus
est une
instance
de
Compressing
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
entit�
est une
instance
de
objet
(=>
(
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
Processus
est une
instance
de
Disappearing
entit�
AutonomousAgent
,
processus
and
position temporel
processus
est une
instance
de
Searching
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
processus
est un
agent
de
AutonomousAgent
entit�
est une
instance
de
objet
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
position temporel
est une
instance
de
interval temporel
position temporel
est une
partie
de
temps
d'existence de
processus
l'argument
processus
ISC
processus
ISC est une
instance
de
Discovering
processus
ISC est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
ISC n' %n{pas} la
force
modale
de
Possibility
pendant
position temporel
(=>
(
instance
?EXPORT
Exporting
)
(
exists
(?ITEM)
(
and
(
instance
?ITEM
Object
)
(
patient
?EXPORT ?ITEM))))
Economy.kif 2405-2410
Processus
est une
instance
de
Exporting
entit�
entit�
est une
instance
de
objet
entit�
est un
patient
de
processus
(=>
(
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
Physique
est une
instance
de
CargoShip
entit�
entit�
entit�
est une
instance
de
transporter
entit�
est une
instance
de
objet
physique
a pour
but
entit�
est un
agent
de
physique
entit�
est un
patient
de
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
Processus
est une
instance
de
Frosting
objet
objet
objet
est une
instance
de
Ice
MonoCrystalline
est un
attribut
de
objet
objet
est un
patient
de
processus
objet
est une
instance
de
objet
Solid
est un
attribut
de
objet
processus
aboutit
�
objet
processus
rencontre
objet
(=>
(
instance
?GUIDE
GuidingMotion
)
(
exists
(?MOVED)
(
and
(
patient
?GUIDE ?MOVED)
(
instance
?MOVED
Object
))))
ComputerInput.kif 78-83
Processus
est une
instance
de
GuidingMotion
entit�
entit�
est un
patient
de
processus
entit�
est une
instance
de
objet
(=>
(
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
Processus
est une
instance
de
Icing
objet
objet
objet
est une
instance
de
Ice
PolyCrystalline
est un
attribut
de
objet
objet
est un
patient
de
processus
objet
est une
instance
de
objet
Solid
est un
attribut
de
objet
processus
aboutit
�
objet
objet
rencontre
objet
(=>
(
instance
?MOTION
Motion
)
(
exists
(?OBJ)
(
and
(
instance
?OBJ
Object
)
(
moves
?MOTION ?OBJ))))
Merge.kif 11018-11023
D�palcement
est une
instance
de
d�palcement
objet
objet
est une
instance
de
objet
moves
d�palcement
and
objet
(=>
(
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
Physique
est une
instance
de
PaintingDevice
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
substance
entit�
est une
instance
de
couvrir
entit�
est une
instance
de
objet
entit�
est une
surface
de
entit�
entit�
est un
agent
de
physique
entit�
est un
instrument
pour
entit�
entit�
est un
patient
de
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
Physique
est une
instance
de
Planer
physique
a pour
but
entit�
entit�
,
entit�
,
entit�
,
entit�
and
entit�
entit�
est une
instance
de
couper
physique
est un
instrument
pour
entit�
entit�
est une
resource
pour
entit�
entit�
est une
instance
de
objet
entit�
est
fait
de
Wood
entit�
est le
resultat
de
entit�
entit�
est une
instance
de
objet
Wood
est
fait
de
entit�
Flat
est un
attribut
de
entit�
entit�
est une
instance
de
UnitOfLength
la
hauteur
de
entit�
est
entit�
entit�
(s) la
hauteur
de
entit�
est
entit�
entit�
(s)
entit�
est
plus
grand
que
entit�
(=>
(
instance
?PROCESS
(
OperatingFn
ComputerMouse
))
(
exists
(?SURFACE)
(
and
(
instance
?SURFACE
Object
)
(
attribute
?SURFACE
Flat
)
(
eventLocated
?PROCESS ?SURFACE))))
ComputerInput.kif 389-396
Processus
est une
instance
de
OperatingFn
ComputerMouse
objet
objet
est une
instance
de
objet
Flat
est un
attribut
de
objet
eventLocated
processus
and
objet
(=>
(
instance
?PURSUE
Pursuing
)
(
exists
(?OBJ)
(
and
(
instance
?OBJ
Object
)
(
patient
?PURSUE ?OBJ))))
Merge.kif 12878-12883
Processus
est une
instance
de
pursuivre
entit�
entit�
est une
instance
de
objet
entit�
est un
patient
de
processus
(=>
(
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
Processus
est une
instance
de
Searching
AutonomousAgent
physique
and
objet
AutonomousAgent
est une
instance
de
agent cognitif
processus
est un
agent
de
AutonomousAgent
physique
est une
instance
de
physique
physique
est un
patient
de
processus
objet
est une
instance
de
objet
physique
est
situ
� �
objet
processus
a le
but
AutonomousAgent
conna
�t
physique
est
situ
� �
objet
pour
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