containsInformation
(=>
(
instance
?SM
SheetMusic
)
(
exists
(?MC)
(
and
(
instance
?MC
MusicalComposition
)
(
containsInformation
?SM ?MC))))
Mid-level-ontology.kif 14413-14418
ContentBearingPhysical
e' uma
instancia
de
SheetMusic
Proposicao
Proposicao
e' uma
instancia
de
MusicalComposition
ContentBearingPhysical
contem
informacao
Proposicao
(=>
(
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
e' uma
instancia
de
TestProtocolSpecification
Proposicao
Processo
and
Processo
Proposicao
e' uma
instancia
de
Plano
Processo
e' uma
instancia
de
Experimenting
Processo
e' uma
instancia
de
Processo
Proposicao
define
Processo
Processo
e' um
sub
-processo de
Processo
ContentBearingPhysical
contem
informacao
Proposicao
(=>
(
instance
?Title
Title
)
(
exists
(?Property ?Agent)
(
containsInformation
?Title
(
possesses
?Agent ?Property))))
FinancialOntology.kif 3932-3935
ContentBearingPhysical
e' uma
instancia
de
Title
Entidade
Entidade
ContentBearingPhysical
contem
informacao
Entidade
possui
Entidade
(=>
(
realization
?PROCESS ?PROP)
(
exists
(?OBJ)
(
and
(
instance
?OBJ
ContentBearingObject
)
(
containsInformation
?OBJ ?PROP))))
Merge.kif 4608-4613
Processo
exprime
o conteudo de
Proposicao
ContentBearingPhysical
ContentBearingPhysical
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
ContentBearingPhysical
contem
informacao
Proposicao
(=>
(
recordForAgreement
?CBP ?A)
(
not
(
exists
(?P)
(
and
(
not
(
equal
?P ?A))
(
not
(
abstractPart
?P ?A))
(
containsInformation
?CBP ?P)))))
Law.kif 504-513
recordForAgreement
ContentBearingPhysical
and
Agreement
Proposicao
Proposicao
e'
igual
a
Agreement
abstractPart
Proposicao
and
Agreement
ContentBearingPhysical
contem
informacao
Proposicao
(=>
(
subProposition
?PROP1 ?PROP2)
(
forall
(?OBJ1 ?OBJ2)
(=>
(
and
(
containsInformation
?OBJ1 ?PROP1)
(
containsInformation
?OBJ2 ?PROP2))
(
subsumesContentInstance
?OBJ2 ?OBJ1))))
Merge.kif 4645-4652
Proposicao
e' uma &sub-proposicao de
Proposicao
ContentBearingPhysical
ContentBearingPhysical
ContentBearingPhysical
contem
informacao
Proposicao
ContentBearingPhysical
contem
informacao
Proposicao
ContentBearingPhysical
subsume
o conteudo de
ContentBearingPhysical
(=>
(
subsumesContentClass
?CLASS1 ?CLASS2)
(
forall
(?OBJ2 ?INFO)
(=>
(
and
(
instance
?OBJ2 ?CLASS2)
(
containsInformation
?OBJ2 ?INFO))
(
exists
(?OBJ1)
(
and
(
instance
?OBJ1 ?CLASS1)
(
containsInformation
?OBJ1 ?INFO))))))
Merge.kif 4535-4545
ContentBearingPhysical
subsume
o conteudo de
ContentBearingPhysical
ContentBearingPhysical
Proposicao
ContentBearingPhysical
e' uma
instancia
de
ContentBearingPhysical
ContentBearingPhysical
contem
informacao
Proposicao
ContentBearingPhysical
ContentBearingPhysical
e' uma
instancia
de
ContentBearingPhysical
ContentBearingPhysical
contem
informacao
Proposicao
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