ContentDevelopment - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3199-3200
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12694-12695
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10736-10736
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10733-10733
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10732-10732
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10731-10731
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10734-10734
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10735-10735
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9957-9957
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10730-10730
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12693-12693	Desenvolvimento de Conteudo e' uma sub-classe de Processo Intencional

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13059-13059	Communicacao e' relacionado internamente por SUMO a Desenvolvimento de Conteudo
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4535-4535	AccountCreationRejected e' uma sub-classe de Desenvolvimento de Conteudo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3240-3240	ArtPainting e' uma sub-classe de Desenvolvimento de Conteudo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3320-3320	ComposingMusic e' uma sub-classe de Desenvolvimento de Conteudo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16809-16809	ComputerProgramming e' uma sub-classe de Desenvolvimento de Conteudo
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4317-4317	DataEntry e' uma sub-classe de Desenvolvimento de Conteudo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10873-10873	Designing e' uma sub-classe de Desenvolvimento de Conteudo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3332-3332	Drawing e' uma sub-classe de Desenvolvimento de Conteudo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3557-3557	EnteringAPin e' uma sub-classe de Desenvolvimento de Conteudo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20662-20662	FilmMaking e' uma sub-classe de Desenvolvimento de Conteudo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13299-13299	Photographing e' uma sub-classe de Desenvolvimento de Conteudo
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2846-2846	Posting e' uma sub-classe de Desenvolvimento de Conteudo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12868-12868	Publicacao e' uma sub-classe de Desenvolvimento de Conteudo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12704-12704	Ler e' uma sub-classe de Desenvolvimento de Conteudo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3275-3275	Sculpting e' uma sub-classe de Desenvolvimento de Conteudo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3309-3309	Tracing e' uma sub-classe de Desenvolvimento de Conteudo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12752-12752	Translating e' uma sub-classe de Desenvolvimento de Conteudo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4153-4153	Update e' uma sub-classe de Desenvolvimento de Conteudo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12719-12719	Escrever e' uma sub-classe de Desenvolvimento de Conteudo
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1177-1177
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1571-1571
No TPTP formula. May not be expressible in strict first order.	french_format.kif 855-855
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 387-387
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 390-390

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.

Merge.kif 12697-12702

Processo e' uma instancia de Desenvolvimento de Conteudo
Entidade Entidade e' uma instancia de Objeto Representendo Conteudo Abstrato Entidade e' o resultado de Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18920-18926	Atributo e' uma instancia de EntertainmentProfession Atributo e' um atributo de Humano occupation Humano and OccupationFn Performance occupation Humano and OccupationFn Desenvolvimento de Conteudo
No TPTP formula. May not be expressible in strict first order.	Media.kif 768-788	Entidade e' uma instancia de ReadOnlyMemoryDataStorage Processo e' uma instancia de Manufatura Entidade e' o resultado de Processo o argumento Entidade Entidade and Entidade Entidade e' uma instancia de Desenvolvimento de Conteudo Entidade e' uma instancia de DeletingData tempo de existencia de Processo acontence antes de tempo de existencia de Entidade Entidade e' um patient de Entidade Entidade e' um patient de Entidade stored Entidade and Entidade vale durante imediatemente apos tempo de existencia de Entidade nao %n a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18954-18958	Journalist e' um atributo de Humano occupation Humano and OccupationFn Desenvolvimento de Conteudo occupation Humano and OccupationFn Disseminar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21182-21191	hasExpertise Humano and Architecture Processo Entidade and Entidade Processo e' uma instancia de Desenvolvimento de Conteudo Processo e' um agente de Humano Entidade e' o resultado de Processo Entidade e' uma instancia de Blueprint Entidade define Entidade Entidade e' uma instancia de Predio
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14522-14532	Entidade e' uma instancia de Announcement Processo Fisico Processo e' uma instancia de Desenvolvimento de Conteudo Entidade e' o resultado de Processo Entidade inclui uma referencia a Fisico Fisico e' uma instancia de Interacao Social tempo de existencia de Processo acontence antes de tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Media.kif 741-763	Entidade e' uma instancia de RewritableDataStorage o argumento Entidade Entidade Entidade e' uma instancia de Escrever Entidade e' um patient de Entidade Entidade e' um patient de Entidade stored Entidade and Entidade vale durante imediatemente apos tempo de existencia de Entidade tem a forca modal de Possibility o argumento Entidade Entidade stored Entidade and Entidade Entidade e' uma instancia de Desenvolvimento de Conteudo Entidade e' uma instancia de DeletingData Entidade e' igual a Entidade Entidade e' um patient de Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Media.kif 713-736	Entidade e' uma instancia de WriteOnceDataStorage o argumento Entidade Entidade Entidade e' uma instancia de Escrever Entidade e' um patient de Entidade Entidade e' um patient de Entidade stored Entidade and Entidade vale durante imediatemente apos tempo de existencia de Entidade tem a forca modal de Possibility o argumento Entidade Entidade stored Entidade and Entidade Entidade e' uma instancia de Desenvolvimento de Conteudo Entidade e' uma instancia de DeletingData Entidade e' igual a Entidade Entidade e' um patient de Entidade nao %n a forca modal de Possibility

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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: