containsInformation
(=>
(
instance
?SM
SheetMusic
)
(
exists
(?MC)
(
and
(
instance
?MC
MusicalComposition
)
(
containsInformation
?SM ?MC))))
Mid-level-ontology.kif 14413-14418
If
a content bearing physical
is an
instance
of
sheet music
,
then there exists
a proposition
such that
the proposition
is an
instance
of
musical composition
and
the content bearing physical
contain
s information
the 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
If
a content bearing physical
is an
instance
of
test protocol specification
,
then there exist
a proposition
,
a process
and
another process
such that
the proposition
is an
instance
of
plan
and
the process
is an
instance
of
experimenting
and
the other process
is an
instance
of
process
and
the proposition
express
es
the other process
and
the process
is a
subprocess
of
the other process
and
the content bearing physical
contain
s information
the proposition
(=>
(
instance
?Title
Title
)
(
exists
(?Property ?Agent)
(
containsInformation
?Title
(
possesses
?Agent ?Property))))
FinancialOntology.kif 3932-3935
If
a content bearing physical
is an
instance
of
title
,
then there exist
an entity
and
another entity
such that
the content bearing physical
contain
s information
the other entity
possess
es
the entity
(=>
(
realization
?PROCESS ?PROP)
(
exists
(?OBJ)
(
and
(
instance
?OBJ
ContentBearingObject
)
(
containsInformation
?OBJ ?PROP))))
Merge.kif 4608-4613
If
a process
express
es the content of
a proposition
,
then there exists
a content bearing physical
such that
the content bearing physical
is an
instance
of
content bearing object
and
the content bearing physical
contain
s information
the proposition
(=>
(
recordForAgreement
?CBP ?A)
(
not
(
exists
(?P)
(
and
(
not
(
equal
?P ?A))
(
not
(
abstractPart
?P ?A))
(
containsInformation
?CBP ?P)))))
Law.kif 504-513
If
a content bearing physical
is the
record
of
an agreement
,
then there doesn't exist
a proposition
such that
the proposition
is not
equal
to
the agreement
and
the proposition
is not a
part
of
the agreement
and
the content bearing physical
contain
s information
the proposition
(=>
(
subProposition
?PROP1 ?PROP2)
(
forall
(?OBJ1 ?OBJ2)
(=>
(
and
(
containsInformation
?OBJ1 ?PROP1)
(
containsInformation
?OBJ2 ?PROP2))
(
subsumesContentInstance
?OBJ2 ?OBJ1))))
Merge.kif 4645-4652
If
a proposition
is a
sub
-proposition of
another proposition
,
then for all
a content bearing physical
and
another content bearing physical
if
the content bearing physical
contain
s information
the proposition
and
the other content bearing physical
contain
s information
the other proposition
,
then
the other content bearing physical
subsume
s the content of
the content bearing physical
(=>
(
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
If
a kind of content bearing physical
subsume
s the content of
another kind of content bearing physical
,
then for all
a third content bearing physical
and
a proposition
if
the third content bearing physical
is an
instance
of
another kind of content bearing physical
and
the third content bearing physical
contain
s information
the proposition
,
then there exists
a fourth content bearing physical
such that
the fourth content bearing physical
is an
instance
of
a kind of content bearing physical
and
the fourth content bearing physical
contain
s information
the 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