represents
(=>
(
instance
?P
Portrait
)
(
exists
(?F)
(
and
(
instance
?F
Face
)
(
represents
?P ?F))))
Mid-level-ontology.kif 3143-3148
Entit�
est une
instance
de
Portrait
entit�
entit�
est une
instance
de
Face
entit�
d
�finie
entit�
(=>
(
instance
?PLAN
Blueprint
)
(
hasPurpose
?PLAN
(
exists
(?ARTIFACT)
(
and
(
instance
?ARTIFACT
Artifact
)
(
represents
?PLAN ?ARTIFACT)))))
Mid-level-ontology.kif 13260-13266
Physique
est une
instance
de
Blueprint
physique
a pour
but
entit�
entit�
est une
instance
de
artefact
physique
d
�finie
entit�
(=>
(
instance
?PLAN
OPLAN
)
(
exists
(?OP)
(
and
(
represents
?PLAN ?OP)
(
instance
?OP
JointOperation
))))
MilitaryProcesses.kif 1821-1826
Entit�
est une
instance
de
OPLAN
entit�
entit�
d
�finie
entit�
entit�
est une
instance
de
JointOperation
(=>
(
instance
?PLAYER
AudioCDSystem
)
(
hasPurpose
?PLAYER
(
exists
(?DISC ?AUDIO ?RS ?DIGITAL ?PROC)
(
and
(
instrument
?PROC ?PLAYER)
(
patient
?PROC ?DISC)
(
instance
?DISC
CompactDisc
)
(
instance
?AUDIO
AudioRecording
)
(
represents
?DIGITAL ?AUDIO)
(
part
?DIGITAL ?DISC)
(
instance
?RS
RadiatingSound
)
(
subProcess
?RS ?PROC)
(
instrument
?RS ?PLAYER)
(
patient
?RS ?DISC)))))
Media.kif 1209-1223
Physique
est une
instance
de
AudioCDSystem
physique
a pour
but
entit�
entit�
,
entit�
,
entit�
and
entit�
physique
est un
instrument
pour
entit�
entit�
est un
patient
de
entit�
entit�
est une
instance
de
CompactDisc
entit�
est une
instance
de
AudioRecording
entit�
d
�finie
entit�
entit�
est une
partie
de
entit�
entit�
est une
instance
de
son irradiant
entit�
est un
sous
-processus de
entit�
physique
est un
instrument
pour
entit�
entit�
est un
patient
de
entit�
(=>
(
instance
?RA
RepresentationalArtWork
)
(
exists
(?P)
(
and
(
instance
?P
Physical
)
(
represents
?RA ?P))))
Merge.kif 15918-15923
Entit�
est une
instance
de
RepresentationalArtWork
entit�
entit�
est une
instance
de
physique
entit�
d
�finie
entit�
(=>
(
instance
?S
Screenshot
)
(
exists
(?T ?I ?CD)
(
and
(
holdsDuring
?T
(
displayedUpon
?I ?CD))
(
represents
?I ?S))))
ComputerInput.kif 1607-1613
Entit�
est une
instance
de
Screenshot
position temporel
entit�
and
entit�
displayedUpon
entit�
and
entit�
pendant
position temporel
entit�
d
�finie
entit�
(=>
(
instance
?SA
SearchAttempt
)
(
exists
(?QUERY)
(
and
(
instance
?QUERY
SearchQuery
)
(
represents
?QUERY ?SA))))
UXExperimentalTerms.kif 2349-2354
Entit�
est une
instance
de
SearchAttempt
entit�
entit�
est une
instance
de
SearchQuery
entit�
d
�finie
entit�
(=>
(
instance
?SIG_ACTION
UserSignifiedAction
)
(
exists
(?DIR_ACTION)
(
and
(
represents
?DIR_ACTION ?SIG_ACTION)
(
instance
?DIR_ACTION
UserDirectAction
))))
ComputerInput.kif 1217-1222
Entit�
_ACTION est une
instance
de
UserSignifiedAction
entit�
_ACTION
entit�
_ACTION
d
�finie
entit�
_ACTION
entit�
_ACTION est une
instance
de
UserDirectAction
(=>
(
instance
?SVC
RoomService
)
(
exists
(?AGENT ?FOOD ?CUSTOMER ?RQST ?ORDER ?DELIVERY ?LOC)
(
and
(
customer
?CUSTOMER ?AGENT)
(
agent
?SVC ?AGENT)
(
instance
?RQST
Requesting
)
(
agent
?RQST ?CUSTOMER)
(
patient
?RQST ?ORDER)
(
represents
?ORDER ?FOOD)
(
instance
?FOOD
PreparedFood
)
(
located
?CUSTOMER ?LOC)
(
instance
?LOC
HotelUnit
)
(
instance
?DELIVERY
DeliveryService
)
(
patient
?DELIVERY ?FOOD)
(
destination
?DELIVERY ?LOC)
(
before
(
BeginFn
(
WhenFn
?RQST))
(
BeginFn
(
WhenFn
?DELIVERY))))))
Hotel.kif 1969-1987
Processus
est une
instance
de
RoomService
AutonomousAgent
entit�
,
agent cognitif
,
processus
,
entit�
,
processus
and
objet
customer
agent cognitif
and
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
processus
est une
instance
de
demander
processus
est un
agent
de
agent cognitif
entit�
est un
patient
de
processus
entit�
d
�finie
entit�
entit�
est une
instance
de
PreparedFood
agent cognitif
est
situ
� �
objet
objet
est une
instance
de
HotelUnit
processus
est une
instance
de
DeliveryService
entit�
est un
patient
de
processus
processus
aboutit
�
objet
le
d
�but de
temps
d'existence de
processus
se produit
avant
le
d
�but de
temps
d'existence de
processus
(=>
(
instance
?State
ProcessState
)
(
exists
(?Program)
(
and
(
instance
?Program
ComputerProgram
)
(
forall
(?Process)
(=>
(
programRunning
?Process ?Program)
(
represents
?State ?Process))))))
QoSontology.kif 562-570
Entit�
est une
instance
de
ProcessState
programme d'ordinateur
programme d'ordinateur
est une
instance
de
programme d'ordinateur
ComputerProcess
programRunning
ComputerProcess
and
programme d'ordinateur
entit�
d
�finie
ComputerProcess
(=>
(
instance
?TERM
SearchTerm
)
(
exists
(?QUERY ?PART)
(
and
(
instance
?QUERY
SearchQuery
)
(
part
?PART ?QUERY)
(
represents
?PART ?TERM))))
UXExperimentalTerms.kif 2511-2517
Entit�
est une
instance
de
SearchTerm
objet
objet
objet
est une
instance
de
SearchQuery
objet
est une
partie
de
objet
objet
d
�finie
entit�
(=>
(
instance
?TEXT
BirthCertificate
)
(
hasPurpose
?TEXT
(
exists
(?B ?A)
(
and
(
instance
?B
Birth
)
(
instance
?A
Human
)
(
experiencer
?B ?A)
(
represents
?TEXT ?B)))))
Biography.kif 240-248
Physique
est une
instance
de
BirthCertificate
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
naissance
entit�
est une
instance
de
humain
entit�
exp
�rimente
entit�
physique
d
�finie
entit�
(=>
(
instance
?TEXT
DeathCertificate
)
(
hasPurpose
?TEXT
(
exists
(?D ?A)
(
and
(
instance
?D
Death
)
(
instance
?A
Human
)
(
experiencer
?D ?A)
(
represents
?TEXT ?D)))))
Biography.kif 270-278
Physique
est une
instance
de
DeathCertificate
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
mort
entit�
est une
instance
de
humain
entit�
exp
�rimente
entit�
physique
d
�finie
entit�
(=>
(
instance
?TEXT
MarriageCertificate
)
(
exists
(?S ?W ?A ?B)
(
and
(
instance
?S
SigningAnAgreement
)
(
patient
?S ?TEXT)
(
instance
?W
Wedding
)
(
represents
?TEXT ?W)
(
subProcess
?S ?W)
(
patient
?W ?A)
(
instance
?A
Human
)
(
patient
?W ?B)
(
instance
?B
Human
)
(
not
(
equal
?A ?B))
(
agent
?S ?A)
(
agent
?S ?B))))
Biography.kif 319-335
Entit�
est une
instance
de
MarriageCertificate
processus
processus
,
AutonomousAgent
and
AutonomousAgent
processus
est une
instance
de
SigningAnAgreement
entit�
est un
patient
de
processus
processus
est une
instance
de
Wedding
entit�
d
�finie
processus
processus
est un
sous
-processus de
processus
AutonomousAgent
est un
patient
de
processus
AutonomousAgent
est une
instance
de
humain
AutonomousAgent
est un
patient
de
processus
AutonomousAgent
est une
instance
de
humain
AutonomousAgent
est
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
(=>
(
instance
?TH
ToyHouse
)
(
exists
(?H)
(
and
(
instance
?H
House
)
(
represents
?TH ?H))))
Mid-level-ontology.kif 2424-2429
Entit�
est une
instance
de
ToyHouse
entit�
entit�
est une
instance
de
House
entit�
d
�finie
entit�
(=>
(
instance
?TPS
TestProtocolSpecification
)
(
exists
(?PLAN ?EXPERIMENT ?PROC)
(
and
(
instance
?PLAN
Plan
)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?PROC
Process
)
(
represents
?PLAN ?PROC)
(
subProcess
?EXPERIMENT ?PROC)
(
containsInformation
?TPS ?PLAN))))
UXExperimentalTerms.kif 2754-2763
ContentBearingPhysical
est une
instance
de
TestProtocolSpecification
proposition
processus
and
processus
proposition
est une
instance
de
plan
processus
est une
instance
de
Experimenting
processus
est une
instance
de
processus
proposition
d
�finie
processus
processus
est un
sous
-processus de
processus
ContentBearingPhysical
contient
information
proposition
(=>
(
instance
?URL
UniformResourceLocator
)
(
exists
(?Address)
(
and
(
instance
?Address
IPAddress
)
(
represents
?URL ?Address))))
QoSontology.kif 1695-1700
Entit�
est une
instance
de
UniformResourceLocator
entit�
entit�
est une
instance
de
IPAddress
entit�
d
�finie
entit�
(=>
(
instance
?VCR
VCRSystem
)
(
hasPurpose
?VCR
(
exists
(?VHS ?PROC ?VIDEO ?AVIDEO ?RL ?AUDIO ?AAUDIO ?RS)
(
and
(
instance
?VHS
VHSCassette
)
(
instrument
?PROC ?VCR)
(
patient
?PROC ?VHS)
(
instance
?VIDEO
VideoRecording
)
(
represents
?AVIDEO ?VIDEO)
(
part
?VIDEO ?VHS)
(
instance
?AUDIO
AudioRecording
)
(
represents
?AAUDIO ?AUDIO)
(
part
?AAUDIO ?AVIDEO)
(
part
?AUDIO ?VHS)
(
instance
?RL
RadiatingLight
)
(
patient
?RL ?VIDEO)
(
subProcess
?RL ?PROC)
(
instance
?RS
RadiatingSound
)
(
patient
?RS ?AUDIO)
(
subProcess
?RS ?PROC)))))
Media.kif 1387-1407
Physique
est une
instance
de
VCRSystem
physique
a pour
but
entit�
entit�
,
entit�
,
entit�
,
entit�
,
entit�
,
entit�
and
entit�
entit�
est une
instance
de
VHSCassette
physique
est un
instrument
pour
entit�
entit�
est un
patient
de
entit�
entit�
est une
instance
de
VideoRecording
entit�
d
�finie
entit�
entit�
est une
partie
de
entit�
entit�
est une
instance
de
AudioRecording
entit�
d
�finie
entit�
entit�
est une
partie
de
entit�
entit�
est une
partie
de
entit�
entit�
est une
instance
de
lumi�re irradiante
entit�
est un
patient
de
entit�
entit�
est un
sous
-processus de
entit�
entit�
est une
instance
de
son irradiant
entit�
est un
patient
de
entit�
entit�
est un
sous
-processus de
entit�
(=>
(
instance
?VIEW
View
)
(
exists
(?ENTITY)
(
and
(
instance
?ENTITY
Physical
)
(
represents
?VIEW ?ENTITY))))
Dining.kif 943-948
Entit�
est une
instance
de
View
entit�
entit�
est une
instance
de
physique
entit�
d
�finie
entit�
(=>
(
instance
?X
AudioRecording
)
(
exists
(?EV)
(
and
(
instance
?EV
RadiatingSound
)
(
represents
?X ?EV)
(
capability
RadiatingSound
patient
?X))))
Mid-level-ontology.kif 14333-14339
Objet
est une
instance
de
AudioRecording
entit�
entit�
est une
instance
de
son irradiant
objet
d
�finie
entit�
objet
est
capable
de faire
son irradiant
dans le r�le
patient
(=>
(
instance
?X
DVDSystem
)
(
hasPurpose
?X
(
exists
(?DVD ?PROC)
(
and
(
instance
?DVD
DVD
)
(
instrument
?PROC ?X)
(
patient
?PROC ?DVD)
(
or
(
exists
(?VIDEO ?DVIDEO ?RL)
(
and
(
instance
?VIDEO
VideoRecording
)
(
represents
?DVIDEO ?VIDEO)
(
part
?DVIDEO ?DVD)
(
instance
?RL
RadiatingLight
)
(
subProcess
?RL ?PROC)
(
instrument
?RL ?X)
(
patient
?RL ?VIDEO)))
(
exists
(?AUDIO ?DAUDIO ?RS)
(
and
(
instance
?AUDIO
AudioRecording
)
(
represents
?DAUDIO ?AUDIO)
(
part
?DAUDIO ?DVD)
(
instance
?RS
RadiatingSound
)
(
subProcess
?RS ?PROC)
(
instrument
?RS ?X)
(
patient
?RS ?AUDIO))))))))
Media.kif 1275-1301
Physique
est une
instance
de
DVDSystem
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
DVD
physique
est un
instrument
pour
entit�
entit�
est un
patient
de
entit�
entit�
entit�
and
entit�
entit�
est une
instance
de
VideoRecording
entit�
d
�finie
entit�
entit�
est une
partie
de
entit�
entit�
est une
instance
de
lumi�re irradiante
entit�
est un
sous
-processus de
entit�
physique
est un
instrument
pour
entit�
entit�
est un
patient
de
entit�
entit�
entit�
and
entit�
entit�
est une
instance
de
AudioRecording
entit�
d
�finie
entit�
entit�
est une
partie
de
entit�
entit�
est une
instance
de
son irradiant
entit�
est un
sous
-processus de
entit�
physique
est un
instrument
pour
entit�
entit�
est un
patient
de
entit�
(=>
(
instance
?X
UniformClothing
)
(
exists
(?PROC ?DESIGN)
(
and
(
instance
?PROC
IntentionalProcess
)
(
result
?PROC ?DESIGN)
(
represents
?X ?DESIGN))))
Mid-level-ontology.kif 26728-26734
Entit�
est une
instance
de
UniformClothing
processus
entit�
processus
est une
instance
de
processus intentionnel
entit�
est le
resultat
de
processus
entit�
d
�finie
entit�
(=>
(
instance
?X
VideoRecording
)
(
exists
(?EV)
(
and
(
instance
?EV
Process
)
(
represents
?X ?EV)
(
capability
RadiatingLight
patient
?X))))
Mid-level-ontology.kif 14460-14466
Objet
est une
instance
de
VideoRecording
entit�
entit�
est une
instance
de
processus
objet
d
�finie
entit�
objet
est
capable
de faire
lumi�re irradiante
dans le r�le
patient
(=>
(
originalExpressedInLanguage
?PROP ?LANG)
(
exists
(?PHYS ?TIME)
(
and
(
instance
?PHYS
LinguisticExpression
)
(
representsInLanguage
?PHYS ?PROP ?LANG)
(
equal
?TIME
(
WhenFn
?PHYS))
(
not
(
exists
(?BEFORE ?OTHER)
(
and
(
instance
?OTHER
LinguisticExpression
)
(
represents
?OTHER ?PROP)
(
equal
?BEFORE
(
WhenFn
?OTHER))
(
before
?BEFORE ?TIME)))))))
Music.kif 1457-1470
originalExpressedInLanguage
proposition
and
langage
expression linguistique
interval temporel
expression linguistique
est une
instance
de
expression linguistique
expression linguistique
repr
�sente
proposition
dans le langage
langage
interval temporel
est
temps
d'existence de
expression linguistique
interval temporel
physique
physique
est une
instance
de
expression linguistique
physique
d
�finie
proposition
interval temporel
est
temps
d'existence de
physique
interval temporel
se produit
avant
interval temporel
(=>
(
registeredUser
?USER ?WEBSITE)
(
exists
(?DATABASE ?PART)
(
and
(
userDatabase
?DATABASE ?WEBSITE)
(
part
?PART ?DATABASE)
(
represents
?PART ?USER))))
UXExperimentalTerms.kif 865-871
registeredUser
AutonomousAgent
and
WebSite
Database
objet
userDatabase
Database
and
WebSite
objet
est une
partie
de
Database
objet
d
�finie
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