containsInformation
(=>
(
instance
?SM
SheetMusic
)
(
exists
(?MC)
(
and
(
instance
?MC
MusicalComposition
)
(
containsInformation
?SM ?MC))))
Mid-level-ontology.kif 14413-14418
ContentBearingPhysical
は
SheetMusic
の
instance
では %n
命題
命題
は
MusicalComposition
の
instance
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
(=>
(
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
は
TestProtocolSpecification
の
instance
では %n
命題
工程
and
工程
命題
は
計画
の
instance
では %n
工程
は
Experimenting
の
instance
では %n
工程
は
工程
の
instance
では %n
命題
は
工程
を
express
es %n{ない}
工程
は
工程
% の
subprocess
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
(=>
(
instance
?Title
Title
)
(
exists
(?Property ?Agent)
(
containsInformation
?Title
(
possesses
?Agent ?Property))))
FinancialOntology.kif 3932-3935
ContentBearingPhysical
は
Title
の
instance
では %n
エンティティー
エンティティー
ContentBearingPhysical
は
エンティティー
は
エンティティー
を
possess
es %n{ない} の情報を
contain
s %n{ない}
(=>
(
realization
?PROCESS ?PROP)
(
exists
(?OBJ)
(
and
(
instance
?OBJ
ContentBearingObject
)
(
containsInformation
?OBJ ?PROP))))
Merge.kif 4608-4613
工程
は
命題
の内容を
express
es %n{ない}
ContentBearingPhysical
ContentBearingPhysical
は
コンテンツベアリングオブジェクト
の
instance
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
(=>
(
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
命題
命題
は
Agreement
と
equal
では
abstractPart
命題
and
Agreement
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
(=>
(
subProposition
?PROP1 ?PROP2)
(
forall
(?OBJ1 ?OBJ2)
(=>
(
and
(
containsInformation
?OBJ1 ?PROP1)
(
containsInformation
?OBJ2 ?PROP2))
(
subsumesContentInstance
?OBJ2 ?OBJ1))))
Merge.kif 4645-4652
命題
は
命題
の
sub
-proposition では %n
ContentBearingPhysical
ContentBearingPhysical
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
ContentBearingPhysical
は
ContentBearingPhysical
の コンテンツを
subsume
s %n{ない}
(=>
(
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
は
ContentBearingPhysical
の コンテンツを
subsume
s %n{ない}
ContentBearingPhysical
命題
ContentBearingPhysical
は
ContentBearingPhysical
の
instance
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
ContentBearingPhysical
ContentBearingPhysical
は
ContentBearingPhysical
の
instance
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
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