Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
containsInformation
Sigma KEE - containsInformation
containsInformation
appearance as argument number 1
(
documentation
containsInformation
ChineseLanguage
"这是
represents
的子类别。这个术语把
ContentBearingPhysical
和这个
ContentBearingPhysical
所表达的
Proposition
联系起来。 它的例子包括一本实体小说和它所讲故事之间的关系,以及一篇总曲谱和的它音乐内容之间的关系。")
chinese_format.kif 1648-1650
(
documentation
containsInformation
EnglishLanguage
"A subrelation of
represents
. This predicate relates a
ContentBearingPhysical
to the
Proposition
that is expressed by the
ContentBearingPhysical
. Examples include the relationships between a physical novel and its story and between a printed score and its musical content.")
Merge.kif 1360-1364
(
documentation
containsInformation
JapaneseLanguage
"
represents
の下位関係。 この述語は、
ContentBearingPhysical
を
Proposition
に関し、
ContentBearingPhysical
で表現される。 例として、物理的な小説とその物語の間の関係や、印刷されたスコアとその音楽コンテンツの関係など。")
japanese_format.kif 234-236
(
documentation
containsInformation
SpanishLanguage
"Una subrelación de
represents
. Este predicado relaciona
ContentBearingPhysical
a la
Proposition
que se expresa el
ContentBearingPhysical
. Por ejemplo, las relaciones entre una novela física y su historia, la partitura y su contenido musical.")
spanish_format.kif 276-279
(
domain
containsInformation
1
ContentBearingPhysical
)
Merge.kif 1357-1357
Il numero 1 argomenti di
containsInformation
è un
istanza
di
ContentBearingPhysical
(
domain
containsInformation
2
Proposition
)
Merge.kif 1358-1358
Il numero 2 argomenti di
containsInformation
è un
istanza
di
Proposizione
(
instance
containsInformation
AsymmetricRelation
)
Merge.kif 1355-1355
containsInformation
è un'
istanza
di
RelazioneAsimmetrica
(
instance
containsInformation
BinaryPredicate
)
Merge.kif 1354-1354
containsInformation
è un'
istanza
di
PredicatoBinario
(
relatedInternalConcept
containsInformation
containsFormula
)
Merge.kif 1369-1369
containsInformation
è
interamente
correlato a
containsFormula
(
subrelation
containsInformation
represents
)
Merge.kif 1356-1356
containsInformation
è una
sottorelazione
di
represents
appearance as argument number 2
(
format
ChineseLanguage
containsInformation
"%1 %n{doesn't}
contains
%2 的资料")
chinese_format.kif 81-81
(
format
EnglishLanguage
containsInformation
"%1 %n{doesn't} contain%p{s} information %2")
english_format.kif 81-81
(
format
FrenchLanguage
containsInformation
"%1 %n{ne} contient %n{pas} information %2")
french_format.kif 65-65
(
format
ItalianLanguage
containsInformation
"%1 %n{non} contiene%p{s} informazione %2")
relations-it.txt 57-57
(
format
JapaneseLanguage
containsInformation
"%1 は %2 の情報を contain%p{s} %n{ない}")
japanese_format.kif 1889-1889
(
format
PortugueseLanguage
containsInformation
"%1 %n{nao} contem %n informacao %2")
portuguese_format.kif 17-17
(
format
cb
containsInformation
"%1 %n naay nahibaw-an %2")
relations-cb.txt 91-91
(
format
cz
containsInformation
"%1 %n{doesn't} contain%p{s} information %2")
relations-cz.txt 71-71
(
format
de
containsInformation
"%1 enthaelt Informationen ueber %2")
relations-de.txt 92-92
(
format
hi
containsInformation
"%2 kii jaanakaarii %1 men %n{nahiin} hai")
relations-hindi.txt 98-98
(
format
ro
containsInformation
"%1 %n{nu} contain%t{conþine} informaþie %2")
relations-ro.kif 84-84
(
format
sv
containsInformation
"%1 innehåller %n{inte} informationen %2")
relations-sv.txt 64-64
(
format
tg
containsInformation
"%1 %n may kaalaman %2")
relations-tg.txt 130-130
(
relatedInternalConcept
ContentBearingObject
containsInformation
)
Merge.kif 1329-1329
OggettoSemiotico
è
interamente
correlato a
containsInformation
(
relatedInternalConcept
realization
containsInformation
)
Merge.kif 4601-4601
realization
è
interamente
correlato a
containsInformation
(
subrelation
accountInformation
containsInformation
)
ComputingBrands.kif 4409-4409
accountInformation
è una
sottorelazione
di
containsInformation
(
subrelation
programCopy
containsInformation
)
QoSontology.kif 635-635
programCopy
è una
sottorelazione
di
containsInformation
(
termFormat
ChineseLanguage
containsInformation
"包含信息")
chinese_format.kif 82-82
(
termFormat
ChineseTraditionalLanguage
containsInformation
"包含信息")
domainEnglishFormat.kif 16937-16937
(
termFormat
EnglishLanguage
containsInformation
"contains information")
domainEnglishFormat.kif 16936-16936
(
termFormat
de
containsInformation
"enthaeltInformationen")
terms-de.txt 25-25
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
antecedent
(<=>
(
and
(
instance
?COPY
Photocopying
)
(
patient
?COPY ?OBJ1)
(
instance
?OBJ1
VisualContentBearingObject
)
(
containsInformation
?OBJ1 ?INFO1))
(
exists
(?OBJ2 ?INFO2)
(
and
(
result
?COPY ?OBJ2)
(
instance
?OBJ2
VisualContentBearingObject
)
(
containsInformation
?OBJ2 ?INFO2)
(
equal
?INFO1 ?INFO2))))
Mid-level-ontology.kif 26362-26373
Processo
è un'
istanza
di
Photocopying
ContentBearingPhysical
è un
paziente
di
Processo
ContentBearingPhysical
è un'
istanza
di
VisualContentBearingObject
ContentBearingPhysical
contiene
s informazione
Proposizione
ContentBearingPhysical
Proposizione
ContentBearingPhysical
è un
risultato
di
Processo
ContentBearingPhysical
è un'
istanza
di
VisualContentBearingObject
ContentBearingPhysical
contiene
s informazione
Proposizione
Proposizione
is
uguale
a
Proposizione
(=>
(
and
(
agreementEffectiveDuring
?AGR ?DATE)
(
instance
?TIME ?DATE)
(
instance
?FORMULA
Formula
)
(
containsInformation
?FORMULA ?AGR))
(
holdsDuring
?TIME ?FORMULA))
Government.kif 730-736
agreementEffectiveDuring
Proposizione
and
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
PosizioneTemporale
Formula
è un'
istanza
di
Formula
Formula
contiene
s informazione
Proposizione
Formula
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?C
Confirming
)
(
agent
?C ?A)
(
containsInformation
?C ?P))
(
exists
(?S ?RA ?A2)
(
and
(
instance
?S
Stating
)
(
earlier
?S ?C)
(
instance
?RA
ReachingAgreement
)
(
agent
?S ?A2)
(
containsInformation
?RA ?P)
(
containsInformation
?S ?P)
(
partyToAgreement
?RA ?A)
(
partyToAgreement
?RA ?A2))))
Mid-level-ontology.kif 29690-29704
IntervalloTemporale
è un'
istanza
di
Confirming
IntervalloTemporale
è un
agente
di
Agreement
IntervalloTemporale
contiene
s informazione
Proposizione
IntervalloTemporale
ContentBearingPhysical
and
Agreement
2
IntervalloTemporale
è un'
istanza
di
Affermare
IntervalloTemporale
accades
prima
di
IntervalloTemporale
ContentBearingPhysical
è un'
istanza
di
ReachingAgreement
IntervalloTemporale
è un
agente
di
Agreement
2
ContentBearingPhysical
contiene
s informazione
Proposizione
IntervalloTemporale
contiene
s informazione
Proposizione
partyToAgreement
ContentBearingPhysical
and
Agreement
partyToAgreement
ContentBearingPhysical
and
Agreement
2
(=>
(
and
(
instance
?CONST
(
ConstitutionFn
?COUNTRY))
(
instance
?COUNTRY
Nation
)
(
equal
?GOV
(
GovernmentFn
?COUNTRY))
(
instance
(
WhenFn
?GOV) ?CLASS)
(
agreementEffectiveDuring
?CONST ?CLASS)
(
subProposition
?PART ?CONST)
(
containsInformation
?FORMULA ?PART))
(
holdsObligation
?FORMULA ?GOV))
Government.kif 738-747
Proposizione
è un'
istanza
di
ConstitutionFn
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
Nazione
Governo
is
uguale
a
GovernmentFn
AreaGeopolitica
il
tempo
di esistenza di
Governo
è un'
istanza
di
PosizioneTemporale
agreementEffectiveDuring
Proposizione
and
PosizioneTemporale
Proposizione
è una
sottoproposizione
Proposizione
Formula
contiene
s informazione
Proposizione
Governo
è
obbligato
a compiere il compito di tipo
Formula
(=>
(
and
(
instance
?DOC
ContractDocument
)
(
containsInformation
?DOC ?PROP)
(
property
?PROP
Contract
))
(
property
?PROP
Law
))
Media.kif 995-1000
ContentBearingPhysical
è un'
istanza
di
ContractDocument
ContentBearingPhysical
contiene
s informazione
Proposizione
Proposizione
ha un
attributo
Contract
Proposizione
ha un
attributo
Law
(=>
(
and
(
instance
?EVENT
OperationPlanning
)
(
result
?EVENT ?CBO)
(
instance
?CBO
ContentBearingObject
)
(
containsInformation
?CBO ?INFO))
(
instance
?INFO
OperationPlan
))
MilitaryProcesses.kif 1527-1533
Processo
è un'
istanza
di
OperationPlanning
ContentBearingPhysical
è un
risultato
di
Processo
ContentBearingPhysical
è un'
istanza
di
OggettoSemiotico
ContentBearingPhysical
contiene
s informazione
Proposizione
Proposizione
è un'
istanza
di
OperationPlan
(=>
(
and
(
instance
?PLAN
OperationPlan
)
(
containsInformation
?CBO ?PLAN)
(
instance
?CBO
ContentBearingObject
)
(
result
?EVENT ?CBO))
(
instance
?EVENT
OperationPlanning
))
MilitaryProcesses.kif 1535-1541
Proposizione
è un'
istanza
di
OperationPlan
ContentBearingPhysical
contiene
s informazione
Proposizione
ContentBearingPhysical
è un'
istanza
di
OggettoSemiotico
ContentBearingPhysical
è un
risultato
di
Processo
Processo
è un'
istanza
di
OperationPlanning
(=>
(
and
(
instance
?PLAN
OperationPlan
)
(
instance
?CBO
ContentBearingObject
)
(
containsInformation
?CBO ?PLAN)
(
instance
?OP
MilitaryOperation
)
(
result
?OP ?CBO))
(
represents
?PLAN ?OP))
MilitaryProcesses.kif 1573-1580
Proposizione
è un'
istanza
di
OperationPlan
ContentBearingPhysical
è un'
istanza
di
OggettoSemiotico
ContentBearingPhysical
contiene
s informazione
Proposizione
Processo
è un'
istanza
di
MilitaryOperation
ContentBearingPhysical
è un
risultato
di
Processo
Proposizione
esprime
Processo
(=>
(
and
(
instance
?PLAN
Plan
)
(
instance
?OBJ
ContentBearingObject
)
(
containsInformation
?OBJ ?PLAN))
(
exists
(?PLANNING)
(
and
(
instance
?PLANNING
Planning
)
(
result
?PLANNING ?OBJ))))
Merge.kif 16873-16881
Proposizione
è un'
istanza
di
Programma
ContentBearingPhysical
è un'
istanza
di
OggettoSemiotico
ContentBearingPhysical
contiene
s informazione
Proposizione
Proposizione
NING
Proposizione
NING è un'
istanza
di
Pianificazione
ContentBearingPhysical
è un
risultato
di
Proposizione
NING
(=>
(
and
(
instance
?PLANNING
JointOperationPlanning
)
(
result
?PLANNING ?CBO)
(
instance
?CBO
ContentBearingObject
)
(
containsInformation
?CBO ?INFO))
(
instance
?INFO
OPLAN
))
MilitaryProcesses.kif 1812-1818
Processo
è un'
istanza
di
JointOperationPlanning
ContentBearingPhysical
è un
risultato
di
Processo
ContentBearingPhysical
è un'
istanza
di
OggettoSemiotico
ContentBearingPhysical
contiene
s informazione
Proposizione
Proposizione
è un'
istanza
di
OPLAN
(=>
(
and
(
instance
?PROP
Proposition
)
(
instance
?CBO
ContentBearingObject
)
(
containsInformation
?CBO ?PROP)
(
instance
?COMM
Communication
)
(
patient
?COMM ?CBO))
(
represents
?COMM ?PROP))
Geography.kif 3025-3032
Proposizione
è un'
istanza
di
Proposizione
ContentBearingPhysical
è un'
istanza
di
OggettoSemiotico
ContentBearingPhysical
contiene
s informazione
Proposizione
Processo
è un'
istanza
di
Comunicazione
ContentBearingPhysical
è un
paziente
di
Processo
Processo
esprime
Proposizione
(=>
(
and
(
instance
?SF
SpeakingAtAFasterRate
)
(
instance
?SS
SpeakingAtASlowerRate
)
(
instance
?U
UnitOfDuration
)
(
agent
?SF ?A)
(
agent
?SS ?A)
(
containsInformation
?SF ?I)
(
containsInformation
?SS ?I)
(
duration
(
WhenFn
?SF)
(
MeasureFn
?FAST ?U))
(
duration
(
WhenFn
?SS)
(
MeasureFn
?SLOW ?U)))
(
greaterThan
?FAST ?SLOW))
emotion.kif 2016-2029
Processo
è un'
istanza
di
SpeakingAtAFasterRate
Processo
è un'
istanza
di
SpeakingAtASlowerRate
Unit�DiMisura
è un'
istanza
di
UnitOfDuration
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
Processo
contiene
s informazione
Proposizione
Processo
contiene
s informazione
Proposizione
durata
di il
tempo
di esistenza di
Processo
è
NumeroReale
Unit�DiMisura
(s
durata
di il
tempo
di esistenza di
Processo
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?X
Photocopier
)
(
instrument
?COPY ?X)
(
instance
?COPY
Photocopying
)
(
patient
?COPY ?OBJ1)
(
instance
?OBJ1
TwoDimensionalObject
)
(
instance
?OBJ1
VisualContentBearingObject
)
(
containsInformation
?OBJ1 ?INFO))
(
exists
(?OBJ2 ?SHEET)
(
and
(
result
?COPY ?OBJ2)
(
instance
?OBJ2
TwoDimensionalObject
)
(
instance
?OBJ2
VisualContentBearingObject
)
(
containsInformation
?OBJ2 ?INFO)
(
located
?OBJ2 ?SHEET)
(
instance
?SHEET
PrintedSheet
))))
Mid-level-ontology.kif 26332-26348
Oggetto
è un'
istanza
di
Photocopier
Oggetto
è uno
strumento
per
Processo
Processo
è un'
istanza
di
Photocopying
ContentBearingPhysical
è un
paziente
di
Processo
ContentBearingPhysical
è un'
istanza
di
TwoDimensionalObject
ContentBearingPhysical
è un'
istanza
di
VisualContentBearingObject
ContentBearingPhysical
contiene
s informazione
Proposizione
ContentBearingPhysical
Oggetto
ContentBearingPhysical
è un
risultato
di
Processo
ContentBearingPhysical
è un'
istanza
di
TwoDimensionalObject
ContentBearingPhysical
è un'
istanza
di
VisualContentBearingObject
ContentBearingPhysical
contiene
s informazione
Proposizione
ContentBearingPhysical
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
PrintedSheet
(=>
(
and
(
subclass
?PUB
JointPublication
)
(
instance
?ONE ?PUB)
(
containsInformation
?ONE ?CONTENT)
(
authors
?JORG ?PUB))
(
exists
(?ORG)
(
and
(
subOrganization
?ORG
USMilitary
)
(
confersObligation
?CONTENT ?JORG ?ORG))))
MilitaryProcesses.kif 940-949
OggettoSemiotico
è una
sottoclasse
di
JointPublication
ContentBearingPhysical
è un'
istanza
di
OggettoSemiotico
ContentBearingPhysical
contiene
s informazione
Formula
AutonomousAgent
è l'
autore
di
OggettoSemiotico
Organizzazione
subOrganization
Organizzazione
and
USMilitary
AutonomousAgent
obbliga
Organizzazione
a compiere il compito di tipo
Formula
(=>
(
and
(
subsumesContentInstance
?OBJ1 ?OBJ2)
(
containsInformation
?OBJ2 ?INFO))
(
containsInformation
?OBJ1 ?INFO))
Merge.kif 4590-4594
ContentBearingPhysical
sussume
il contenuto di
ContentBearingPhysical
ContentBearingPhysical
contiene
s informazione
Proposizione
ContentBearingPhysical
contiene
s informazione
Proposizione
consequent
(<=>
(
and
(
instance
?COPY
Photocopying
)
(
patient
?COPY ?OBJ1)
(
instance
?OBJ1
VisualContentBearingObject
)
(
containsInformation
?OBJ1 ?INFO1))
(
exists
(?OBJ2 ?INFO2)
(
and
(
result
?COPY ?OBJ2)
(
instance
?OBJ2
VisualContentBearingObject
)
(
containsInformation
?OBJ2 ?INFO2)
(
equal
?INFO1 ?INFO2))))
Mid-level-ontology.kif 26362-26373
Processo
è un'
istanza
di
Photocopying
ContentBearingPhysical
è un
paziente
di
Processo
ContentBearingPhysical
è un'
istanza
di
VisualContentBearingObject
ContentBearingPhysical
contiene
s informazione
Proposizione
ContentBearingPhysical
Proposizione
ContentBearingPhysical
è un
risultato
di
Processo
ContentBearingPhysical
è un'
istanza
di
VisualContentBearingObject
ContentBearingPhysical
contiene
s informazione
Proposizione
Proposizione
is
uguale
a
Proposizione
(=>
(
agreementClause
?PROP ?ATTR ?AGREEMENT ?AGENT)
(
and
(
exists
(?CLAUSE)
(
containsInformation
?CLAUSE ?PROP))
(
partyToAgreement
?AGENT ?AGREEMENT)))
Mid-level-ontology.kif 14099-14104
agreementClause
Proposizione
,
AttributoDeontico
,
Agreement
and
AgenteCognitivo
ContentBearingPhysical
ContentBearingPhysical
contiene
s informazione
Proposizione
partyToAgreement
AgenteCognitivo
and
Agreement
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
suffrageAgeMaximum
?AREA ?AGE))
(
exists
(?AGERULE)
(
and
(
instance
?AGERULE
VoterAgeRequirement
)
(
subProposition
?AGERULE
(
RegionalLawFn
?AREA))
(
containsInformation
(
suffrageAgeMaximum
?AREA ?AGE) ?AGERULE))))
Government.kif 993-1002
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
suffrageAgeMaximum
AreaGeopolitica
and
Durata
Durata
RULE
Durata
RULE è un'
istanza
di
VoterAgeRequirement
Durata
RULE è una
sottoproposizione
RegionalLawFn
AreaGeopolitica
suffrageAgeMaximum
AreaGeopolitica
and
Durata
contiene
s informazione
Durata
RULE
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
suffrageAgeMinimum
?AREA ?AGE))
(
exists
(?AGERULE)
(
and
(
instance
?AGERULE
VoterAgeRequirement
)
(
subProposition
?AGERULE
(
RegionalLawFn
?AREA))
(
containsInformation
(
suffrageAgeMinimum
?AREA ?AGE) ?AGERULE))))
Government.kif 921-930
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
suffrageAgeMinimum
AreaGeopolitica
and
Durata
Durata
RULE
Durata
RULE è un'
istanza
di
VoterAgeRequirement
Durata
RULE è una
sottoproposizione
RegionalLawFn
AreaGeopolitica
suffrageAgeMinimum
AreaGeopolitica
and
Durata
contiene
s informazione
Durata
RULE
(=>
(
and
(
instance
?ARGUMENT
ValidDeductiveArgument
)
(
equal
?PREMISES
(
PremisesFn
?ARGUMENT))
(
conclusion
?CONCLUSION ?ARGUMENT))
(
exists
(?FORMULA1 ?FORMULA2)
(
and
(
containsInformation
?FORMULA1 ?PREMISES)
(
containsInformation
?FORMULA2 ?CONCLUSION)
(
entails
?PREMISES ?CONCLUSION))))
Merge.kif 16913-16922
Argument
è un'
istanza
di
ValidDeductiveArgument
Formula
is
uguale
a
PremisesFn
Argument
conclusion
Formula
and
Argument
ContentBearingPhysical
ContentBearingPhysical
ContentBearingPhysical
contiene
s informazione
Formula
ContentBearingPhysical
contiene
s informazione
Formula
Formula
implica
s
Formula
(=>
(
and
(
instance
?C
Confirming
)
(
agent
?C ?A)
(
containsInformation
?C ?P))
(
exists
(?S ?RA ?A2)
(
and
(
instance
?S
Stating
)
(
earlier
?S ?C)
(
instance
?RA
ReachingAgreement
)
(
agent
?S ?A2)
(
containsInformation
?RA ?P)
(
containsInformation
?S ?P)
(
partyToAgreement
?RA ?A)
(
partyToAgreement
?RA ?A2))))
Mid-level-ontology.kif 29690-29704
IntervalloTemporale
è un'
istanza
di
Confirming
IntervalloTemporale
è un
agente
di
Agreement
IntervalloTemporale
contiene
s informazione
Proposizione
IntervalloTemporale
ContentBearingPhysical
and
Agreement
2
IntervalloTemporale
è un'
istanza
di
Affermare
IntervalloTemporale
accades
prima
di
IntervalloTemporale
ContentBearingPhysical
è un'
istanza
di
ReachingAgreement
IntervalloTemporale
è un
agente
di
Agreement
2
ContentBearingPhysical
contiene
s informazione
Proposizione
IntervalloTemporale
contiene
s informazione
Proposizione
partyToAgreement
ContentBearingPhysical
and
Agreement
partyToAgreement
ContentBearingPhysical
and
Agreement
2
(=>
(
and
(
instance
?DECODE
Decoding
)
(
patient
?DECODE ?DOC1))
(
exists
(?ENCODE ?DOC2 ?TIME ?PROP)
(
and
(
containsInformation
?DOC2 ?PROP)
(
containsInformation
?DOC1 ?PROP)
(
temporalPart
?TIME
(
PastFn
(
WhenFn
?DECODE)))
(
holdsDuring
?TIME
(
and
(
instance
?ENCODE
Encoding
)
(
patient
?ENCODE ?DOC2))))))
Merge.kif 12761-12774
Processo
è un'
istanza
di
Decodificare
ContentBearingPhysical
è un
paziente
di
Processo
Entit�
ContentBearingPhysical
,
PosizioneTemporale
and
Proposizione
ContentBearingPhysical
contiene
s informazione
Proposizione
ContentBearingPhysical
contiene
s informazione
Proposizione
PosizioneTemporale
è una
parte
di
prima
il
tempo
di esistenza di
Processo
Entit�
è un'
istanza
di
Codificare
ContentBearingPhysical
è un
paziente
di
Entit�
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?EVENT
Planning
)
(
result
?EVENT ?CBO)
(
instance
?CBO
ContentBearingObject
))
(
exists
(?PLAN)
(
and
(
instance
?PLAN
Plan
)
(
containsInformation
?CBO ?PLAN))))
Merge.kif 10874-10882
Processo
è un'
istanza
di
Pianificazione
ContentBearingPhysical
è un
risultato
di
Processo
ContentBearingPhysical
è un'
istanza
di
OggettoSemiotico
Proposizione
Proposizione
è un'
istanza
di
Programma
ContentBearingPhysical
contiene
s informazione
Proposizione
(=>
(
and
(
instance
?H
Hallucination
)
(
experiencer
?H ?P))
(
exists
(?PER ?PROP)
(
and
(
instance
?PER
Perception
)
(
experiencer
?PER ?P)
(
causes
?H ?PER)
(
containsInformation
?PER ?PROP)
(
truth
?PROP
False
))))
Mid-level-ontology.kif 6423-6433
Processo
è un'
istanza
di
Hallucination
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
ER
AutonomousAgent
ROP
AutonomousAgent
ER è un'
istanza
di
Percezione
AutonomousAgent
esperisce
s
AutonomousAgent
ER
Processo
causa
s
AutonomousAgent
ER
AutonomousAgent
ER
contiene
s informazione
AutonomousAgent
ROP
truth
AutonomousAgent
ROP and
False
(=>
(
and
(
instance
?INTERPRET
Interpreting
)
(
agent
?INTERPRET ?AGENT)
(
patient
?INTERPRET ?CONTENT)
(
instance
?CONTENT
ContentBearingObject
))
(
exists
(?PROP)
(
holdsDuring
(
EndFn
(
WhenFn
?INTERPRET))
(
believes
?AGENT
(
containsInformation
?CONTENT ?PROP)))))
Merge.kif 10897-10904
Processo
è un'
istanza
di
Interpreting
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
OggettoSemiotico
Entit�
AutonomousAgent
crede
s
Entit�
contiene
s informazione
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?P
Decoding
)
(
agent
?P ?A))
(
exists
(?CODE)
(
or
(
knows
?A ?CODE)
(
exists
(?OBJ)
(
and
(
instrument
?P ?OBJ)
(
containsInformation
?OBJ ?CODE))))))
QoSontology.kif 2181-2191
Processo
è un'
istanza
di
Decodificare
Processo
è un
agente
di
AgenteCognitivo
Formula
AgenteCognitivo
conosce
s
Formula
Oggetto
Oggetto
è uno
strumento
per
Processo
Oggetto
contiene
s informazione
Formula
(=>
(
and
(
instance
?P
Encoding
)
(
agent
?P ?A))
(
exists
(?CODE)
(
or
(
knows
?A ?CODE)
(
exists
(?OBJ)
(
and
(
instrument
?P ?OBJ)
(
containsInformation
?OBJ ?CODE))))))
QoSontology.kif 2169-2179
Processo
è un'
istanza
di
Codificare
Processo
è un
agente
di
AgenteCognitivo
Formula
AgenteCognitivo
conosce
s
Formula
Oggetto
Oggetto
è uno
strumento
per
Processo
Oggetto
contiene
s informazione
Formula
(=>
(
and
(
instance
?PLAN
Plan
)
(
instance
?PROC
Process
)
(
represents
?PLAN ?PROC))
(
exists
(?PLANNING ?CBO)
(
and
(
instance
?PLANNING
Planning
)
(
instance
?CBO
ContentBearingPhysical
)
(
containsInformation
?CBO ?PLAN)
(
result
?PLANNING ?CBO)
(
earlier
(
BeginFn
(
WhenFn
?PLANNING))
(
BeginFn
(
WhenFn
?PROC)))
(
earlier
(
EndFn
(
WhenFn
?PLANNING))
(
EndFn
(
WhenFn
?PROC))))))
Military.kif 32-44
Proposizione
è un'
istanza
di
Programma
Entit�Concreta
è un'
istanza
di
Processo
Proposizione
esprime
Entit�Concreta
Proposizione
NING
ContentBearingPhysical
Proposizione
NING è un'
istanza
di
Pianificazione
ContentBearingPhysical
è un'
istanza
di
ContentBearingPhysical
ContentBearingPhysical
contiene
s informazione
Proposizione
ContentBearingPhysical
è un
risultato
di
Proposizione
NING l'
inizio
di il
tempo
di esistenza di
Proposizione
NING accades
prima
di l'
inizio
di il
tempo
di esistenza di
Entit�Concreta
la
fine
di il
tempo
di esistenza di
Proposizione
NING accades
prima
di la
fine
di il
tempo
di esistenza di
Entit�Concreta
(=>
(
and
(
instance
?POLICY
ChildrenPolicy
)
(
policyOwner
?AGENT ?POLICY)
(
policyLocationCoverage
?POLICY ?LOC))
(
or
(
containsInformation
?POLICY
(
modalAttribute
(
exists
(?CUST1)
(
and
(
customer
?CUST1 ?AGENT)
(
instance
?CUST1
HumanChild
)))
Possibility
))
(
containsInformation
?POLICY
(
not
(
modalAttribute
(
exists
(?CUST2)
(
and
(
customer
?CUST2 ?AGENT)
(
instance
?CUST2
HumanChild
)))
Possibility
)))))
Hotel.kif 2535-2553
Policy
è un'
istanza
di
ChildrenPolicy
policyOwner
Organizzazione
and
Policy
policyLocationCoverage
Policy
and
Oggetto
Policy
contiene
s informazione l'affermazione
Entit�
customer
Entit�
and
Organizzazione
Entit�
è un'
istanza
di
HumanChild
ha il modello di forza di
Possibility
Policy
contiene
s informazione l'affermazione
Entit�
customer
Entit�
and
Organizzazione
Entit�
è un'
istanza
di
HumanChild
ha il modello di forza di
Possibility
(=>
(
and
(
instance
?POLICY
PetPolicy
)
(
policyLocationCoverage
?POLICY ?LOC))
(
or
(
containsInformation
?POLICY
(
modalAttribute
(
exists
(?PET1)
(
and
(
instance
?PET1
DomesticAnimal
)
(
located
?PET1 ?LOC)))
Permission
))
(
containsInformation
?POLICY
(
modalAttribute
(
exists
(?PET2)
(
and
(
instance
?PET2
DomesticAnimal
)
(
located
?PET2 ?LOC)))
Prohibition
))))
Hotel.kif 2512-2528
Policy
è un'
istanza
di
PetPolicy
policyLocationCoverage
Policy
and
Oggetto
Policy
contiene
s informazione l'affermazione
Entit�
Entit�
è un'
istanza
di
DomesticAnimal
Entit�
è
localizzato
in
Oggetto
ha il modello di forza di
Permission
Policy
contiene
s informazione l'affermazione
Entit�
Entit�
è un'
istanza
di
DomesticAnimal
Entit�
è
localizzato
in
Oggetto
ha il modello di forza di
Prohibition
(=>
(
and
(
instance
?POLICY
SmokingPolicy
)
(
policyLocationCoverage
?POLICY ?LOC))
(
or
(
containsInformation
?POLICY
(
modalAttribute
(
exists
(?SMOKE1)
(
and
(
instance
?SMOKE1
Smoking
)
(
located
?SMOKE1 ?LOC)))
Permission
))
(
containsInformation
?POLICY
(
modalAttribute
(
exists
(?SMOKE2)
(
and
(
instance
?SMOKE2
Smoking
)
(
located
?SMOKE2 ?LOC)))
Prohibition
))))
Hotel.kif 2489-2505
Policy
è un'
istanza
di
SmokingPolicy
policyLocationCoverage
Policy
and
Oggetto
Policy
contiene
s informazione l'affermazione
Entit�
Entit�
è un'
istanza
di
Smoking
Entit�
è
localizzato
in
Oggetto
ha il modello di forza di
Permission
Policy
contiene
s informazione l'affermazione
Entit�
Entit�
è un'
istanza
di
Smoking
Entit�
è
localizzato
in
Oggetto
ha il modello di forza di
Prohibition
(=>
(
and
(
instance
?PROP
Proposition
)
(
instance
?TEXT
(
DocumentFn
?PROP)))
(
exists
(?DOC)
(
containsInformation
?DOC ?TEXT)))
Geography.kif 3018-3023
Proposizione
è un'
istanza
di
Proposizione
Proposizione
è un'
istanza
di
DocumentFn
Proposizione
ContentBearingPhysical
ContentBearingPhysical
contiene
s informazione
Proposizione
(=>
(
and
(
instance
?S
LegalSummons
)
(
patient
?S ?O)
(
destination
?S ?P))
(
exists
(?C ?T)
(
and
(
instance
?C
CourtRoom
)
(
containsInformation
?O
(
modalAttribute
(
holdsDuring
?T
(
located
?P ?C))
Law
)))))
Mid-level-ontology.kif 16254-16266
Processo
è un'
istanza
di
LegalSummons
ContentBearingPhysical
è un
paziente
di
Processo
Processo
fine
s in
Entit�
Entit�
Entit�
Entit�
è un'
istanza
di
CourtRoom
ContentBearingPhysical
contiene
s informazione l'affermazione
Entit�
è
localizzato
in
Entit�
vales
durante
Entit�
ha il modello di forza di
Law
(=>
(
and
(
instance
?X
Photocopier
)
(
instrument
?COPY ?X)
(
instance
?COPY
Photocopying
)
(
patient
?COPY ?OBJ1)
(
instance
?OBJ1
TwoDimensionalObject
)
(
instance
?OBJ1
VisualContentBearingObject
)
(
containsInformation
?OBJ1 ?INFO))
(
exists
(?OBJ2 ?SHEET)
(
and
(
result
?COPY ?OBJ2)
(
instance
?OBJ2
TwoDimensionalObject
)
(
instance
?OBJ2
VisualContentBearingObject
)
(
containsInformation
?OBJ2 ?INFO)
(
located
?OBJ2 ?SHEET)
(
instance
?SHEET
PrintedSheet
))))
Mid-level-ontology.kif 26332-26348
Oggetto
è un'
istanza
di
Photocopier
Oggetto
è uno
strumento
per
Processo
Processo
è un'
istanza
di
Photocopying
ContentBearingPhysical
è un
paziente
di
Processo
ContentBearingPhysical
è un'
istanza
di
TwoDimensionalObject
ContentBearingPhysical
è un'
istanza
di
VisualContentBearingObject
ContentBearingPhysical
contiene
s informazione
Proposizione
ContentBearingPhysical
Oggetto
ContentBearingPhysical
è un
risultato
di
Processo
ContentBearingPhysical
è un'
istanza
di
TwoDimensionalObject
ContentBearingPhysical
è un'
istanza
di
VisualContentBearingObject
ContentBearingPhysical
contiene
s informazione
Proposizione
ContentBearingPhysical
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
PrintedSheet
(=>
(
and
(
subsumesContentInstance
?OBJ1 ?OBJ2)
(
containsInformation
?OBJ2 ?INFO))
(
containsInformation
?OBJ1 ?INFO))
Merge.kif 4590-4594
ContentBearingPhysical
sussume
il contenuto di
ContentBearingPhysical
ContentBearingPhysical
contiene
s informazione
Proposizione
ContentBearingPhysical
contiene
s informazione
Proposizione
(=>
(
dateOfStatement
?Statement ?Date)
(
exists
(?Copy)
(
and
(
containsInformation
?Copy ?Statement)
(
date
?Copy ?Date))))
FinancialOntology.kif 4031-4036
dateOfStatement
BankStatement
and
Giorno
ContentBearingPhysical
ContentBearingPhysical
contiene
s informazione
BankStatement
data
di
ContentBearingPhysical
è
Giorno
(=>
(
finalExperimentReport
?CBP ?EXPERIMENT)
(
exists
(?RESULT)
(
and
(
result
?EXPERIMENT ?RESULT)
(
containsInformation
?CBP ?RESULT))))
UXExperimentalTerms.kif 2702-2707
finalExperimentReport
ContentBearingPhysical
and
Experimenting
Proposizione
Proposizione
è un
risultato
di
Experimenting
ContentBearingPhysical
contiene
s informazione
Proposizione
(=>
(
instance
?ACTION
CriminalAction
)
(
exists
(?LAW ?CONTENT ?CRIME)
(
and
(
modalAttribute
?LAW
Law
)
(
containsInformation
?LAW ?CONTENT)
(
realization
?ACTION ?CRIME)
(
not
(
consistent
?CONTENT ?CRIME)))))
Mid-level-ontology.kif 13889-13896
Processo
è un'
istanza
di
CriminalAction
Formula
Proposizione
and
Proposizione
l'affermazione
Formula
ha il modello di forza di
Law
Formula
contiene
s informazione
Proposizione
Processo
esprime
il contenuto di
Proposizione
consistent
Proposizione
and
Proposizione
(=>
(
instance
?ARGUE
Arguing
)
(
exists
(?STATEMENT ?ARGUMENT)
(
and
(
patient
?ARGUE ?STATEMENT)
(
instance
?STATEMENT
Statement
)
(
containsInformation
?STATEMENT ?ARGUMENT)
(
instance
?ARGUMENT
Argument
))))
Mid-level-ontology.kif 902-909
Processo
è un'
istanza
di
Arguing
ContentBearingPhysical
Proposizione
ContentBearingPhysical
è un
paziente
di
Processo
ContentBearingPhysical
è un'
istanza
di
Statement
ContentBearingPhysical
contiene
s informazione
Proposizione
Proposizione
è un'
istanza
di
Argument
(=>
(
instance
?BEST_OFFER
BestOffering
)
(
and
(
containsInformation
?BEST_OFFER
(
exists
(?BUYING ?AGENT ?OBJECT ?MONEY1 ?U)
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?AGENT)
(
patient
?BUYING ?OBJECT)
(
transactionAmount
?BUYING
(
MeasureFn
?MONEY1 ?U)))))
(
not
(
exists
(?OFFER2)
(
containsInformation
?OFFER2
(
exists
(?BUYING2 ?AGENT2 ?MONEY2)
(
and
(
instance
?BUYING2
Buying
)
(
agent
?BUYING2 ?AGENT2)
(
patient
?BUYING2 ?OBJECT)
(
transactionAmount
?BUYING2
(
MeasureFn
?MONEY2 ?U))
(
greaterThan
?MONEY2 ?MONEY1))))))))
UXExperimentalTerms.kif 1654-1675
Entit�
_OFFER è un'
istanza
di
BestOffering
Entit�
_OFFER
contiene
s informazione
Entit�
Entit�
,
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Acquistare
Entit�
è un
agente
di
Entit�
Entit�
è un
paziente
di
Entit�
transactionAmount
Entit�
and
Entit�
Entit�
(s
ContentBearingPhysical
ContentBearingPhysical
contiene
s informazione
Entit�
2
Entit�
2 and
Entit�
Entit�
2 è un'
istanza
di
Acquistare
Entit�
2 è un
agente
di
Entit�
2
Entit�
è un
paziente
di
Entit�
2
transactionAmount
Entit�
2 and
Entit�
Entit�
(s
Entit�
è
pi
ù grande di
Entit�
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
decreasesLikelihood
(
exists
(?X ?CUT ?PAPER ?CBO ?INFO)
(
and
(
instance
?X
PaperShredder
)
(
instance
?CUT
Cutting
)
(
instrument
?CUT ?X)
(
instance
?PAPER
Paper
)
(
patient
?CUT ?PAPER)
(
located
?CBO ?PAPER)
(
instance
?CBO
VisualContentBearingObject
)
(
containsInformation
?CBO ?INFO)))
(
exists
(?READ)
(
and
(
instance
?READ
Interpreting
)
(
patient
?READ ?INFO)
(
earlier
(
WhenFn
?CUT)
(
WhenFn
?READ)))))
Mid-level-ontology.kif 18229-18246
decreasesLikelihood
?X ?CUT, ?PAPER, ?CBO and ?INFO ?X è un'
istanza
di
PaperShredder
?CUT è un'
istanza
di
Tagliare
?X è uno
strumento
per ?CUT ?PAPER è un'
istanza
di
Paper
?PAPER è un
paziente
di ?CUT ?CBO è
localizzato
in ?PAPER ?CBO è un'
istanza
di
VisualContentBearingObject
?CBO
contiene
s informazione ?INFO and ?READ ?READ è un'
istanza
di
Interpreting
?INFO è un
paziente
di ?READ il
tempo
di esistenza di ?CUT accades
prima
di il
tempo
di esistenza di ?READ
appearance as argument number 0
(
containsInformation
(
forall
(?AGENT ?VOTER ?ELECTION ?VOTING)
(=>
(
and
(
instance
?ELECTION
(
ElectionFn
?AGENT))
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?VOTER))
(
attribute
?VOTER
Male
)))
ExclusiveMaleSuffrage
)
Government.kif 1205-1212
?AGENT ?VOTER, ?ELECTION and ?VOTING
?ELECTION è un'
istanza
di
ElectionFn
?AGENT ?VOTING è un'
istanza
di
VotingFn
?ELECTION ?VOTING è un
agente
di ?VOTER
attribute
?VOTER and
Male
contiene
s informazione
ExclusiveMaleSuffrage
(
containsInformation
(
forall
(?COUNTRY ?ELECTION ?VOTING ?VOTER)
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
instance
?ELECTION
(
ElectionFn
?COUNTRY))
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?VOTER))
(
citizen
?VOTER ?COUNTRY)))
VoterCitizenshipRequirement
)
Government.kif 887-895
?COUNTRY ?ELECTION, ?VOTING and ?VOTER
?COUNTRY è un'
istanza
di
Nazione
?ELECTION è un'
istanza
di
ElectionFn
?COUNTRY ?VOTING è un'
istanza
di
VotingFn
?ELECTION ?VOTING è un
agente
di ?VOTER
?VOTER è un
cittadino
di ?COUNTRY
contiene
s informazione
VoterCitizenshipRequirement
(
containsInformation
(
forall
(?POLITY ?AGENT ?ELECTION ?VOTINGAGE ?AGE)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT)))
UniversalSuffrageLaw
)
Government.kif 1056-1067
?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE
?AGENT è un
cittadino
di ?POLITY
suffrageAgeMinimum
?POLITY and ?VOTINGAGE
YearDuration
(s il
et
à di ?AGENT è ?AGE
YearDuration
(s ?AGE è
pi
ù grande di o uguale a ?VOTINGAGE ?ELECTION è un'
istanza
di
ElectionFn
?POLITY
?AGENT è
capace
di fare
VotingFn
?ELECTION nel ruolo
agent
contiene
s informazione
UniversalSuffrageLaw
(
containsInformation
(
forall
(?POLITY ?VOTER ?ELECTION ?VOTINGAGE ?AGE)
(=>
(
and
(
citizen
?VOTER ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?VOTER
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?VOTER)))))
CompulsorySuffrageLaw
)
Government.kif 1124-1138
?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE
?VOTER è un
cittadino
di ?POLITY
suffrageAgeMinimum
?POLITY and ?VOTINGAGE
YearDuration
(s il
et
à di ?VOTER è ?AGE
YearDuration
(s ?AGE è
pi
ù grande di o uguale a ?VOTINGAGE ?ELECTION è un'
istanza
di
ElectionFn
?POLITY
?VOTING ?VOTING è un'
istanza
di
VotingFn
?ELECTION ?VOTING è un
agente
di ?VOTER
contiene
s informazione
CompulsorySuffrageLaw
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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