TreeView Knowledge Base Browser - containsInformation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1648-1650
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1360-1364
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 234-236
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 276-279
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1357-1357	O argumento numero 1 de containsInformation e' uma instancia de ContentBearingPhysical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1358-1358	O argumento numero 2 de containsInformation e' uma instancia de Proposicao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1355-1355	containsInformation e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1354-1354	containsInformation e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1369-1369	containsInformation e' relacionado internamente por SUMO a containsFormula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1356-1356	containsInformation e' uma sub-relacao de represents

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 81-81
No TPTP formula. May not be expressible in strict first order.	english_format.kif 81-81
No TPTP formula. May not be expressible in strict first order.	french_format.kif 65-65
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 57-57
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1889-1889
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 17-17
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 91-91
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 71-71
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 92-92
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 98-98
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 84-84
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 64-64
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 130-130
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1329-1329	Objeto Representendo Conteudo Abstrato e' relacionado internamente por SUMO a containsInformation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4600-4600	realization e' relacionado internamente por SUMO a containsInformation
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4409-4409	accountInformation e' uma sub-relacao de containsInformation
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 635-635	programCopy e' uma sub-relacao de containsInformation
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 82-82
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16937-16937
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16936-16936
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 25-25

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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 Agreement2 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 Agreement2 ContentBearingPhysical contem informacao Proposicao Intervalo Temporal contem informacao Proposicao partyToAgreement ContentBearingPhysical and Agreement partyToAgreement ContentBearingPhysical and Agreement2
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16824-16832	Proposicao e' uma instancia de Plano ContentBearingPhysical e' uma instancia de Objeto Representendo Conteudo Abstrato ContentBearingPhysical contem informacao Proposicao ProposicaoNING ProposicaoNING e' uma instancia de Planejar ContentBearingPhysical e' o resultado de ProposicaoNING
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4589-4593	ContentBearingPhysical subsume o conteudo de ContentBearingPhysical ContentBearingPhysical contem informacao Proposicao ContentBearingPhysical contem informacao Proposicao

consequent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14071-14076	agreementClause Proposicao, Atributo Deontico, Agreement and Agente Cognitivo ContentBearingPhysical ContentBearingPhysical contem informacao Proposicao partyToAgreement Agente Cognitivo and Agreement
No TPTP formula. May not be expressible in strict first order.	Government.kif 1029-1038	Area Geopolitica e' uma instancia de Area Geopolitica suffrageAgeMaximum Area Geopolitica and Duracao Temporal Duracao TemporalRULE Duracao TemporalRULE e' uma instancia de VoterAgeRequirement Duracao TemporalRULE e' uma &sub-proposicao de RegionalLawFn Area Geopolitica suffrageAgeMaximum Area Geopolitica and Duracao Temporal contem informacao Duracao TemporalRULE
No TPTP formula. May not be expressible in strict first order.	Government.kif 957-966	Area Geopolitica e' uma instancia de Area Geopolitica suffrageAgeMinimum Area Geopolitica and Duracao Temporal Duracao TemporalRULE Duracao TemporalRULE e' uma instancia de VoterAgeRequirement Duracao TemporalRULE e' uma &sub-proposicao de RegionalLawFn Area Geopolitica suffrageAgeMinimum Area Geopolitica and Duracao Temporal contem informacao Duracao TemporalRULE
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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 Agreement2 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 Agreement2 ContentBearingPhysical contem informacao Proposicao Intervalo Temporal contem informacao Proposicao partyToAgreement ContentBearingPhysical and Agreement partyToAgreement ContentBearingPhysical and Agreement2
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6428-6438	Processo e' uma instancia de Hallucination AutonomousAgent experimenta Processo AutonomousAgentER AutonomousAgentROP AutonomousAgentER e' uma instancia de Percepcao AutonomousAgent experimenta AutonomousAgentER Processo causa AutonomousAgentER AutonomousAgentER contem informacao AutonomousAgentROP truth AutonomousAgentROP and False
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Military.kif 32-44	Proposicao e' uma instancia de Plano Fisico e' uma instancia de Processo Proposicao define Fisico ProposicaoNING ContentBearingPhysical ProposicaoNING e' uma instancia de Planejar ContentBearingPhysical e' uma instancia de ContentBearingPhysical ContentBearingPhysical contem informacao Proposicao ContentBearingPhysical e' o resultado de ProposicaoNING o comeco de tempo de existencia de ProposicaoNING acontence antes de o comeco de tempo de existencia de Fisico o fim de tempo de existencia de ProposicaoNING acontence antes de o fim de tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3018-3023	Proposicao e' uma instancia de Proposicao Proposicao e' uma instancia de DocumentFn Proposicao ContentBearingPhysical ContentBearingPhysical contem informacao Proposicao
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4589-4593	ContentBearingPhysical subsume o conteudo de ContentBearingPhysical ContentBearingPhysical contem informacao Proposicao ContentBearingPhysical contem informacao Proposicao
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4031-4036	dateOfStatement BankStatement and Dia ContentBearingPhysical ContentBearingPhysical contem informacao BankStatement a data de ContentBearingPhysical e' Dia
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2702-2707	finalExperimentReport ContentBearingPhysical and Experimenting Proposicao Proposicao e' o resultado de Experimenting ContentBearingPhysical contem informacao Proposicao
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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 Entidade2 Entidade2 and Entidade Entidade2 e' uma instancia de Comprar Entidade2 e' um agente de Entidade2 Entidade e' um patient de Entidade2 transactionAmount Entidade2 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

No TPTP formula. May not be expressible in strict first order.

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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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)

KB Term:			Term intersection

English Word: