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
è un'
istanza
di
BusinessRequirementDocument
Proposizione
AgenteCognitivo
and
Formula
Proposizione
è un'
istanza
di
Programma
AgenteCognitivo
è un'
istanza
di
Business
Formula
è un'
istanza
di
Processo
Proposizione
esprime
Formula
AgenteCognitivo
desidera
s
Formula
ContentBearingPhysical
contiene
s informazione
Proposizione
(=>
(
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 29679-29691
Processo
è un'
istanza
di
Correcting
Processo
Processo
,
Processo
P and
Processo
P
Processo
è un'
istanza
di
Disagreeing
Processo
è un
sottoprocesso
di
Processo
Processo
è un'
istanza
di
Affermare
Processo
è un
sottoprocesso
di
Processo
Processo
contiene
s informazione
Processo
P
Processo
contiene
s informazione
Processo
P
Processo
P include un
riferimento
a
Processo
P
consistent
Processo
P and
Processo
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
Processo
è un'
istanza
di
Crossposting
Proposizione
Processo
,
Processo
,
Entit�
and
Entit�
Processo
è un'
istanza
di
Posting
Processo
è un'
istanza
di
Posting
Processo
contiene
s informazione
Proposizione
Processo
contiene
s informazione
Proposizione
Processo
fine
s in
Entit�
Processo
fine
s in
Entit�
Processo
is
uguale
a
Processo
Entit�
is
uguale
a
Entit�
Processo
è un
sottoprocesso
di
Processo
Processo
è un
sottoprocesso
di
Processo
(=>
(
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 15966-15980
InsiemeConcreto
è un'
istanza
di
DramaticCast
ContentBearingPhysical
Proposizione
and
Processo
ContentBearingPhysical
è un'
istanza
di
FictionalText
ContentBearingPhysical
contiene
s informazione
Proposizione
Processo
esprime
il contenuto di
Proposizione
AutonomousAgent
AutonomousAgent
è un
membro
di
InsiemeConcreto
Processo
Processo
è un'
istanza
di
DramaticActing
Processo
è un
agente
di
AutonomousAgent
Processo
è un
sottoprocesso
di
Processo
(=>
(
instance
?CONPLANwithTPFDD
CONPLANwithTPFDD
)
(
exists
(?CBO)
(
and
(
instance
?CBO
TPFDDFile
)
(
containsInformation
?CBO ?CONPLANwithTPFDD))))
MilitaryProcesses.kif 1623-1628
Proposizione
è un'
istanza
di
CONPLANwithTPFDD
ContentBearingPhysical
ContentBearingPhysical
è un'
istanza
di
TPFDDFile
ContentBearingPhysical
contiene
s informazione
Proposizione
(=>
(
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
Proposizione
è un'
istanza
di
Constitution
Formula
Proposizione
Formula
è un'
istanza
di
Formula
Formula
contiene
s informazione
Proposizione
Proposizione
è un'
istanza
di
Proposizione
Proposizione
è una
sottoproposizione
Proposizione
l'affermazione
Formula
ha il modello di forza di
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
Proposizione
è un'
istanza
di
Constitution
Formula
Proposizione
Formula
è un'
istanza
di
Formula
Formula
contiene
s informazione
Proposizione
Proposizione
è un'
istanza
di
Proposizione
Proposizione
è una
sottoproposizione
Proposizione
l'affermazione
Formula
ha il modello di forza di
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 13179-13192
Processo
è un'
istanza
di
Disagreeing
AutonomousAgent
AutonomousAgent
,
Processo
,
Processo
,
Proposizione
and
Proposizione
Processo
è un
sottoprocesso
di
Processo
Processo
è un
sottoprocesso
di
Processo
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
is
uguale
a
AutonomousAgent
Processo
contiene
s informazione
Proposizione
Processo
contiene
s informazione
Proposizione
consistent
Proposizione
and
Proposizione
(=>
(
instance
?DOC
ConstitutionDocument
)
(
exists
(?CONST)
(
and
(
instance
?CONST
Constitution
)
(
containsInformation
?DOC ?CONST))))
Government.kif 688-693
ContentBearingPhysical
è un'
istanza
di
ConstitutionDocument
Proposizione
Proposizione
è un'
istanza
di
Constitution
ContentBearingPhysical
contiene
s informazione
Proposizione
(=>
(
instance
?DOC
ContractDocument
)
(
exists
(?PROP)
(
and
(
containsInformation
?DOC ?PROP)
(
property
?PROP
Contract
))))
Media.kif 979-984
ContentBearingPhysical
è un'
istanza
di
ContractDocument
Proposizione
ContentBearingPhysical
contiene
s informazione
Proposizione
Proposizione
ha un
attributo
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 29647-29655
IntervalloTemporale
è un'
istanza
di
Elaborating
IntervalloTemporale
IntervalloTemporale
P and
IntervalloTemporale
P
IntervalloTemporale
è un'
istanza
di
LinguisticCommunication
IntervalloTemporale
accades
prima
di
IntervalloTemporale
IntervalloTemporale
contiene
s informazione
IntervalloTemporale
P
IntervalloTemporale
contiene
s informazione
IntervalloTemporale
P
IntervalloTemporale
P
sussume
il contenuto di
IntervalloTemporale
P
(=>
(
instance
?FILE
SoftwareFile
)
(
exists
(?PROGRAM ?SUBPROGRAM)
(
and
(
instance
?PROGRAM
ComputerProgram
)
(
subsumesContentInstance
?PROGRAM ?SUBPROGRAM)
(
containsInformation
?FILE ?SUBPROGRAM))))
Media.kif 1534-1540
ContentBearingPhysical
è un'
istanza
di
SoftwareFile
ContentBearingPhysical
Proposizione
ContentBearingPhysical
è un'
istanza
di
ProgrammaDiComputer
ContentBearingPhysical
sussume
il contenuto di
Proposizione
ContentBearingPhysical
contiene
s informazione
Proposizione
(=>
(
instance
?FILE
TPFDDFile
)
(
and
(
containsInformation
?FILE ?TPFDD)
(
instance
?TPFDD
TPFDD
)))
MilitaryProcesses.kif 1651-1655
ContentBearingPhysical
è un'
istanza
di
TPFDDFile
ContentBearingPhysical
contiene
s informazione
Proposizione
Proposizione
è un'
istanza
di
TPFDD
(=>
(
instance
?L
LyricalContent
)
(
exists
(?W ?I)
(
and
(
instance
?W
Word
)
(
containsInformation
?W ?I)
(
subProposition
?I ?L))))
Mid-level-ontology.kif 13801-13807
Proposizione
è un'
istanza
di
LyricalContent
ContentBearingPhysical
Proposizione
ContentBearingPhysical
è un'
istanza
di
Parola
ContentBearingPhysical
contiene
s informazione
Proposizione
Proposizione
è una
sottoproposizione
Proposizione
(=>
(
instance
?MANUAL
JOPESManual
)
(
and
(
containsInformation
?MANUAL ?JOPES)
(
instance
?JOPES
JOPES
)))
MilitaryProcesses.kif 1844-1848
ContentBearingPhysical
è un'
istanza
di
JOPESManual
ContentBearingPhysical
contiene
s informazione
Proposizione
Proposizione
è un'
istanza
di
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 16186-16193
Proposizione
è un'
istanza
di
LegalOpinion
Processo
ContentBearingPhysical
and
Argument
Processo
è un'
istanza
di
LegalDecision
ContentBearingPhysical
è un
risultato
di
Processo
ContentBearingPhysical
contiene
s informazione
Argument
conclusion
Argument
and
Proposizione
(=>
(
instance
?OPLAN
OPLAN
)
(
exists
(?CBO)
(
and
(
instance
?CBO
TPFDDFile
)
(
containsInformation
?CBO ?OPLAN))))
MilitaryProcesses.kif 1802-1807
Proposizione
è un'
istanza
di
OPLAN
ContentBearingPhysical
ContentBearingPhysical
è un'
istanza
di
TPFDDFile
ContentBearingPhysical
contiene
s informazione
Proposizione
(=>
(
instance
?PLAY
DramaticPlay
)
(
hasPurpose
?PLAY
(
exists
(?ACT ?PROP)
(
and
(
instance
?ACT
DramaticActing
)
(
containsInformation
?PLAY ?PROP)
(
realization
?ACT ?PROP)))))
Mid-level-ontology.kif 14953-14960
Entit�Concreta
è un'
istanza
di
DramaticPlay
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
DramaticActing
Entit�Concreta
contiene
s informazione
Entit�
Entit�
esprime
il contenuto di
Entit�
(=>
(
instance
?PROG
PerformanceProgram
)
(
exists
(?PERF ?PROP)
(
and
(
containsInformation
?PROG ?PROP)
(
realization
?PERF ?PROP)
(
instance
?PERF
Performance
))))
Mid-level-ontology.kif 14538-14544
ContentBearingPhysical
è un'
istanza
di
PerformanceProgram
Processo
Proposizione
ContentBearingPhysical
contiene
s informazione
Proposizione
Processo
esprime
il contenuto di
Proposizione
Processo
è un'
istanza
di
Performance
(=>
(
instance
?R
Reciting
)
(
exists
(?P ?T)
(
and
(
realization
?R ?P)
(
containsInformation
?T ?P)
(
instance
?T
Text
))))
Mid-level-ontology.kif 15920-15926
Processo
è un'
istanza
di
Reciting
Proposizione
ContentBearingPhysical
Processo
esprime
il contenuto di
Proposizione
ContentBearingPhysical
contiene
s informazione
Proposizione
ContentBearingPhysical
è un'
istanza
di
Testo
(=>
(
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 29664-29672
IntervalloTemporale
è un'
istanza
di
Restating
IntervalloTemporale
IntervalloTemporale
P and
IntervalloTemporale
P
IntervalloTemporale
è un'
istanza
di
LinguisticCommunication
IntervalloTemporale
accades
prima
di
IntervalloTemporale
IntervalloTemporale
contiene
s informazione
IntervalloTemporale
P
IntervalloTemporale
contiene
s informazione
IntervalloTemporale
P
IntervalloTemporale
P è
equivalente
a
IntervalloTemporale
P
(=>
(
instance
?READ
Reading
)
(
exists
(?TEXT ?PROP)
(
and
(
instance
?TEXT
Text
)
(
containsInformation
?TEXT ?PROP)
(
realization
?READ ?PROP))))
Merge.kif 12711-12717
Processo
è un'
istanza
di
Leggere
ContentBearingPhysical
Proposizione
ContentBearingPhysical
è un'
istanza
di
Testo
ContentBearingPhysical
contiene
s informazione
Proposizione
Processo
esprime
il contenuto di
Proposizione
(=>
(
instance
?RECORD
AudioRecording
)
(
exists
(?INFO ?SOUND)
(
and
(
containsInformation
?RECORD ?INFO)
(
realization
?SOUND ?INFO)
(
instance
?SOUND
RadiatingSound
))))
Mid-level-ontology.kif 14313-14319
ContentBearingPhysical
è un'
istanza
di
AudioRecording
Proposizione
Processo
ContentBearingPhysical
contiene
s informazione
Proposizione
Processo
esprime
il contenuto di
Proposizione
Processo
è un'
istanza
di
OndaSonora
(=>
(
instance
?SENT
Sentence
)
(
exists
(?PROP)
(
and
(
instance
?PROP
Proposition
)
(
containsInformation
?SENT ?PROP))))
Merge.kif 15469-15474
ContentBearingPhysical
è un'
istanza
di
Frase
Proposizione
Proposizione
è un'
istanza
di
Proposizione
ContentBearingPhysical
contiene
s informazione
Proposizione
(=>
(
instance
?SIGNING
SigningAnAgreement
)
(
exists
(?DOC ?TERMS)
(
and
(
instance
?DOC
LinguisticExpression
)
(
instance
?TERMS
Agreement
)
(
containsInformation
?DOC ?TERMS)
(
patient
?SIGNING ?DOC))))
Geography.kif 3125-3132
Processo
è un'
istanza
di
SigningAnAgreement
ContentBearingPhysical
Proposizione
ContentBearingPhysical
è un'
istanza
di
EspressioneLinguistica
Proposizione
è un'
istanza
di
Agreement
ContentBearingPhysical
contiene
s informazione
Proposizione
ContentBearingPhysical
è un
paziente
di
Processo
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