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
は
BusinessRequirementDocument
の
instance
では %n
命題
認識エージェント
and
公式
命題
は
計画
の
instance
では %n
認識エージェント
は
Business
の
instance
では %n
公式
は
工程
の
instance
では %n
命題
は
公式
を
express
es %n{ない}
認識エージェント
が
公式
を
desire
s %n{ない}
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
(=>
(
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 29691-29703
工程
は
Correcting
の
instance
では %n
工程
工程
,
工程
P and
工程
P
工程
は
Disagreeing
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
記載
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
工程
P の情報を
contain
s %n{ない}
工程
は
工程
P の情報を
contain
s %n{ない}
工程
P は
工程
P への
reference
を includes %n{ない}
consistent
工程
P and
工程
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
工程
は
Crossposting
の
instance
では %n
命題
工程
,
工程
,
エンティティー
and
エンティティー
工程
は
Posting
の
instance
では %n
工程
は
Posting
の
instance
では %n
工程
は
命題
の情報を
contain
s %n{ない}
工程
は
命題
の情報を
contain
s %n{ない}
工程
は
エンティティー
に
end
s %n{ない}
工程
は
エンティティー
に
end
s %n{ない}
工程
は
工程
と
equal
では
エンティティー
は
エンティティー
と
equal
では
工程
は
工程
% の
subprocess
では %n
工程
は
工程
% の
subprocess
では %n
(=>
(
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 15967-15981
コレクション
は
DramaticCast
の
instance
では %n
ContentBearingPhysical
命題
and
工程
ContentBearingPhysical
は
FictionalText
の
instance
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
工程
は
命題
の内容を
express
es %n{ない}
AutonomousAgent
AutonomousAgent
は
コレクション
の
member
では %n
工程
工程
は
DramaticActing
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
工程
% の
subprocess
では %n
(=>
(
instance
?CONPLANwithTPFDD
CONPLANwithTPFDD
)
(
exists
(?CBO)
(
and
(
instance
?CBO
TPFDDFile
)
(
containsInformation
?CBO ?CONPLANwithTPFDD))))
MilitaryProcesses.kif 1623-1628
命題
は
CONPLANwithTPFDD
の
instance
では %n
ContentBearingPhysical
ContentBearingPhysical
は
TPFDDFile
の
instance
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
(=>
(
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
命題
は
Constitution
の
instance
では %n
公式
命題
公式
は
公式
の
instance
では %n
公式
は
命題
の情報を
contain
s %n{ない}
命題
は
命題
の
instance
では %n
命題
は
命題
の
sub
-proposition では %n ステートメント
公式
には
Obligation
の
modal
force
が ある
(=>
(
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
命題
は
Constitution
の
instance
では %n
公式
命題
公式
は
公式
の
instance
では %n
公式
は
命題
の情報を
contain
s %n{ない}
命題
は
命題
の
instance
では %n
命題
は
命題
の
sub
-proposition では %n ステートメント
公式
には
Permission
の
modal
force
が ある
(=>
(
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 13157-13170
工程
は
Disagreeing
の
instance
では %n
AutonomousAgent
AutonomousAgent
,
工程
,
工程
,
命題
and
命題
工程
は
工程
% の
subprocess
では %n
工程
は
工程
% の
subprocess
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
AutonomousAgent
と
equal
では
工程
は
命題
の情報を
contain
s %n{ない}
工程
は
命題
の情報を
contain
s %n{ない}
consistent
命題
and
命題
(=>
(
instance
?DOC
ConstitutionDocument
)
(
exists
(?CONST)
(
and
(
instance
?CONST
Constitution
)
(
containsInformation
?DOC ?CONST))))
Government.kif 688-693
ContentBearingPhysical
は
ConstitutionDocument
の
instance
では %n
命題
命題
は
Constitution
の
instance
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
(=>
(
instance
?DOC
ContractDocument
)
(
exists
(?PROP)
(
and
(
containsInformation
?DOC ?PROP)
(
property
?PROP
Contract
))))
Media.kif 979-984
ContentBearingPhysical
は
ContractDocument
の
instance
では %n
命題
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
命題
には
attribute
Contract
%n{ない}
(=>
(
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 29659-29667
時間間隔
は
Elaborating
の
instance
では %n
時間間隔
時間間隔
P and
時間間隔
P
時間間隔
は
LinguisticCommunication
の
instance
では %n
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
時間間隔
は
時間間隔
P の情報を
contain
s %n{ない}
時間間隔
は
時間間隔
P の情報を
contain
s %n{ない}
時間間隔
P は
時間間隔
P の コンテンツを
subsume
s %n{ない}
(=>
(
instance
?FILE
SoftwareFile
)
(
exists
(?PROGRAM ?SUBPROGRAM)
(
and
(
instance
?PROGRAM
ComputerProgram
)
(
subsumesContentInstance
?PROGRAM ?SUBPROGRAM)
(
containsInformation
?FILE ?SUBPROGRAM))))
Media.kif 1534-1540
ContentBearingPhysical
は
SoftwareFile
の
instance
では %n
ContentBearingPhysical
命題
ContentBearingPhysical
は
コンピュータープログラム
の
instance
では %n
ContentBearingPhysical
は
命題
の コンテンツを
subsume
s %n{ない}
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
(=>
(
instance
?FILE
TPFDDFile
)
(
and
(
containsInformation
?FILE ?TPFDD)
(
instance
?TPFDD
TPFDD
)))
MilitaryProcesses.kif 1651-1655
ContentBearingPhysical
は
TPFDDFile
の
instance
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
命題
は
TPFDD
の
instance
では %n
(=>
(
instance
?L
LyricalContent
)
(
exists
(?W ?I)
(
and
(
instance
?W
Word
)
(
containsInformation
?W ?I)
(
subProposition
?I ?L))))
Mid-level-ontology.kif 13802-13808
命題
は
LyricalContent
の
instance
では %n
ContentBearingPhysical
命題
ContentBearingPhysical
は
単語
の
instance
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
命題
は
命題
の
sub
-proposition では %n
(=>
(
instance
?MANUAL
JOPESManual
)
(
and
(
containsInformation
?MANUAL ?JOPES)
(
instance
?JOPES
JOPES
)))
MilitaryProcesses.kif 1844-1848
ContentBearingPhysical
は
JOPESManual
の
instance
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
命題
は
JOPES
の
instance
では %n
(=>
(
instance
?OPINION
LegalOpinion
)
(
exists
(?DECISION ?TEXT ?PROPOSITION)
(
and
(
instance
?DECISION
LegalDecision
)
(
result
?DECISION ?TEXT)
(
containsInformation
?TEXT ?PROPOSITION)
(
conclusion
?PROPOSITION ?OPINION))))
Mid-level-ontology.kif 16187-16194
命題
は
LegalOpinion
の
instance
では %n
工程
ContentBearingPhysical
and
Argument
工程
は
LegalDecision
の
instance
では %n
ContentBearingPhysical
は
工程
の
result
では %n
ContentBearingPhysical
は
Argument
の情報を
contain
s %n{ない} 引数
Argument
の 結論は
命題
です
(=>
(
instance
?OPLAN
OPLAN
)
(
exists
(?CBO)
(
and
(
instance
?CBO
TPFDDFile
)
(
containsInformation
?CBO ?OPLAN))))
MilitaryProcesses.kif 1802-1807
命題
は
OPLAN
の
instance
では %n
ContentBearingPhysical
ContentBearingPhysical
は
TPFDDFile
の
instance
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
(=>
(
instance
?PLAY
DramaticPlay
)
(
hasPurpose
?PLAY
(
exists
(?ACT ?PROP)
(
and
(
instance
?ACT
DramaticActing
)
(
containsInformation
?PLAY ?PROP)
(
realization
?ACT ?PROP)))))
Mid-level-ontology.kif 14954-14961
物理
は
DramaticPlay
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
DramaticActing
の
instance
では %n
物理
は
エンティティー
の情報を
contain
s %n{ない}
エンティティー
は
エンティティー
の内容を
express
es %n{ない} の 目的 %n{ない}
(=>
(
instance
?PROG
PerformanceProgram
)
(
exists
(?PERF ?PROP)
(
and
(
containsInformation
?PROG ?PROP)
(
realization
?PERF ?PROP)
(
instance
?PERF
Performance
))))
Mid-level-ontology.kif 14539-14545
ContentBearingPhysical
は
PerformanceProgram
の
instance
では %n
工程
命題
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
工程
は
命題
の内容を
express
es %n{ない}
工程
は
Performance
の
instance
では %n
(=>
(
instance
?R
Reciting
)
(
exists
(?P ?T)
(
and
(
realization
?R ?P)
(
containsInformation
?T ?P)
(
instance
?T
Text
))))
Mid-level-ontology.kif 15921-15927
工程
は
Reciting
の
instance
では %n
命題
ContentBearingPhysical
工程
は
命題
の内容を
express
es %n{ない}
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
ContentBearingPhysical
は
テキスト
の
instance
では %n
(=>
(
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 29676-29684
時間間隔
は
Restating
の
instance
では %n
時間間隔
時間間隔
P and
時間間隔
P
時間間隔
は
LinguisticCommunication
の
instance
では %n
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
時間間隔
は
時間間隔
P の情報を
contain
s %n{ない}
時間間隔
は
時間間隔
P の情報を
contain
s %n{ない}
時間間隔
P は
時間間隔
P と
equivalent
では %n
(=>
(
instance
?READ
Reading
)
(
exists
(?TEXT ?PROP)
(
and
(
instance
?TEXT
Text
)
(
containsInformation
?TEXT ?PROP)
(
realization
?READ ?PROP))))
Merge.kif 12689-12695
工程
は
読み
の
instance
では %n
ContentBearingPhysical
命題
ContentBearingPhysical
は
テキスト
の
instance
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
工程
は
命題
の内容を
express
es %n{ない}
(=>
(
instance
?RECORD
AudioRecording
)
(
exists
(?INFO ?SOUND)
(
and
(
containsInformation
?RECORD ?INFO)
(
realization
?SOUND ?INFO)
(
instance
?SOUND
RadiatingSound
))))
Mid-level-ontology.kif 14314-14320
ContentBearingPhysical
は
AudioRecording
の
instance
では %n
命題
工程
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
工程
は
命題
の内容を
express
es %n{ない}
工程
は
放射音
の
instance
では %n
(=>
(
instance
?SENT
Sentence
)
(
exists
(?PROP)
(
and
(
instance
?PROP
Proposition
)
(
containsInformation
?SENT ?PROP))))
Merge.kif 15447-15452
ContentBearingPhysical
は
文
の
instance
では %n
命題
命題
は
命題
の
instance
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
(=>
(
instance
?SIGNING
SigningAnAgreement
)
(
exists
(?DOC ?TERMS)
(
and
(
instance
?DOC
LinguisticExpression
)
(
instance
?TERMS
Agreement
)
(
containsInformation
?DOC ?TERMS)
(
patient
?SIGNING ?DOC))))
Geography.kif 3125-3132
工程
は
SigningAnAgreement
の
instance
では %n
ContentBearingPhysical
命題
ContentBearingPhysical
は
言語表現
の
instance
では %n
命題
は
Agreement
の
instance
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
ContentBearingPhysical
は
工程
の
patient
では %n
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