represents
(=>
(
instance
?ACCOUNT
HistoricalAccount
)
(
exists
(?EVENT)
(
and
(
represents
?ACCOUNT ?EVENT)
(
earlier
(
WhenFn
?EVENT)
(
WhenFn
?ACCOUNT)))))
Mid-level-ontology.kif 14887-14892
Fisico
e' uma
instancia
de
HistoricalAccount
Fisico
Fisico
define
Fisico
tempo
de existencia de
Fisico
acontence
antes
de
tempo
de existencia de
Fisico
(=>
(
instance
?ACTION
UserDirectAction
)
(
exists
(?SIG_ACTION)
(
and
(
represents
?ACTION ?SIG_ACTION)
(
instance
?SIG_ACTION
UserSignifiedAction
))))
ComputerInput.kif 1211-1216
Entidade
e' uma
instancia
de
UserDirectAction
Entidade
_ACTION
Entidade
define
Entidade
_ACTION
Entidade
_ACTION e' uma
instancia
de
UserSignifiedAction
(=>
(
instance
?AD
AnimalDoll
)
(
exists
(?A)
(
and
(
instance
?A
Animal
)
(
represents
?AD ?A))))
Mid-level-ontology.kif 2409-2414
Entidade
e' uma
instancia
de
AnimalDoll
Entidade
Entidade
e' uma
instancia
de
Animal
Entidade
define
Entidade
(=>
(
instance
?AD
HumanDoll
)
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
represents
?AD ?H))))
Mid-level-ontology.kif 2420-2425
Entidade
e' uma
instancia
de
HumanDoll
Entidade
Entidade
e' uma
instancia
de
Humano
Entidade
define
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
BestMatchAlgorithm
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
SearchQuery
Entidade
e' uma
instancia
de
SearchAttempt
Entidade
define
Entidade
Entidade
e' um
patient
de
Fisico
Entidade
e' uma
instancia
de
AutonomousAgent
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Entidade
(=>
(
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
e' uma
instancia
de
BusinessRequirementDocument
Proposicao
Agente Cognitivo
and
Formula
Proposicao
e' uma
instancia
de
Plano
Agente Cognitivo
e' uma
instancia
de
Business
Formula
e' uma
instancia
de
Processo
Proposicao
define
Formula
Agente Cognitivo
deseja
Formula
ContentBearingPhysical
contem
informacao
Proposicao
(=>
(
instance
?C
Compass
)
(
exists
(?D)
(
and
(
instance
?D
DirectionalAttribute
)
(
represents
?C ?D))))
Mid-level-ontology.kif 2264-2269
Entidade
e' uma
instancia
de
Compass
Entidade
Entidade
e' uma
instancia
de
Atributo Directional
Entidade
define
Entidade
(=>
(
instance
?COMMUNICATE
LinguisticCommunication
)
(
exists
(?OBJ)
(
and
(
represents
?COMMUNICATE ?OBJ)
(
instance
?OBJ
LinguisticExpression
)
(
patient
?COMMUNICATE ?OBJ))))
Merge.kif 13130-13136
Processo
e' uma
instancia
de
LinguisticCommunication
Entidade
Processo
define
Entidade
Entidade
e' uma
instancia
de
Expressao Linguistica
Entidade
e' um
patient
de
Processo
(=>
(
instance
?COMPACT
Agreement
)
(
exists
(?COMM)
(
and
(
instance
?COMM
Committing
)
(
represents
?COMM ?COMPACT))))
Mid-level-ontology.kif 13965-13970
Entidade
e' uma
instancia
de
Agreement
Entidade
Entidade
e' uma
instancia
de
Comprometer-se
Entidade
define
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
ComputerProtocol
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Programa de Computador
Entidade
e' uma
instancia
de
Programa de Computador
Entidade
e' uma
instancia
de
DataTransfer
Entidade
tem como
origem
Entidade
Entidade
termina
em
Entidade
Fisico
define
Entidade
(=>
(
instance
?D
Doll
)
(
exists
(?A)
(
and
(
instance
?A
AutonomousAgent
)
(
represents
?D ?A))))
Mid-level-ontology.kif 2398-2403
Entidade
e' uma
instancia
de
Doll
Entidade
Entidade
e' uma
instancia
de
AutonomousAgent
Entidade
define
Entidade
(=>
(
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
Processo
e' uma
instancia
de
Experimenting
Formula
Entidade
Entidade
e' uma
instancia
de
Formula
Entidade
e' o
resultado
de
Processo
Formula
e' uma
instancia
de
Formula
Formula
e' um
patient
de
Processo
a
probabilidade
de
Formula
define
Entidade
(=>
(
instance
?F
FolderIcon
)
(
hasPurpose
?F
(
exists
(?CD)
(
and
(
instance
?CD
ComputerDirectory
)
(
represents
?F ?CD)))))
ComputingBrands.kif 3015-3021
Fisico
e' uma
instancia
de
FolderIcon
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
ComputerDirectory
Fisico
define
Entidade
(=>
(
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
Objeto
e' uma
instancia
de
GUIDock
Objeto
ComputerProcess
and
Programa de Computador
Programa de Computador
e' uma
instancia
de
Programa de Computador
programRunning
ComputerProcess
and
Programa de Computador
Objeto
e' uma
instancia
de
Icone
Objeto
define
ComputerProcess
Objeto
e'
Inside
em relacao a
Objeto
(=>
(
instance
?GAME
VideoGame
)
(
exists
(?VIDEO)
(
and
(
instance
?VIDEO
VideoRecording
)
(
represents
?VIDEO ?GAME))))
Mid-level-ontology.kif 25876-25881
Entidade
e' uma
instancia
de
VideoGame
Entidade
Entidade
e' uma
instancia
de
VideoRecording
Entidade
define
Entidade
(=>
(
instance
?M
AcrossVariableAccumulator
)
(
exists
(?C)
(
and
(
instance
?C
CapacitorElement
)
(
represents
?M ?C))))
engineering.kif 536-541
Entidade
e' uma
instancia
de
AcrossVariableAccumulator
Entidade
Entidade
e' uma
instancia
de
CapacitorElement
Entidade
define
Entidade
(=>
(
instance
?M
Dissipator
)
(
exists
(?R)
(
and
(
instance
?R
ResistorElement
)
(
represents
?M ?R))))
engineering.kif 836-841
Entidade
e' uma
instancia
de
Dissipator
Entidade
Entidade
e' uma
instancia
de
ResistorElement
Entidade
define
Entidade
(=>
(
instance
?M
ElectricalTwopole
)
(
exists
(?C)
(
and
(
instance
?C
CapacitorElement
)
(
represents
?M ?C))))
engineering.kif 543-548
Entidade
e' uma
instancia
de
ElectricalTwopole
Entidade
Entidade
e' uma
instancia
de
CapacitorElement
Entidade
define
Entidade
(=>
(
instance
?M
ElectricalTwopole
)
(
exists
(?C)
(
and
(
instance
?C
InductorElement
)
(
represents
?M ?C))))
engineering.kif 561-566
Entidade
e' uma
instancia
de
ElectricalTwopole
Entidade
Entidade
e' uma
instancia
de
InductorElement
Entidade
define
Entidade
(=>
(
instance
?M
ElectricalTwopole
)
(
exists
(?R)
(
and
(
instance
?R
ResistorElement
)
(
represents
?M ?R))))
engineering.kif 843-848
Entidade
e' uma
instancia
de
ElectricalTwopole
Entidade
Entidade
e' uma
instancia
de
ResistorElement
Entidade
define
Entidade
(=>
(
instance
?M
Map
)
(
exists
(?A)
(
and
(
instance
?A
GeographicArea
)
(
represents
?M ?A))))
Mid-level-ontology.kif 13288-13293
Entidade
e' uma
instancia
de
Map
Entidade
Entidade
e' uma
instancia
de
Area Geografica
Entidade
define
Entidade
(=>
(
instance
?M
ThroughVariableAccumulator
)
(
exists
(?I)
(
and
(
instance
?I
InductorElement
)
(
represents
?M ?I))))
engineering.kif 554-559
Entidade
e' uma
instancia
de
ThroughVariableAccumulator
Entidade
Entidade
e' uma
instancia
de
InductorElement
Entidade
define
Entidade
(=>
(
instance
?M
Twoport
)
(
exists
(?T)
(
and
(
instance
?T
Transducer
)
(
represents
?M ?T))))
engineering.kif 592-597
Entidade
e' uma
instancia
de
Twoport
Entidade
Entidade
e' uma
instancia
de
Transducer
Entidade
define
Entidade
(=>
(
instance
?MO
MilitaryOperation
)
(
exists
(?PLAN)
(
and
(
instance
?PLAN
Plan
)
(
represents
?PLAN ?MO))))
Military.kif 25-30
Entidade
e' uma
instancia
de
MilitaryOperation
Entidade
Entidade
e' uma
instancia
de
Plano
Entidade
define
Entidade
(=>
(
instance
?OBJ
ContentBearingPhysical
)
(
exists
(?THING)
(
represents
?OBJ ?THING)))
Merge.kif 1311-1314
Entidade
e' uma
instancia
de
ContentBearingPhysical
Entidade
Entidade
define
Entidade
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