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
est une
instance
de
BusinessRequirementDocument
proposition
agent cognitif
and
formule
proposition
est une
instance
de
plan
agent cognitif
est une
instance
de
Business
formule
est une
instance
de
processus
proposition
d
�finie
formule
agent cognitif
desire
formule
ContentBearingPhysical
contient
information
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
Processus
est une
instance
de
Correcting
processus
processus
,
processus
P and
processus
P
processus
est une
instance
de
Disagreeing
processus
est un
sous
-processus de
processus
processus
est une
instance
de
d�clarer
processus
est un
sous
-processus de
processus
processus
contient
information
processus
P
processus
contient
information
processus
P
processus
P inclut une
r
�f�rence �
processus
P
consistent
processus
P and
processus
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
Processus
est une
instance
de
Crossposting
proposition
processus
,
processus
,
entit�
and
entit�
processus
est une
instance
de
Posting
processus
est une
instance
de
Posting
processus
contient
information
proposition
processus
contient
information
proposition
processus
aboutit
�
entit�
processus
aboutit
�
entit�
processus
est
processus
entit�
est
entit�
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
(=>
(
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
est une
instance
de
DramaticCast
ContentBearingPhysical
proposition
and
processus
ContentBearingPhysical
est une
instance
de
FictionalText
ContentBearingPhysical
contient
information
proposition
processus
exprime
le contenu de
proposition
AutonomousAgent
AutonomousAgent
est un
membre
de
collection
processus
processus
est une
instance
de
DramaticActing
processus
est un
agent
de
AutonomousAgent
processus
est un
sous
-processus de
processus
(=>
(
instance
?CONPLANwithTPFDD
CONPLANwithTPFDD
)
(
exists
(?CBO)
(
and
(
instance
?CBO
TPFDDFile
)
(
containsInformation
?CBO ?CONPLANwithTPFDD))))
MilitaryProcesses.kif 1623-1628
Proposition
est une
instance
de
CONPLANwithTPFDD
ContentBearingPhysical
ContentBearingPhysical
est une
instance
de
TPFDDFile
ContentBearingPhysical
contient
information
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
est une
instance
de
Constitution
formule
proposition
formule
est une
instance
de
formule
formule
contient
information
proposition
proposition
est une
instance
de
proposition
proposition
est une
sous
-proposition de
proposition
l'argument
formule
a la
force
modale
de
Obligation
(=>
(
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
est une
instance
de
Constitution
formule
proposition
formule
est une
instance
de
formule
formule
contient
information
proposition
proposition
est une
instance
de
proposition
proposition
est une
sous
-proposition de
proposition
l'argument
formule
a la
force
modale
de
Permission
(=>
(
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
Processus
est une
instance
de
Disagreeing
AutonomousAgent
AutonomousAgent
,
processus
,
processus
,
proposition
and
proposition
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est
AutonomousAgent
processus
contient
information
proposition
processus
contient
information
proposition
consistent
proposition
and
proposition
(=>
(
instance
?DOC
ConstitutionDocument
)
(
exists
(?CONST)
(
and
(
instance
?CONST
Constitution
)
(
containsInformation
?DOC ?CONST))))
Government.kif 688-693
ContentBearingPhysical
est une
instance
de
ConstitutionDocument
proposition
proposition
est une
instance
de
Constitution
ContentBearingPhysical
contient
information
proposition
(=>
(
instance
?DOC
ContractDocument
)
(
exists
(?PROP)
(
and
(
containsInformation
?DOC ?PROP)
(
property
?PROP
Contract
))))
Media.kif 979-984
ContentBearingPhysical
est une
instance
de
ContractDocument
proposition
ContentBearingPhysical
contient
information
proposition
proposition
a un
attribute
Contract
(=>
(
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
Interval temporel
est une
instance
de
Elaborating
interval temporel
interval temporel
P and
interval temporel
P
interval temporel
est une
instance
de
LinguisticCommunication
interval temporel
arrive
plus
t�t que
interval temporel
interval temporel
contient
information
interval temporel
P
interval temporel
contient
information
interval temporel
P
interval temporel
P
classe
le contenu de
interval temporel
P
(=>
(
instance
?FILE
SoftwareFile
)
(
exists
(?PROGRAM ?SUBPROGRAM)
(
and
(
instance
?PROGRAM
ComputerProgram
)
(
subsumesContentInstance
?PROGRAM ?SUBPROGRAM)
(
containsInformation
?FILE ?SUBPROGRAM))))
Media.kif 1534-1540
ContentBearingPhysical
est une
instance
de
SoftwareFile
ContentBearingPhysical
proposition
ContentBearingPhysical
est une
instance
de
programme d'ordinateur
ContentBearingPhysical
classe
le contenu de
proposition
ContentBearingPhysical
contient
information
proposition
(=>
(
instance
?FILE
TPFDDFile
)
(
and
(
containsInformation
?FILE ?TPFDD)
(
instance
?TPFDD
TPFDD
)))
MilitaryProcesses.kif 1651-1655
ContentBearingPhysical
est une
instance
de
TPFDDFile
ContentBearingPhysical
contient
information
proposition
proposition
est une
instance
de
TPFDD
(=>
(
instance
?L
LyricalContent
)
(
exists
(?W ?I)
(
and
(
instance
?W
Word
)
(
containsInformation
?W ?I)
(
subProposition
?I ?L))))
Mid-level-ontology.kif 13802-13808
Proposition
est une
instance
de
LyricalContent
ContentBearingPhysical
proposition
ContentBearingPhysical
est une
instance
de
mot
ContentBearingPhysical
contient
information
proposition
proposition
est une
sous
-proposition de
proposition
(=>
(
instance
?MANUAL
JOPESManual
)
(
and
(
containsInformation
?MANUAL ?JOPES)
(
instance
?JOPES
JOPES
)))
MilitaryProcesses.kif 1844-1848
ContentBearingPhysical
est une
instance
de
JOPESManual
ContentBearingPhysical
contient
information
proposition
proposition
est une
instance
de
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
est une
instance
de
LegalOpinion
processus
ContentBearingPhysical
and
Argument
processus
est une
instance
de
LegalDecision
ContentBearingPhysical
est le
resultat
de
processus
ContentBearingPhysical
contient
information
Argument
l'argument de
conclusion
Argument
est
proposition
(=>
(
instance
?OPLAN
OPLAN
)
(
exists
(?CBO)
(
and
(
instance
?CBO
TPFDDFile
)
(
containsInformation
?CBO ?OPLAN))))
MilitaryProcesses.kif 1802-1807
Proposition
est une
instance
de
OPLAN
ContentBearingPhysical
ContentBearingPhysical
est une
instance
de
TPFDDFile
ContentBearingPhysical
contient
information
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
Physique
est une
instance
de
DramaticPlay
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
DramaticActing
physique
contient
information
entit�
entit�
exprime
le contenu de
entit�
(=>
(
instance
?PROG
PerformanceProgram
)
(
exists
(?PERF ?PROP)
(
and
(
containsInformation
?PROG ?PROP)
(
realization
?PERF ?PROP)
(
instance
?PERF
Performance
))))
Mid-level-ontology.kif 14539-14545
ContentBearingPhysical
est une
instance
de
PerformanceProgram
processus
proposition
ContentBearingPhysical
contient
information
proposition
processus
exprime
le contenu de
proposition
processus
est une
instance
de
Performance
(=>
(
instance
?R
Reciting
)
(
exists
(?P ?T)
(
and
(
realization
?R ?P)
(
containsInformation
?T ?P)
(
instance
?T
Text
))))
Mid-level-ontology.kif 15921-15927
Processus
est une
instance
de
Reciting
proposition
ContentBearingPhysical
processus
exprime
le contenu de
proposition
ContentBearingPhysical
contient
information
proposition
ContentBearingPhysical
est une
instance
de
texte
(=>
(
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
Interval temporel
est une
instance
de
Restating
interval temporel
interval temporel
P and
interval temporel
P
interval temporel
est une
instance
de
LinguisticCommunication
interval temporel
arrive
plus
t�t que
interval temporel
interval temporel
contient
information
interval temporel
P
interval temporel
contient
information
interval temporel
P
interval temporel
P est
equivalent
�
interval temporel
P
(=>
(
instance
?READ
Reading
)
(
exists
(?TEXT ?PROP)
(
and
(
instance
?TEXT
Text
)
(
containsInformation
?TEXT ?PROP)
(
realization
?READ ?PROP))))
Merge.kif 12689-12695
Processus
est une
instance
de
lire
ContentBearingPhysical
proposition
ContentBearingPhysical
est une
instance
de
texte
ContentBearingPhysical
contient
information
proposition
processus
exprime
le contenu de
proposition
(=>
(
instance
?RECORD
AudioRecording
)
(
exists
(?INFO ?SOUND)
(
and
(
containsInformation
?RECORD ?INFO)
(
realization
?SOUND ?INFO)
(
instance
?SOUND
RadiatingSound
))))
Mid-level-ontology.kif 14314-14320
ContentBearingPhysical
est une
instance
de
AudioRecording
proposition
processus
ContentBearingPhysical
contient
information
proposition
processus
exprime
le contenu de
proposition
processus
est une
instance
de
son irradiant
(=>
(
instance
?SENT
Sentence
)
(
exists
(?PROP)
(
and
(
instance
?PROP
Proposition
)
(
containsInformation
?SENT ?PROP))))
Merge.kif 15447-15452
ContentBearingPhysical
est une
instance
de
phrase
proposition
proposition
est une
instance
de
proposition
ContentBearingPhysical
contient
information
proposition
(=>
(
instance
?SIGNING
SigningAnAgreement
)
(
exists
(?DOC ?TERMS)
(
and
(
instance
?DOC
LinguisticExpression
)
(
instance
?TERMS
Agreement
)
(
containsInformation
?DOC ?TERMS)
(
patient
?SIGNING ?DOC))))
Geography.kif 3125-3132
Processus
est une
instance
de
SigningAnAgreement
ContentBearingPhysical
proposition
ContentBearingPhysical
est une
instance
de
expression linguistique
proposition
est une
instance
de
Agreement
ContentBearingPhysical
contient
information
proposition
ContentBearingPhysical
est un
patient
de
processus
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