TreeView Knowledge Base Browser - ContentBearingObject

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1641-1643
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1331-1334
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 225-228
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 267-270
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 1328-1328	Objeto Representendo Conteudo Abstrato e' uma sub-classe de ContentBearingPhysical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1327-1327	Objeto Representendo Conteudo Abstrato e' uma sub-classe de Objeto Corpuscular

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15510-15510	Os valores retornados por EditionFn sao as sub-classes de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4540-4540	Account e' uma sub-classe de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2261-2261	Compass e' uma sub-classe de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.	Government.kif 682-682	ConstitutionDocument e' uma sub-classe de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24526-24526	Descriptor e' uma sub-classe de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24543-24543	DescriptorPart e' uma sub-classe de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26386-26386	Document e' uma sub-classe de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 672-672	Feedback e' uma sub-classe de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14867-14867	HolidayCard e' uma sub-classe de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.	engineering.kif 381-381	MultipoleDiagram e' uma sub-classe de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17125-17125	PlayingCard e' uma sub-classe de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 554-554	ProcessState e' uma sub-classe de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1386-1386	Recording e' uma sub-classe de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14407-14407	SheetMusic e' uma sub-classe de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1106-1106	ShipRegister e' uma sub-classe de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1087-1087	ShipRegistration e' uma sub-classe de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17119-17119	Sign e' uma sub-classe de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15360-15360	Texto e' uma sub-classe de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1674-1674	UniformResourceIdentifier e' uma sub-classe de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2035-2035	UserAccount e' uma sub-classe de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26211-26211	VisualContentBearingObject e' uma sub-classe de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1363-1363	WebDocument e' uma sub-classe de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 833-833
No TPTP formula. May not be expressible in strict first order.	english_format.kif 868-868

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3499-3499	O argumento numero 1 de cardCode e' uma instancia de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2200-2200	O argumento numero 1 de coding e' uma instancia de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23321-23321	O argumento numero 1 de deceptiveIdentifier e' uma instancia de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22717-22717	O argumento numero 1 de inventory e' uma instancia de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14333-14333	O argumento numero 1 de record e' uma instancia de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14359-14359	O argumento numero 1 de stored e' uma instancia de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15508-15508	O argumento numero 1 de EditionFn e' uma sub-classe de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15457-15457	O argumento numero 2 de authors e' uma sub-classe de Objeto Representendo Conteudo Abstrato

antecedent

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.	Merge.kif 10840-10848	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.	Merge.kif 10863-10870	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.	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 16802-16810	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.	Dining.kif 244-253	Objeto e' uma instancia de Objeto Representendo Conteudo Abstrato Braille e' um atributo de Objeto Objeto Objeto e' uma instancia de Humano Blind e' um atributo de Objeto Objeto e' capaz de fazer Interpreting no role agent Objeto e' capaz de fazer Interpreting no role patient

consequent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 240-242	Braille e' um atributo de Objeto Objeto e' uma instancia de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3356-3366	Fisico e' uma instancia de DisplayArtifact Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Colocar Entidade e' uma instancia de Disseminar Entidade e' uma instancia de Objeto Representendo Conteudo Abstrato Entidade e' um patient de Entidade Entidade e' um patient de Entidade Entidade termina em Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12675-12680	Processo e' uma instancia de Desenvolvimento de Conteudo Entidade Entidade e' uma instancia de Objeto Representendo Conteudo Abstrato Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4608-4613	Processo exprime o conteudo de Proposicao ContentBearingPhysical ContentBearingPhysical e' uma instancia de Objeto Representendo Conteudo Abstrato ContentBearingPhysical contem informacao Proposicao

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

KB Term:			Term intersection

English Word: