TreeView Knowledge Base Browser - ContentDevelopment

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 12718-12719
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 12717-12717	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 13083-13083	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 3233-3233	ArtPainting e' uma sub-classe de Desenvolvimento de Conteudo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3313-3313	ComposingMusic e' uma sub-classe de Desenvolvimento de Conteudo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16858-16858	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 10885-10885	Designing e' uma sub-classe de Desenvolvimento de Conteudo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3325-3325	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 20690-20690	FilmMaking e' uma sub-classe de Desenvolvimento de Conteudo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13327-13327	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 12892-12892	Publicacao e' uma sub-classe de Desenvolvimento de Conteudo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12728-12728	Ler e' uma sub-classe de Desenvolvimento de Conteudo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3268-3268	Sculpting e' uma sub-classe de Desenvolvimento de Conteudo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3302-3302	Tracing e' uma sub-classe de Desenvolvimento de Conteudo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12776-12776	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 12743-12743	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 12721-12726

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 18948-18954	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 18982-18986	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 21210-21219	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 14550-14560	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 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: