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
例
內容承載物理
and
BusinessRequirementDocument
Proposition
CognitiveAgent
and
Formula
例
Proposition
and
Plan
例
CognitiveAgent
and
Business
例
Formula
and
Process
代表
Proposition
and
Formula
慾望
CognitiveAgent
and
Formula
包含信息
內容承載物理
and
Proposition
(=>
(
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
例
Process
and
Correcting
Process
Process
,
Process
P and
Process
P
例
Process
and
不同意
子過程
Process
and
Process
例
Process
and
Stating
子過程
Process
and
Process
包含信息
Process
and
Process
P
包含信息
Process
and
Process
P
參照
Process
P and
Process
P
Process
P 是
Process
P 的
consistent
(=>
(
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
例
Process
and
Crossposting
Proposition
Process
,
Process
,
Entity
and
Entity
例
Process
and
Posting
例
Process
and
Posting
包含信息
Process
and
Proposition
包含信息
Process
and
Proposition
目的地
Process
and
Entity
目的地
Process
and
Entity
等於
Process
and
Process
等於
Entity
and
Entity
子過程
Process
and
Process
子過程
Process
and
Process
(=>
(
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
例
Collection
and
戲劇性的演員
內容承載物理
Proposition
and
Process
例
內容承載物理
and
虛構的文字
包含信息
內容承載物理
and
Proposition
實現
Process
and
Proposition
AutonomousAgent
會員
AutonomousAgent
and
Collection
Process
例
Process
and
戲劇表演
agent
Process
and
AutonomousAgent
子過程
Process
and
Process
(=>
(
instance
?CONPLANwithTPFDD
CONPLANwithTPFDD
)
(
exists
(?CBO)
(
and
(
instance
?CBO
TPFDDFile
)
(
containsInformation
?CBO ?CONPLANwithTPFDD))))
MilitaryProcesses.kif 1623-1628
例
Proposition
and
和 TPFDD 破產
內容承載物理
例
內容承載物理
and
TPFDD文件
包含信息
內容承載物理
and
Proposition
(=>
(
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
例
Proposition
and
憲法
Formula
Proposition
例
Formula
and
Formula
包含信息
Formula
and
Proposition
例
Proposition
and
Proposition
次提案
Proposition
and
Proposition
模態屬性
Formula
and
義務
(=>
(
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
例
Proposition
and
憲法
Formula
Proposition
例
Formula
and
Formula
包含信息
Formula
and
Proposition
例
Proposition
and
Proposition
次提案
Proposition
and
Proposition
模態屬性
Formula
and
允許
(=>
(
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
例
Process
and
不同意
AutonomousAgent
AutonomousAgent
,
Process
,
Process
,
Proposition
and
Proposition
子過程
Process
and
Process
子過程
Process
and
Process
agent
Process
and
AutonomousAgent
agent
Process
and
AutonomousAgent
等於
AutonomousAgent
and
AutonomousAgent
包含信息
Process
and
Proposition
包含信息
Process
and
Proposition
Proposition
是
Proposition
的
consistent
(=>
(
instance
?DOC
ConstitutionDocument
)
(
exists
(?CONST)
(
and
(
instance
?CONST
Constitution
)
(
containsInformation
?DOC ?CONST))))
Government.kif 688-693
例
內容承載物理
and
憲法文件
Proposition
例
Proposition
and
憲法
包含信息
內容承載物理
and
Proposition
(=>
(
instance
?DOC
ContractDocument
)
(
exists
(?PROP)
(
and
(
containsInformation
?DOC ?PROP)
(
property
?PROP
Contract
))))
Media.kif 979-984
例
內容承載物理
and
ContractDocument
Proposition
包含信息
內容承載物理
and
Proposition
屬性
Proposition
and
合同
(=>
(
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
例
TimeInterval
and
Elaborating
TimeInterval
TimeInterval
P and
TimeInterval
P
例
TimeInterval
and
語言交流
早期
TimeInterval
and
TimeInterval
包含信息
TimeInterval
and
TimeInterval
P
包含信息
TimeInterval
and
TimeInterval
P
包含內容實例
TimeInterval
P and
TimeInterval
P
(=>
(
instance
?FILE
SoftwareFile
)
(
exists
(?PROGRAM ?SUBPROGRAM)
(
and
(
instance
?PROGRAM
ComputerProgram
)
(
subsumesContentInstance
?PROGRAM ?SUBPROGRAM)
(
containsInformation
?FILE ?SUBPROGRAM))))
Media.kif 1534-1540
例
內容承載物理
and
SoftwareFile
內容承載物理
Proposition
例
內容承載物理
and
ComputerProgram
包含內容實例
內容承載物理
and
Proposition
包含信息
內容承載物理
and
Proposition
(=>
(
instance
?FILE
TPFDDFile
)
(
and
(
containsInformation
?FILE ?TPFDD)
(
instance
?TPFDD
TPFDD
)))
MilitaryProcesses.kif 1651-1655
例
內容承載物理
and
TPFDD文件
包含信息
內容承載物理
and
Proposition
例
Proposition
and
TPFDD
(=>
(
instance
?L
LyricalContent
)
(
exists
(?W ?I)
(
and
(
instance
?W
Word
)
(
containsInformation
?W ?I)
(
subProposition
?I ?L))))
Mid-level-ontology.kif 13802-13808
例
Proposition
and
LyricalContent
內容承載物理
Proposition
例
內容承載物理
and
Word
包含信息
內容承載物理
and
Proposition
次提案
Proposition
and
Proposition
(=>
(
instance
?MANUAL
JOPESManual
)
(
and
(
containsInformation
?MANUAL ?JOPES)
(
instance
?JOPES
JOPES
)))
MilitaryProcesses.kif 1844-1848
例
內容承載物理
and
JOPES手冊
包含信息
內容承載物理
and
Proposition
例
Proposition
and
JOPES
(=>
(
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
例
Proposition
and
法律意見
Process
內容承載物理
and
爭論
例
Process
and
法律決定
結果
Process
and
內容承載物理
包含信息
內容承載物理
and
爭論
結論
爭論
and
Proposition
(=>
(
instance
?OPLAN
OPLAN
)
(
exists
(?CBO)
(
and
(
instance
?CBO
TPFDDFile
)
(
containsInformation
?CBO ?OPLAN))))
MilitaryProcesses.kif 1802-1807
例
Proposition
and
OPLAN
內容承載物理
例
內容承載物理
and
TPFDD文件
包含信息
內容承載物理
and
Proposition
(=>
(
instance
?PLAY
DramaticPlay
)
(
hasPurpose
?PLAY
(
exists
(?ACT ?PROP)
(
and
(
instance
?ACT
DramaticActing
)
(
containsInformation
?PLAY ?PROP)
(
realization
?ACT ?PROP)))))
Mid-level-ontology.kif 14954-14961
例
Physical
and
戲劇性的表演
有目的
Physical
and
entity
entity
例
entity
and
戲劇表演
包含信息
Physical
and
entity
實現
entity
and
entity
(=>
(
instance
?PROG
PerformanceProgram
)
(
exists
(?PERF ?PROP)
(
and
(
containsInformation
?PROG ?PROP)
(
realization
?PERF ?PROP)
(
instance
?PERF
Performance
))))
Mid-level-ontology.kif 14539-14545
例
內容承載物理
and
表演計劃
Process
Proposition
包含信息
內容承載物理
and
Proposition
實現
Process
and
Proposition
例
Process
and
性能
(=>
(
instance
?R
Reciting
)
(
exists
(?P ?T)
(
and
(
realization
?R ?P)
(
containsInformation
?T ?P)
(
instance
?T
Text
))))
Mid-level-ontology.kif 15921-15927
例
Process
and
背誦
Proposition
內容承載物理
實現
Process
and
Proposition
包含信息
內容承載物理
and
Proposition
例
內容承載物理
and
Text
(=>
(
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
例
TimeInterval
and
Restating
TimeInterval
TimeInterval
P and
TimeInterval
P
例
TimeInterval
and
語言交流
早期
TimeInterval
and
TimeInterval
包含信息
TimeInterval
and
TimeInterval
P
包含信息
TimeInterval
and
TimeInterval
P
等效內容實例
TimeInterval
P and
TimeInterval
P
(=>
(
instance
?READ
Reading
)
(
exists
(?TEXT ?PROP)
(
and
(
instance
?TEXT
Text
)
(
containsInformation
?TEXT ?PROP)
(
realization
?READ ?PROP))))
Merge.kif 12689-12695
例
Process
and
Reading
內容承載物理
Proposition
例
內容承載物理
and
Text
包含信息
內容承載物理
and
Proposition
實現
Process
and
Proposition
(=>
(
instance
?RECORD
AudioRecording
)
(
exists
(?INFO ?SOUND)
(
and
(
containsInformation
?RECORD ?INFO)
(
realization
?SOUND ?INFO)
(
instance
?SOUND
RadiatingSound
))))
Mid-level-ontology.kif 14314-14320
例
內容承載物理
and
錄音
Proposition
Process
包含信息
內容承載物理
and
Proposition
實現
Process
and
Proposition
例
Process
and
RadiatingSound
(=>
(
instance
?SENT
Sentence
)
(
exists
(?PROP)
(
and
(
instance
?PROP
Proposition
)
(
containsInformation
?SENT ?PROP))))
Merge.kif 15447-15452
例
內容承載物理
and
Sentence
Proposition
例
Proposition
and
Proposition
包含信息
內容承載物理
and
Proposition
(=>
(
instance
?SIGNING
SigningAnAgreement
)
(
exists
(?DOC ?TERMS)
(
and
(
instance
?DOC
LinguisticExpression
)
(
instance
?TERMS
Agreement
)
(
containsInformation
?DOC ?TERMS)
(
patient
?SIGNING ?DOC))))
Geography.kif 3125-3132
例
Process
and
簽署協議
內容承載物理
Proposition
例
內容承載物理
and
LinguisticExpression
例
Proposition
and
協議
包含信息
內容承載物理
and
Proposition
患者
Process
and
內容承載物理
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