represents
(=>
(
instance
?ACCOUNT
HistoricalAccount
)
(
exists
(?EVENT)
(
and
(
represents
?ACCOUNT ?EVENT)
(
earlier
(
WhenFn
?EVENT)
(
WhenFn
?ACCOUNT)))))
Mid-level-ontology.kif 14887-14892
Physique
est une
instance
de
HistoricalAccount
physique
physique
d
�finie
physique
temps
d'existence de
physique
arrive
plus
t�t que
temps
d'existence de
physique
(=>
(
instance
?ACTION
UserDirectAction
)
(
exists
(?SIG_ACTION)
(
and
(
represents
?ACTION ?SIG_ACTION)
(
instance
?SIG_ACTION
UserSignifiedAction
))))
ComputerInput.kif 1211-1216
Entit�
est une
instance
de
UserDirectAction
entit�
_ACTION
entit�
d
�finie
entit�
_ACTION
entit�
_ACTION est une
instance
de
UserSignifiedAction
(=>
(
instance
?AD
AnimalDoll
)
(
exists
(?A)
(
and
(
instance
?A
Animal
)
(
represents
?AD ?A))))
Mid-level-ontology.kif 2409-2414
Entit�
est une
instance
de
AnimalDoll
entit�
entit�
est une
instance
de
animal
entit�
d
�finie
entit�
(=>
(
instance
?AD
HumanDoll
)
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
represents
?AD ?H))))
Mid-level-ontology.kif 2420-2425
Entit�
est une
instance
de
HumanDoll
entit�
entit�
est une
instance
de
humain
entit�
d
�finie
entit�
(=>
(
instance
?BM
BestMatchAlgorithm
)
(
hasPurpose
?BM
(
exists
(?QUERY ?SEARCHATTEMPT ?OBJECT ?AGENT)
(
and
(
instance
?QUERY
SearchQuery
)
(
instance
?SEARCHATTEMPT
SearchAttempt
)
(
represents
?QUERY ?SEARCHATTEMPT)
(
patient
?BM ?QUERY)
(
instance
?AGENT
AutonomousAgent
)
(
patient
?SEARCHATTEMPT ?OBJECT)
(
agent
?SEARCHATTEMPT ?AGENT)))))
UXExperimentalTerms.kif 2301-2312
Physique
est une
instance
de
BestMatchAlgorithm
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
SearchQuery
entit�
est une
instance
de
SearchAttempt
entit�
d
�finie
entit�
entit�
est un
patient
de
physique
entit�
est une
instance
de
AutonomousAgent
entit�
est un
patient
de
entit�
entit�
est un
agent
de
entit�
(=>
(
instance
?BRD
BusinessRequirementDocument
)
(
exists
(?PLAN ?BU ?PROC)
(
and
(
instance
?PLAN
Plan
)
(
instance
?BU
Business
)
(
instance
?PROC
Process
)
(
represents
?PLAN ?PROC)
(
desires
?BU ?PROC)
(
containsInformation
?BRD ?PLAN))))
UXExperimentalTerms.kif 2596-2605
ContentBearingPhysical
est une
instance
de
BusinessRequirementDocument
proposition
agent cognitif
and
formule
proposition
est une
instance
de
plan
agent cognitif
est une
instance
de
Business
formule
est une
instance
de
processus
proposition
d
�finie
formule
agent cognitif
desire
formule
ContentBearingPhysical
contient
information
proposition
(=>
(
instance
?C
Compass
)
(
exists
(?D)
(
and
(
instance
?D
DirectionalAttribute
)
(
represents
?C ?D))))
Mid-level-ontology.kif 2264-2269
Entit�
est une
instance
de
Compass
entit�
entit�
est une
instance
de
attribut directionnel
entit�
d
�finie
entit�
(=>
(
instance
?COMMUNICATE
LinguisticCommunication
)
(
exists
(?OBJ)
(
and
(
represents
?COMMUNICATE ?OBJ)
(
instance
?OBJ
LinguisticExpression
)
(
patient
?COMMUNICATE ?OBJ))))
Merge.kif 13130-13136
Processus
est une
instance
de
LinguisticCommunication
entit�
processus
d
�finie
entit�
entit�
est une
instance
de
expression linguistique
entit�
est un
patient
de
processus
(=>
(
instance
?COMPACT
Agreement
)
(
exists
(?COMM)
(
and
(
instance
?COMM
Committing
)
(
represents
?COMM ?COMPACT))))
Mid-level-ontology.kif 13965-13970
Entit�
est une
instance
de
Agreement
entit�
entit�
est une
instance
de
investir
entit�
d
�finie
entit�
(=>
(
instance
?CP
ComputerProtocol
)
(
hasPurpose
?CP
(
exists
(?P1 ?P2 ?C)
(
and
(
instance
?P1
ComputerProgram
)
(
instance
?P2
ComputerProgram
)
(
instance
?C
DataTransfer
)
(
origin
?C ?P1)
(
destination
?C ?P2)
(
represents
?CP ?C)))))
ComputingBrands.kif 1736-1746
Physique
est une
instance
de
ComputerProtocol
physique
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
programme d'ordinateur
entit�
est une
instance
de
programme d'ordinateur
entit�
est une
instance
de
DataTransfer
entit�
a pour
origine
entit�
entit�
aboutit
�
entit�
physique
d
�finie
entit�
(=>
(
instance
?D
Doll
)
(
exists
(?A)
(
and
(
instance
?A
AutonomousAgent
)
(
represents
?D ?A))))
Mid-level-ontology.kif 2398-2403
Entit�
est une
instance
de
Doll
entit�
entit�
est une
instance
de
AutonomousAgent
entit�
d
�finie
entit�
(=>
(
instance
?EXPERIMENT
Experimenting
)
(
exists
(?FORMULA ?RESULT)
(
and
(
instance
?RESULT
Formula
)
(
result
?EXPERIMENT ?RESULT)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA)
(
represents
(
ProbabilityFn
?FORMULA) ?RESULT))))
UXExperimentalTerms.kif 3800-3810
Processus
est une
instance
de
Experimenting
formule
entit�
entit�
est une
instance
de
formule
entit�
est le
resultat
de
processus
formule
est une
instance
de
formule
formule
est un
patient
de
processus
le
probabilit
� de
formule
d
�finie
entit�
(=>
(
instance
?F
FolderIcon
)
(
hasPurpose
?F
(
exists
(?CD)
(
and
(
instance
?CD
ComputerDirectory
)
(
represents
?F ?CD)))))
ComputingBrands.kif 3015-3021
Physique
est une
instance
de
FolderIcon
physique
a pour
but
entit�
entit�
est une
instance
de
ComputerDirectory
physique
d
�finie
entit�
(=>
(
instance
?G
GUIDock
)
(
exists
(?I ?P ?CP)
(
and
(
instance
?CP
ComputerProgram
)
(
programRunning
?P ?CP)
(
instance
?I
Icon
)
(
represents
?I ?P)
(
orientation
?I ?G
Inside
))))
ComputingBrands.kif 2544-2552
Objet
est une
instance
de
GUIDock
objet
ComputerProcess
and
programme d'ordinateur
programme d'ordinateur
est une
instance
de
programme d'ordinateur
programRunning
ComputerProcess
and
programme d'ordinateur
objet
est une
instance
de
icone
objet
d
�finie
ComputerProcess
objet
est
Inside
�
objet
(=>
(
instance
?GAME
VideoGame
)
(
exists
(?VIDEO)
(
and
(
instance
?VIDEO
VideoRecording
)
(
represents
?VIDEO ?GAME))))
Mid-level-ontology.kif 25876-25881
Entit�
est une
instance
de
VideoGame
entit�
entit�
est une
instance
de
VideoRecording
entit�
d
�finie
entit�
(=>
(
instance
?M
AcrossVariableAccumulator
)
(
exists
(?C)
(
and
(
instance
?C
CapacitorElement
)
(
represents
?M ?C))))
engineering.kif 536-541
Entit�
est une
instance
de
AcrossVariableAccumulator
entit�
entit�
est une
instance
de
CapacitorElement
entit�
d
�finie
entit�
(=>
(
instance
?M
Dissipator
)
(
exists
(?R)
(
and
(
instance
?R
ResistorElement
)
(
represents
?M ?R))))
engineering.kif 836-841
Entit�
est une
instance
de
Dissipator
entit�
entit�
est une
instance
de
ResistorElement
entit�
d
�finie
entit�
(=>
(
instance
?M
ElectricalTwopole
)
(
exists
(?C)
(
and
(
instance
?C
CapacitorElement
)
(
represents
?M ?C))))
engineering.kif 543-548
Entit�
est une
instance
de
ElectricalTwopole
entit�
entit�
est une
instance
de
CapacitorElement
entit�
d
�finie
entit�
(=>
(
instance
?M
ElectricalTwopole
)
(
exists
(?C)
(
and
(
instance
?C
InductorElement
)
(
represents
?M ?C))))
engineering.kif 561-566
Entit�
est une
instance
de
ElectricalTwopole
entit�
entit�
est une
instance
de
InductorElement
entit�
d
�finie
entit�
(=>
(
instance
?M
ElectricalTwopole
)
(
exists
(?R)
(
and
(
instance
?R
ResistorElement
)
(
represents
?M ?R))))
engineering.kif 843-848
Entit�
est une
instance
de
ElectricalTwopole
entit�
entit�
est une
instance
de
ResistorElement
entit�
d
�finie
entit�
(=>
(
instance
?M
Map
)
(
exists
(?A)
(
and
(
instance
?A
GeographicArea
)
(
represents
?M ?A))))
Mid-level-ontology.kif 13288-13293
Entit�
est une
instance
de
Map
entit�
entit�
est une
instance
de
secteur g�ographique
entit�
d
�finie
entit�
(=>
(
instance
?M
ThroughVariableAccumulator
)
(
exists
(?I)
(
and
(
instance
?I
InductorElement
)
(
represents
?M ?I))))
engineering.kif 554-559
Entit�
est une
instance
de
ThroughVariableAccumulator
entit�
entit�
est une
instance
de
InductorElement
entit�
d
�finie
entit�
(=>
(
instance
?M
Twoport
)
(
exists
(?T)
(
and
(
instance
?T
Transducer
)
(
represents
?M ?T))))
engineering.kif 592-597
Entit�
est une
instance
de
Twoport
entit�
entit�
est une
instance
de
Transducer
entit�
d
�finie
entit�
(=>
(
instance
?MO
MilitaryOperation
)
(
exists
(?PLAN)
(
and
(
instance
?PLAN
Plan
)
(
represents
?PLAN ?MO))))
Military.kif 25-30
Entit�
est une
instance
de
MilitaryOperation
entit�
entit�
est une
instance
de
plan
entit�
d
�finie
entit�
(=>
(
instance
?OBJ
ContentBearingPhysical
)
(
exists
(?THING)
(
represents
?OBJ ?THING)))
Merge.kif 1311-1314
Entit�
est une
instance
de
ContentBearingPhysical
entit�
entit�
d
�finie
entit�
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