containsInformation
(=>
(
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
Correcting
)
(
exists
(?D ?S ?SP ?CP)
(
and
(
instance
?D
Disagreeing
)
(
subProcess
?C ?D)
(
instance
?S
Stating
)
(
subProcess
?S ?D)
(
containsInformation
?S ?SP)
(
containsInformation
?C ?CP)
(
refers
?CP ?SP)
(
not
(
consistent
?CP ?SP)))))
Mid-level-ontology.kif 29679-29691
Processo
e' uma
instancia
de
Correcting
Processo
Processo
,
Processo
P and
Processo
P
Processo
e' uma
instancia
de
Disagreeing
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
Declarar
Processo
e' um
sub
-processo de
Processo
Processo
contem
informacao
Processo
P
Processo
contem
informacao
Processo
P
Processo
P inclui uma
referencia
a
Processo
P
consistent
Processo
P and
Processo
P
(=>
(
instance
?C
Crossposting
)
(
exists
(?I ?P1 ?P2 ?D1 ?D2)
(
and
(
instance
?P1
Posting
)
(
instance
?P2
Posting
)
(
containsInformation
?P1 ?I)
(
containsInformation
?P1 ?I)
(
destination
?P1 ?D1)
(
destination
?P2 ?D2)
(
not
(
equal
?P1 ?P2))
(
not
(
equal
?D1 ?D2))
(
subProcess
?P1 ?C)
(
subProcess
?P2 ?C))))
ComputingBrands.kif 4643-4658
Processo
e' uma
instancia
de
Crossposting
Proposicao
Processo
,
Processo
,
Entidade
and
Entidade
Processo
e' uma
instancia
de
Posting
Processo
e' uma
instancia
de
Posting
Processo
contem
informacao
Proposicao
Processo
contem
informacao
Proposicao
Processo
termina
em
Entidade
Processo
termina
em
Entidade
Processo
e'
igual
a
Processo
Entidade
e'
igual
a
Entidade
Processo
e' um
sub
-processo de
Processo
Processo
e' um
sub
-processo de
Processo
(=>
(
instance
?CAST
DramaticCast
)
(
exists
(?TEXT ?PROP ?PROC)
(
and
(
instance
?TEXT
FictionalText
)
(
containsInformation
?TEXT ?PROP)
(
realization
?PROC ?PROP)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?CAST)
(
exists
(?SUB)
(
and
(
instance
?SUB
DramaticActing
)
(
agent
?SUB ?MEMBER)
(
subProcess
?SUB ?PROC))))))))
Mid-level-ontology.kif 15966-15980
Colecao
e' uma
instancia
de
DramaticCast
ContentBearingPhysical
Proposicao
and
Processo
ContentBearingPhysical
e' uma
instancia
de
FictionalText
ContentBearingPhysical
contem
informacao
Proposicao
Processo
exprime
o conteudo de
Proposicao
AutonomousAgent
AutonomousAgent
e'
membro
de
Colecao
Processo
Processo
e' uma
instancia
de
DramaticActing
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
sub
-processo de
Processo
(=>
(
instance
?CONPLANwithTPFDD
CONPLANwithTPFDD
)
(
exists
(?CBO)
(
and
(
instance
?CBO
TPFDDFile
)
(
containsInformation
?CBO ?CONPLANwithTPFDD))))
MilitaryProcesses.kif 1623-1628
Proposicao
e' uma
instancia
de
CONPLANwithTPFDD
ContentBearingPhysical
ContentBearingPhysical
e' uma
instancia
de
TPFDDFile
ContentBearingPhysical
contem
informacao
Proposicao
(=>
(
instance
?CONST
Constitution
)
(
exists
(?FORMULA ?PART)
(
and
(
instance
?FORMULA
Formula
)
(
containsInformation
?FORMULA ?PART)
(
instance
?PART
Proposition
)
(
subProposition
?PART ?CONST)
(
modalAttribute
?FORMULA
Obligation
))))
Government.kif 653-661
Proposicao
e' uma
instancia
de
Constitution
Formula
Proposicao
Formula
e' uma
instancia
de
Formula
Formula
contem
informacao
Proposicao
Proposicao
e' uma
instancia
de
Proposicao
Proposicao
e' uma &sub-proposicao de
Proposicao
o argumento
Formula
tem a
forca
modal
de
Obligation
(=>
(
instance
?CONST
Constitution
)
(
exists
(?FORMULA ?PART)
(
and
(
instance
?FORMULA
Formula
)
(
containsInformation
?FORMULA ?PART)
(
instance
?PART
Proposition
)
(
subProposition
?PART ?CONST)
(
modalAttribute
?FORMULA
Permission
))))
Government.kif 663-671
Proposicao
e' uma
instancia
de
Constitution
Formula
Proposicao
Formula
e' uma
instancia
de
Formula
Formula
contem
informacao
Proposicao
Proposicao
e' uma
instancia
de
Proposicao
Proposicao
e' uma &sub-proposicao de
Proposicao
o argumento
Formula
tem a
forca
modal
de
Permission
(=>
(
instance
?DIS
Disagreeing
)
(
exists
(?A1 ?A2 ?STATE1 ?STATE2 ?STMT1 ?STMT2)
(
and
(
subProcess
?STATE1 ?DIS)
(
subProcess
?STATE2 ?DIS)
(
agent
?STATE1 ?A1)
(
agent
?STATE2 ?A2)
(
not
(
equal
?A1 ?A2))
(
containsInformation
?STATE1 ?STMT1)
(
containsInformation
?STATE2 ?STMT2)
(
not
(
consistent
?STMT1 ?STMT2)))))
Merge.kif 13179-13192
Processo
e' uma
instancia
de
Disagreeing
AutonomousAgent
AutonomousAgent
,
Processo
,
Processo
,
Proposicao
and
Proposicao
Processo
e' um
sub
-processo de
Processo
Processo
e' um
sub
-processo de
Processo
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e'
igual
a
AutonomousAgent
Processo
contem
informacao
Proposicao
Processo
contem
informacao
Proposicao
consistent
Proposicao
and
Proposicao
(=>
(
instance
?DOC
ConstitutionDocument
)
(
exists
(?CONST)
(
and
(
instance
?CONST
Constitution
)
(
containsInformation
?DOC ?CONST))))
Government.kif 688-693
ContentBearingPhysical
e' uma
instancia
de
ConstitutionDocument
Proposicao
Proposicao
e' uma
instancia
de
Constitution
ContentBearingPhysical
contem
informacao
Proposicao
(=>
(
instance
?DOC
ContractDocument
)
(
exists
(?PROP)
(
and
(
containsInformation
?DOC ?PROP)
(
property
?PROP
Contract
))))
Media.kif 979-984
ContentBearingPhysical
e' uma
instancia
de
ContractDocument
Proposicao
ContentBearingPhysical
contem
informacao
Proposicao
Proposicao
tem um
atributo
de
Contract
(=>
(
instance
?E
Elaborating
)
(
exists
(?L ?EP ?LP)
(
and
(
instance
?L
LinguisticCommunication
)
(
earlier
?L ?E)
(
containsInformation
?E ?EP)
(
containsInformation
?L ?LP)
(
subsumesContentInstance
?EP ?LP))))
Mid-level-ontology.kif 29647-29655
Intervalo Temporal
e' uma
instancia
de
Elaborating
Intervalo Temporal
Intervalo Temporal
P and
Intervalo Temporal
P
Intervalo Temporal
e' uma
instancia
de
LinguisticCommunication
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
Intervalo Temporal
contem
informacao
Intervalo Temporal
P
Intervalo Temporal
contem
informacao
Intervalo Temporal
P
Intervalo Temporal
P
subsume
o conteudo de
Intervalo Temporal
P
(=>
(
instance
?FILE
SoftwareFile
)
(
exists
(?PROGRAM ?SUBPROGRAM)
(
and
(
instance
?PROGRAM
ComputerProgram
)
(
subsumesContentInstance
?PROGRAM ?SUBPROGRAM)
(
containsInformation
?FILE ?SUBPROGRAM))))
Media.kif 1534-1540
ContentBearingPhysical
e' uma
instancia
de
SoftwareFile
ContentBearingPhysical
Proposicao
ContentBearingPhysical
e' uma
instancia
de
Programa de Computador
ContentBearingPhysical
subsume
o conteudo de
Proposicao
ContentBearingPhysical
contem
informacao
Proposicao
(=>
(
instance
?FILE
TPFDDFile
)
(
and
(
containsInformation
?FILE ?TPFDD)
(
instance
?TPFDD
TPFDD
)))
MilitaryProcesses.kif 1651-1655
ContentBearingPhysical
e' uma
instancia
de
TPFDDFile
ContentBearingPhysical
contem
informacao
Proposicao
Proposicao
e' uma
instancia
de
TPFDD
(=>
(
instance
?L
LyricalContent
)
(
exists
(?W ?I)
(
and
(
instance
?W
Word
)
(
containsInformation
?W ?I)
(
subProposition
?I ?L))))
Mid-level-ontology.kif 13801-13807
Proposicao
e' uma
instancia
de
LyricalContent
ContentBearingPhysical
Proposicao
ContentBearingPhysical
e' uma
instancia
de
Palavra
ContentBearingPhysical
contem
informacao
Proposicao
Proposicao
e' uma &sub-proposicao de
Proposicao
(=>
(
instance
?MANUAL
JOPESManual
)
(
and
(
containsInformation
?MANUAL ?JOPES)
(
instance
?JOPES
JOPES
)))
MilitaryProcesses.kif 1844-1848
ContentBearingPhysical
e' uma
instancia
de
JOPESManual
ContentBearingPhysical
contem
informacao
Proposicao
Proposicao
e' uma
instancia
de
JOPES
(=>
(
instance
?OPINION
LegalOpinion
)
(
exists
(?DECISION ?TEXT ?PROPOSITION)
(
and
(
instance
?DECISION
LegalDecision
)
(
result
?DECISION ?TEXT)
(
containsInformation
?TEXT ?PROPOSITION)
(
conclusion
?PROPOSITION ?OPINION))))
Mid-level-ontology.kif 16186-16193
Proposicao
e' uma
instancia
de
LegalOpinion
Processo
ContentBearingPhysical
and
Argument
Processo
e' uma
instancia
de
LegalDecision
ContentBearingPhysical
e' o
resultado
de
Processo
ContentBearingPhysical
contem
informacao
Argument
o argumento da
conclusao
Argument
e'
Proposicao
(=>
(
instance
?OPLAN
OPLAN
)
(
exists
(?CBO)
(
and
(
instance
?CBO
TPFDDFile
)
(
containsInformation
?CBO ?OPLAN))))
MilitaryProcesses.kif 1802-1807
Proposicao
e' uma
instancia
de
OPLAN
ContentBearingPhysical
ContentBearingPhysical
e' uma
instancia
de
TPFDDFile
ContentBearingPhysical
contem
informacao
Proposicao
(=>
(
instance
?PLAY
DramaticPlay
)
(
hasPurpose
?PLAY
(
exists
(?ACT ?PROP)
(
and
(
instance
?ACT
DramaticActing
)
(
containsInformation
?PLAY ?PROP)
(
realization
?ACT ?PROP)))))
Mid-level-ontology.kif 14953-14960
Fisico
e' uma
instancia
de
DramaticPlay
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
DramaticActing
Fisico
contem
informacao
Entidade
Entidade
exprime
o conteudo de
Entidade
(=>
(
instance
?PROG
PerformanceProgram
)
(
exists
(?PERF ?PROP)
(
and
(
containsInformation
?PROG ?PROP)
(
realization
?PERF ?PROP)
(
instance
?PERF
Performance
))))
Mid-level-ontology.kif 14538-14544
ContentBearingPhysical
e' uma
instancia
de
PerformanceProgram
Processo
Proposicao
ContentBearingPhysical
contem
informacao
Proposicao
Processo
exprime
o conteudo de
Proposicao
Processo
e' uma
instancia
de
Performance
(=>
(
instance
?R
Reciting
)
(
exists
(?P ?T)
(
and
(
realization
?R ?P)
(
containsInformation
?T ?P)
(
instance
?T
Text
))))
Mid-level-ontology.kif 15920-15926
Processo
e' uma
instancia
de
Reciting
Proposicao
ContentBearingPhysical
Processo
exprime
o conteudo de
Proposicao
ContentBearingPhysical
contem
informacao
Proposicao
ContentBearingPhysical
e' uma
instancia
de
Texto
(=>
(
instance
?R
Restating
)
(
exists
(?L ?LP ?RP)
(
and
(
instance
?L
LinguisticCommunication
)
(
earlier
?L ?R)
(
containsInformation
?R ?RP)
(
containsInformation
?L ?LP)
(
equivalentContentInstance
?RP ?LP))))
Mid-level-ontology.kif 29664-29672
Intervalo Temporal
e' uma
instancia
de
Restating
Intervalo Temporal
Intervalo Temporal
P and
Intervalo Temporal
P
Intervalo Temporal
e' uma
instancia
de
LinguisticCommunication
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
Intervalo Temporal
contem
informacao
Intervalo Temporal
P
Intervalo Temporal
contem
informacao
Intervalo Temporal
P
Intervalo Temporal
P e'
equivalente
a
Intervalo Temporal
P
(=>
(
instance
?READ
Reading
)
(
exists
(?TEXT ?PROP)
(
and
(
instance
?TEXT
Text
)
(
containsInformation
?TEXT ?PROP)
(
realization
?READ ?PROP))))
Merge.kif 12711-12717
Processo
e' uma
instancia
de
Ler
ContentBearingPhysical
Proposicao
ContentBearingPhysical
e' uma
instancia
de
Texto
ContentBearingPhysical
contem
informacao
Proposicao
Processo
exprime
o conteudo de
Proposicao
(=>
(
instance
?RECORD
AudioRecording
)
(
exists
(?INFO ?SOUND)
(
and
(
containsInformation
?RECORD ?INFO)
(
realization
?SOUND ?INFO)
(
instance
?SOUND
RadiatingSound
))))
Mid-level-ontology.kif 14313-14319
ContentBearingPhysical
e' uma
instancia
de
AudioRecording
Proposicao
Processo
ContentBearingPhysical
contem
informacao
Proposicao
Processo
exprime
o conteudo de
Proposicao
Processo
e' uma
instancia
de
Som Irradiante
(=>
(
instance
?SENT
Sentence
)
(
exists
(?PROP)
(
and
(
instance
?PROP
Proposition
)
(
containsInformation
?SENT ?PROP))))
Merge.kif 15469-15474
ContentBearingPhysical
e' uma
instancia
de
Frase
Proposicao
Proposicao
e' uma
instancia
de
Proposicao
ContentBearingPhysical
contem
informacao
Proposicao
(=>
(
instance
?SIGNING
SigningAnAgreement
)
(
exists
(?DOC ?TERMS)
(
and
(
instance
?DOC
LinguisticExpression
)
(
instance
?TERMS
Agreement
)
(
containsInformation
?DOC ?TERMS)
(
patient
?SIGNING ?DOC))))
Geography.kif 3125-3132
Processo
e' uma
instancia
de
SigningAnAgreement
ContentBearingPhysical
Proposicao
ContentBearingPhysical
e' uma
instancia
de
Expressao Linguistica
Proposicao
e' uma
instancia
de
Agreement
ContentBearingPhysical
contem
informacao
Proposicao
ContentBearingPhysical
e' um
patient
de
Processo
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