containsInformation
(=>
(
instance
?SM
SheetMusic
)
(
exists
(?MC)
(
and
(
instance
?MC
MusicalComposition
)
(
containsInformation
?SM ?MC))))
Mid-level-ontology.kif 14413-14418
ContentBearingPhysical
est une
instance
de
SheetMusic
proposition
proposition
est une
instance
de
MusicalComposition
ContentBearingPhysical
contient
information
proposition
(=>
(
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
?Title
Title
)
(
exists
(?Property ?Agent)
(
containsInformation
?Title
(
possesses
?Agent ?Property))))
FinancialOntology.kif 3932-3935
ContentBearingPhysical
est une
instance
de
Title
entit�
entit�
ContentBearingPhysical
contient
information
entit�
poss
�de
entit�
(=>
(
realization
?PROCESS ?PROP)
(
exists
(?OBJ)
(
and
(
instance
?OBJ
ContentBearingObject
)
(
containsInformation
?OBJ ?PROP))))
Merge.kif 4608-4613
Processus
exprime
le contenu de
proposition
ContentBearingPhysical
ContentBearingPhysical
est une
instance
de
objet exprimant un sens
ContentBearingPhysical
contient
information
proposition
(=>
(
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
proposition
proposition
est
Agreement
abstractPart
proposition
and
Agreement
ContentBearingPhysical
contient
information
proposition
(=>
(
subProposition
?PROP1 ?PROP2)
(
forall
(?OBJ1 ?OBJ2)
(=>
(
and
(
containsInformation
?OBJ1 ?PROP1)
(
containsInformation
?OBJ2 ?PROP2))
(
subsumesContentInstance
?OBJ2 ?OBJ1))))
Merge.kif 4645-4652
Proposition
est une
sous
-proposition de
proposition
ContentBearingPhysical
ContentBearingPhysical
ContentBearingPhysical
contient
information
proposition
ContentBearingPhysical
contient
information
proposition
ContentBearingPhysical
classe
le contenu 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
classe
le contenu de
ContentBearingPhysical
ContentBearingPhysical
proposition
ContentBearingPhysical
est une
instance
de
ContentBearingPhysical
ContentBearingPhysical
contient
information
proposition
ContentBearingPhysical
ContentBearingPhysical
est une
instance
de
ContentBearingPhysical
ContentBearingPhysical
contient
information
proposition
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