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
O argumento numero 1 de
containsInformation
e' uma
instancia
de
ContentBearingPhysical
(
domain
containsInformation
2
Proposition
)
Merge.kif 1358-1358
O argumento numero 2 de
containsInformation
e' uma
instancia
de
Proposicao
(
instance
containsInformation
AsymmetricRelation
)
Merge.kif 1355-1355
containsInformation
e' uma
instancia
de
Relacao Assimetrica
(
instance
containsInformation
BinaryPredicate
)
Merge.kif 1354-1354
containsInformation
e' uma
instancia
de
Predicado Binario
(
relatedInternalConcept
containsInformation
containsFormula
)
Merge.kif 1369-1369
containsInformation
e'
relacionado
internamente por SUMO a
containsFormula
(
subrelation
containsInformation
represents
)
Merge.kif 1356-1356
containsInformation
e' uma
sub
-relacao de
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
Objeto Representendo Conteudo Abstrato
e'
relacionado
internamente por SUMO a
containsInformation
(
relatedInternalConcept
realization
containsInformation
)
Merge.kif 4600-4600
realization
e'
relacionado
internamente por SUMO a
containsInformation
(
subrelation
accountInformation
containsInformation
)
ComputingBrands.kif 4409-4409
accountInformation
e' uma
sub
-relacao de
containsInformation
(
subrelation
programCopy
containsInformation
)
QoSontology.kif 635-635
programCopy
e' uma
sub
-relacao de
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 26317-26328
Processo
e' uma
instancia
de
Photocopying
ContentBearingPhysical
e' um
patient
de
Processo
ContentBearingPhysical
e' uma
instancia
de
VisualContentBearingObject
ContentBearingPhysical
contem
informacao
Proposicao
ContentBearingPhysical
Proposicao
ContentBearingPhysical
e' o
resultado
de
Processo
ContentBearingPhysical
e' uma
instancia
de
VisualContentBearingObject
ContentBearingPhysical
contem
informacao
Proposicao
Proposicao
e'
igual
a
Proposicao
(=>
(
and
(
agreementEffectiveDuring
?AGR ?DATE)
(
instance
?TIME ?DATE)
(
instance
?FORMULA
Formula
)
(
containsInformation
?FORMULA ?AGR))
(
holdsDuring
?TIME ?FORMULA))
Government.kif 766-772
agreementEffectiveDuring
Proposicao
and
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Posicao Temporal
Formula
e' uma
instancia
de
Formula
Formula
contem
informacao
Proposicao
Formula
vale
durante
Posicao Temporal
(=>
(
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 29627-29641
Intervalo Temporal
e' uma
instancia
de
Confirming
Intervalo Temporal
e' um
agente
de
Agreement
Intervalo Temporal
contem
informacao
Proposicao
Intervalo Temporal
ContentBearingPhysical
and
Agreement
2
Intervalo Temporal
e' uma
instancia
de
Declarar
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
ContentBearingPhysical
e' uma
instancia
de
ReachingAgreement
Intervalo Temporal
e' um
agente
de
Agreement
2
ContentBearingPhysical
contem
informacao
Proposicao
Intervalo Temporal
contem
informacao
Proposicao
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 774-783
Proposicao
e' uma
instancia
de
ConstitutionFn
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Nacao
Governo
e'
igual
a o
governo
de
Area Geopolitica
tempo
de existencia de
Governo
e' uma
instancia
de
Posicao Temporal
agreementEffectiveDuring
Proposicao
and
Posicao Temporal
Proposicao
e' uma &sub-proposicao de
Proposicao
Formula
contem
informacao
Proposicao
Governo
e'
obrigado
a executar tarefas de tipo
Formula
(=>
(
and
(
instance
?DOC
ContractDocument
)
(
containsInformation
?DOC ?PROP)
(
property
?PROP
Contract
))
(
property
?PROP
Law
))
Media.kif 995-1000
ContentBearingPhysical
e' uma
instancia
de
ContractDocument
ContentBearingPhysical
contem
informacao
Proposicao
Proposicao
tem um
atributo
de
Contract
Proposicao
tem um
atributo
de
Law
(=>
(
and
(
instance
?EVENT
OperationPlanning
)
(
result
?EVENT ?CBO)
(
instance
?CBO
ContentBearingObject
)
(
containsInformation
?CBO ?INFO))
(
instance
?INFO
OperationPlan
))
MilitaryProcesses.kif 1527-1533
Processo
e' uma
instancia
de
OperationPlanning
ContentBearingPhysical
e' o
resultado
de
Processo
ContentBearingPhysical
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
ContentBearingPhysical
contem
informacao
Proposicao
Proposicao
e' uma
instancia
de
OperationPlan
(=>
(
and
(
instance
?PLAN
OperationPlan
)
(
containsInformation
?CBO ?PLAN)
(
instance
?CBO
ContentBearingObject
)
(
result
?EVENT ?CBO))
(
instance
?EVENT
OperationPlanning
))
MilitaryProcesses.kif 1535-1541
Proposicao
e' uma
instancia
de
OperationPlan
ContentBearingPhysical
contem
informacao
Proposicao
ContentBearingPhysical
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
ContentBearingPhysical
e' o
resultado
de
Processo
Processo
e' uma
instancia
de
OperationPlanning
(=>
(
and
(
instance
?PLAN
OperationPlan
)
(
instance
?CBO
ContentBearingObject
)
(
containsInformation
?CBO ?PLAN)
(
instance
?OP
MilitaryOperation
)
(
result
?OP ?CBO))
(
represents
?PLAN ?OP))
MilitaryProcesses.kif 1573-1580
Proposicao
e' uma
instancia
de
OperationPlan
ContentBearingPhysical
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
ContentBearingPhysical
contem
informacao
Proposicao
Processo
e' uma
instancia
de
MilitaryOperation
ContentBearingPhysical
e' o
resultado
de
Processo
Proposicao
define
Processo
(=>
(
and
(
instance
?PLAN
Plan
)
(
instance
?OBJ
ContentBearingObject
)
(
containsInformation
?OBJ ?PLAN))
(
exists
(?PLANNING)
(
and
(
instance
?PLANNING
Planning
)
(
result
?PLANNING ?OBJ))))
Merge.kif 16824-16832
Proposicao
e' uma
instancia
de
Plano
ContentBearingPhysical
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
ContentBearingPhysical
contem
informacao
Proposicao
Proposicao
NING
Proposicao
NING e' uma
instancia
de
Planejar
ContentBearingPhysical
e' o
resultado
de
Proposicao
NING
(=>
(
and
(
instance
?PLANNING
JointOperationPlanning
)
(
result
?PLANNING ?CBO)
(
instance
?CBO
ContentBearingObject
)
(
containsInformation
?CBO ?INFO))
(
instance
?INFO
OPLAN
))
MilitaryProcesses.kif 1812-1818
Processo
e' uma
instancia
de
JointOperationPlanning
ContentBearingPhysical
e' o
resultado
de
Processo
ContentBearingPhysical
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
ContentBearingPhysical
contem
informacao
Proposicao
Proposicao
e' uma
instancia
de
OPLAN
(=>
(
and
(
instance
?PROP
Proposition
)
(
instance
?CBO
ContentBearingObject
)
(
containsInformation
?CBO ?PROP)
(
instance
?COMM
Communication
)
(
patient
?COMM ?CBO))
(
represents
?COMM ?PROP))
Geography.kif 3025-3032
Proposicao
e' uma
instancia
de
Proposicao
ContentBearingPhysical
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
ContentBearingPhysical
contem
informacao
Proposicao
Processo
e' uma
instancia
de
Communicacao
ContentBearingPhysical
e' um
patient
de
Processo
Processo
define
Proposicao
(=>
(
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
e' uma
instancia
de
SpeakingAtAFasterRate
Processo
e' uma
instancia
de
SpeakingAtASlowerRate
Unidade de Medida
e' uma
instancia
de
UnitOfDuration
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
Processo
contem
informacao
Proposicao
Processo
contem
informacao
Proposicao
a
duracao
de
tempo
de existencia de
Processo
e'
Numero Real
Unidade de Medida
(s) a
duracao
de
tempo
de existencia de
Processo
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
(=>
(
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 26287-26303
Objeto
e' uma
instancia
de
Photocopier
Objeto
e' um
instrumento
para
Processo
Processo
e' uma
instancia
de
Photocopying
ContentBearingPhysical
e' um
patient
de
Processo
ContentBearingPhysical
e' uma
instancia
de
TwoDimensionalObject
ContentBearingPhysical
e' uma
instancia
de
VisualContentBearingObject
ContentBearingPhysical
contem
informacao
Proposicao
ContentBearingPhysical
Objeto
ContentBearingPhysical
e' o
resultado
de
Processo
ContentBearingPhysical
e' uma
instancia
de
TwoDimensionalObject
ContentBearingPhysical
e' uma
instancia
de
VisualContentBearingObject
ContentBearingPhysical
contem
informacao
Proposicao
ContentBearingPhysical
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
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
Objeto Representendo Conteudo Abstrato
e' uma
sub
-classe de
JointPublication
ContentBearingPhysical
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
ContentBearingPhysical
contem
informacao
Formula
AutonomousAgent
e' o
autor
de
Objeto Representendo Conteudo Abstrato
Organizacao
Organizacao
e' uma parte da organizacao
USMilitary
AutonomousAgent
obriga
Organizacao
a executar tarefas de tipo
Formula
(=>
(
and
(
subsumesContentInstance
?OBJ1 ?OBJ2)
(
containsInformation
?OBJ2 ?INFO))
(
containsInformation
?OBJ1 ?INFO))
Merge.kif 4589-4593
ContentBearingPhysical
subsume
o conteudo de
ContentBearingPhysical
ContentBearingPhysical
contem
informacao
Proposicao
ContentBearingPhysical
contem
informacao
Proposicao
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 26317-26328
Processo
e' uma
instancia
de
Photocopying
ContentBearingPhysical
e' um
patient
de
Processo
ContentBearingPhysical
e' uma
instancia
de
VisualContentBearingObject
ContentBearingPhysical
contem
informacao
Proposicao
ContentBearingPhysical
Proposicao
ContentBearingPhysical
e' o
resultado
de
Processo
ContentBearingPhysical
e' uma
instancia
de
VisualContentBearingObject
ContentBearingPhysical
contem
informacao
Proposicao
Proposicao
e'
igual
a
Proposicao
(=>
(
agreementClause
?PROP ?ATTR ?AGREEMENT ?AGENT)
(
and
(
exists
(?CLAUSE)
(
containsInformation
?CLAUSE ?PROP))
(
partyToAgreement
?AGENT ?AGREEMENT)))
Mid-level-ontology.kif 14071-14076
agreementClause
Proposicao
,
Atributo Deontico
,
Agreement
and
Agente Cognitivo
ContentBearingPhysical
ContentBearingPhysical
contem
informacao
Proposicao
partyToAgreement
Agente Cognitivo
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 1029-1038
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
suffrageAgeMaximum
Area Geopolitica
and
Duracao Temporal
Duracao Temporal
RULE
Duracao Temporal
RULE e' uma
instancia
de
VoterAgeRequirement
Duracao Temporal
RULE e' uma &sub-proposicao de
RegionalLawFn
Area Geopolitica
suffrageAgeMaximum
Area Geopolitica
and
Duracao Temporal
contem
informacao
Duracao Temporal
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 957-966
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
suffrageAgeMinimum
Area Geopolitica
and
Duracao Temporal
Duracao Temporal
RULE
Duracao Temporal
RULE e' uma
instancia
de
VoterAgeRequirement
Duracao Temporal
RULE e' uma &sub-proposicao de
RegionalLawFn
Area Geopolitica
suffrageAgeMinimum
Area Geopolitica
and
Duracao Temporal
contem
informacao
Duracao Temporal
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 16864-16873
Argument
e' uma
instancia
de
ValidDeductiveArgument
Formula
e'
igual
a o argumento da
introducao
de
Argument
o argumento da
conclusao
Formula
e'
Argument
ContentBearingPhysical
ContentBearingPhysical
ContentBearingPhysical
contem
informacao
Formula
ContentBearingPhysical
contem
informacao
Formula
Formula
implica
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 29627-29641
Intervalo Temporal
e' uma
instancia
de
Confirming
Intervalo Temporal
e' um
agente
de
Agreement
Intervalo Temporal
contem
informacao
Proposicao
Intervalo Temporal
ContentBearingPhysical
and
Agreement
2
Intervalo Temporal
e' uma
instancia
de
Declarar
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
ContentBearingPhysical
e' uma
instancia
de
ReachingAgreement
Intervalo Temporal
e' um
agente
de
Agreement
2
ContentBearingPhysical
contem
informacao
Proposicao
Intervalo Temporal
contem
informacao
Proposicao
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 12737-12750
Processo
e' uma
instancia
de
Decodificar
ContentBearingPhysical
e' um
patient
de
Processo
Entidade
ContentBearingPhysical
,
Posicao Temporal
and
Proposicao
ContentBearingPhysical
contem
informacao
Proposicao
ContentBearingPhysical
contem
informacao
Proposicao
Posicao Temporal
e' uma &parte de
antes
de
tempo
de existencia de
Processo
Entidade
e' uma
instancia
de
Codificar
ContentBearingPhysical
e' um
patient
de
Entidade
vale
durante
Posicao Temporal
(=>
(
and
(
instance
?EVENT
Planning
)
(
result
?EVENT ?CBO)
(
instance
?CBO
ContentBearingObject
))
(
exists
(?PLAN)
(
and
(
instance
?PLAN
Plan
)
(
containsInformation
?CBO ?PLAN))))
Merge.kif 10862-10870
Processo
e' uma
instancia
de
Planejar
ContentBearingPhysical
e' o
resultado
de
Processo
ContentBearingPhysical
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
Proposicao
Proposicao
e' uma
instancia
de
Plano
ContentBearingPhysical
contem
informacao
Proposicao
(=>
(
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 6428-6438
Processo
e' uma
instancia
de
Hallucination
AutonomousAgent
experimenta
Processo
AutonomousAgent
ER
AutonomousAgent
ROP
AutonomousAgent
ER e' uma
instancia
de
Percepcao
AutonomousAgent
experimenta
AutonomousAgent
ER
Processo
causa
AutonomousAgent
ER
AutonomousAgent
ER
contem
informacao
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 10885-10892
Processo
e' uma
instancia
de
Interpreting
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
Entidade
AutonomousAgent
acredita
que
Entidade
contem
informacao
Entidade
vale
durante o
fim
de
tempo
de existencia de
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
e' uma
instancia
de
Decodificar
Processo
e' um
agente
de
Agente Cognitivo
Formula
Agente Cognitivo
sabe
Formula
Objeto
Objeto
e' um
instrumento
para
Processo
Objeto
contem
informacao
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
e' uma
instancia
de
Codificar
Processo
e' um
agente
de
Agente Cognitivo
Formula
Agente Cognitivo
sabe
Formula
Objeto
Objeto
e' um
instrumento
para
Processo
Objeto
contem
informacao
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
Proposicao
e' uma
instancia
de
Plano
Fisico
e' uma
instancia
de
Processo
Proposicao
define
Fisico
Proposicao
NING
ContentBearingPhysical
Proposicao
NING e' uma
instancia
de
Planejar
ContentBearingPhysical
e' uma
instancia
de
ContentBearingPhysical
ContentBearingPhysical
contem
informacao
Proposicao
ContentBearingPhysical
e' o
resultado
de
Proposicao
NING o
comeco
de
tempo
de existencia de
Proposicao
NING acontence
antes
de o
comeco
de
tempo
de existencia de
Fisico
o
fim
de
tempo
de existencia de
Proposicao
NING acontence
antes
de o
fim
de
tempo
de existencia de
Fisico
(=>
(
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
e' uma
instancia
de
ChildrenPolicy
policyOwner
Organizacao
and
Policy
policyLocationCoverage
Policy
and
Objeto
Policy
contem
informacao o argumento
Entidade
customer
Entidade
and
Organizacao
Entidade
e' uma
instancia
de
HumanChild
tem a
forca
modal
de
Possibility
Policy
contem
informacao o argumento
Entidade
customer
Entidade
and
Organizacao
Entidade
e' uma
instancia
de
HumanChild
nao %n a
forca
modal
de
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
e' uma
instancia
de
PetPolicy
policyLocationCoverage
Policy
and
Objeto
Policy
contem
informacao o argumento
Entidade
Entidade
e' uma
instancia
de
DomesticAnimal
Entidade
e'
situado
em
Objeto
tem a
forca
modal
de
Permission
Policy
contem
informacao o argumento
Entidade
Entidade
e' uma
instancia
de
DomesticAnimal
Entidade
e'
situado
em
Objeto
tem a
forca
modal
de
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
e' uma
instancia
de
SmokingPolicy
policyLocationCoverage
Policy
and
Objeto
Policy
contem
informacao o argumento
Entidade
Entidade
e' uma
instancia
de
Smoking
Entidade
e'
situado
em
Objeto
tem a
forca
modal
de
Permission
Policy
contem
informacao o argumento
Entidade
Entidade
e' uma
instancia
de
Smoking
Entidade
e'
situado
em
Objeto
tem a
forca
modal
de
Prohibition
(=>
(
and
(
instance
?PROP
Proposition
)
(
instance
?TEXT
(
DocumentFn
?PROP)))
(
exists
(?DOC)
(
containsInformation
?DOC ?TEXT)))
Geography.kif 3018-3023
Proposicao
e' uma
instancia
de
Proposicao
Proposicao
e' uma
instancia
de
DocumentFn
Proposicao
ContentBearingPhysical
ContentBearingPhysical
contem
informacao
Proposicao
(=>
(
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 16226-16238
Processo
e' uma
instancia
de
LegalSummons
ContentBearingPhysical
e' um
patient
de
Processo
Processo
termina
em
Entidade
Entidade
Entidade
Entidade
e' uma
instancia
de
CourtRoom
ContentBearingPhysical
contem
informacao o argumento
Entidade
e'
situado
em
Entidade
vale
durante
Entidade
tem a
forca
modal
de
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 26287-26303
Objeto
e' uma
instancia
de
Photocopier
Objeto
e' um
instrumento
para
Processo
Processo
e' uma
instancia
de
Photocopying
ContentBearingPhysical
e' um
patient
de
Processo
ContentBearingPhysical
e' uma
instancia
de
TwoDimensionalObject
ContentBearingPhysical
e' uma
instancia
de
VisualContentBearingObject
ContentBearingPhysical
contem
informacao
Proposicao
ContentBearingPhysical
Objeto
ContentBearingPhysical
e' o
resultado
de
Processo
ContentBearingPhysical
e' uma
instancia
de
TwoDimensionalObject
ContentBearingPhysical
e' uma
instancia
de
VisualContentBearingObject
ContentBearingPhysical
contem
informacao
Proposicao
ContentBearingPhysical
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
PrintedSheet
(=>
(
and
(
subsumesContentInstance
?OBJ1 ?OBJ2)
(
containsInformation
?OBJ2 ?INFO))
(
containsInformation
?OBJ1 ?INFO))
Merge.kif 4589-4593
ContentBearingPhysical
subsume
o conteudo de
ContentBearingPhysical
ContentBearingPhysical
contem
informacao
Proposicao
ContentBearingPhysical
contem
informacao
Proposicao
(=>
(
dateOfStatement
?Statement ?Date)
(
exists
(?Copy)
(
and
(
containsInformation
?Copy ?Statement)
(
date
?Copy ?Date))))
FinancialOntology.kif 4031-4036
dateOfStatement
BankStatement
and
Dia
ContentBearingPhysical
ContentBearingPhysical
contem
informacao
BankStatement
a
data
de
ContentBearingPhysical
e'
Dia
(=>
(
finalExperimentReport
?CBP ?EXPERIMENT)
(
exists
(?RESULT)
(
and
(
result
?EXPERIMENT ?RESULT)
(
containsInformation
?CBP ?RESULT))))
UXExperimentalTerms.kif 2702-2707
finalExperimentReport
ContentBearingPhysical
and
Experimenting
Proposicao
Proposicao
e' o
resultado
de
Experimenting
ContentBearingPhysical
contem
informacao
Proposicao
(=>
(
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 13861-13868
Processo
e' uma
instancia
de
CriminalAction
Formula
Proposicao
and
Proposicao
o argumento
Formula
tem a
forca
modal
de
Law
Formula
contem
informacao
Proposicao
Processo
exprime
o conteudo de
Proposicao
consistent
Proposicao
and
Proposicao
(=>
(
instance
?ARGUE
Arguing
)
(
exists
(?STATEMENT ?ARGUMENT)
(
and
(
patient
?ARGUE ?STATEMENT)
(
instance
?STATEMENT
Statement
)
(
containsInformation
?STATEMENT ?ARGUMENT)
(
instance
?ARGUMENT
Argument
))))
Mid-level-ontology.kif 909-916
Processo
e' uma
instancia
de
Arguing
ContentBearingPhysical
Proposicao
ContentBearingPhysical
e' um
patient
de
Processo
ContentBearingPhysical
e' uma
instancia
de
Statement
ContentBearingPhysical
contem
informacao
Proposicao
Proposicao
e' uma
instancia
de
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
Entidade
_OFFER e' uma
instancia
de
BestOffering
Entidade
_OFFER
contem
informacao
Entidade
Entidade
,
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Comprar
Entidade
e' um
agente
de
Entidade
Entidade
e' um
patient
de
Entidade
transactionAmount
Entidade
and
Entidade
Entidade
(s)
ContentBearingPhysical
ContentBearingPhysical
contem
informacao
Entidade
2
Entidade
2 and
Entidade
Entidade
2 e' uma
instancia
de
Comprar
Entidade
2 e' um
agente
de
Entidade
2
Entidade
e' um
patient
de
Entidade
2
transactionAmount
Entidade
2 and
Entidade
Entidade
(s)
Entidade
e'
maior
que
Entidade
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 18201-18218
?X ?CUT, ?PAPER, ?CBO and ?INFO ?X e' uma
instancia
de
PaperShredder
?CUT e' uma
instancia
de
Cortar
?X e' um
instrumento
para ?CUT ?PAPER e' uma
instancia
de
Paper
?PAPER e' um
patient
de ?CUT ?CBO e'
situado
em ?PAPER ?CBO e' uma
instancia
de
VisualContentBearingObject
?CBO
contem
informacao ?INFO
diminui
a probabilidade de ?READ ?READ e' uma
instancia
de
Interpreting
?INFO e' um
patient
de ?READ
tempo
de existencia de ?CUT acontence
antes
de
tempo
de existencia de ?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 1241-1248
?AGENT ?VOTER, ?ELECTION and ?VOTING
?ELECTION e' uma
instancia
de
ElectionFn
?AGENT ?VOTING e' uma
instancia
de
VotingFn
?ELECTION ?VOTING e' um
agente
de ?VOTER
Male
e' um
atributo
de ?VOTER
contem
informacao
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 923-931
?COUNTRY ?ELECTION, ?VOTING and ?VOTER
?COUNTRY e' uma
instancia
de
Nacao
?ELECTION e' uma
instancia
de
ElectionFn
?COUNTRY ?VOTING e' uma
instancia
de
VotingFn
?ELECTION ?VOTING e' um
agente
de ?VOTER
?VOTER e' um
cidadao
de ?COUNTRY
contem
informacao
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 1092-1103
?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE
?AGENT e' um
cidadao
de ?POLITY
suffrageAgeMinimum
?POLITY and ?VOTINGAGE
YearDuration
(s) a
idade
de ?AGENT e' ?AGE
YearDuration
(s) ?AGE e'
maior
ou igual a ?VOTINGAGE ?ELECTION e' uma
instancia
de
ElectionFn
?POLITY
?AGENT e'
capaz
de fazer
VotingFn
?ELECTION no role
agent
contem
informacao
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 1160-1174
?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE
?VOTER e' um
cidadao
de ?POLITY
suffrageAgeMinimum
?POLITY and ?VOTINGAGE
YearDuration
(s) a
idade
de ?VOTER e' ?AGE
YearDuration
(s) ?AGE e'
maior
ou igual a ?VOTINGAGE ?ELECTION e' uma
instancia
de
ElectionFn
?POLITY
?VOTING ?VOTING e' uma
instancia
de
VotingFn
?ELECTION ?VOTING e' um
agente
de ?VOTER
contem
informacao
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