TreeView Knowledge Base Browser - Publication

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Publication

Publication(Publicacao)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3222-3223
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12893-12895
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 12891-12891	Publicacao e' uma sub-classe de Manufatura

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1188-1188
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1593-1593
No TPTP formula. May not be expressible in strict first order.	french_format.kif 866-866
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 398-398
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 401-401
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2550-2550
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 818-818
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 403-403
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 437-437
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 887-887
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 402-402

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15561-15578	Edicao Inteiro positivo de Objeto Representendo Conteudo Abstrato e' igual a Objeto Representendo Conteudo Abstrato edicao Inteiro positivo de Objeto Representendo Conteudo Abstrato e' igual a Objeto Representendo Conteudo Abstrato Inteiro positivo e' maior que Inteiro positivo Processo e' uma instancia de Publicacao Processo e' uma instancia de Publicacao Entidade e' uma instancia de Objeto Representendo Conteudo Abstrato Entidade e' uma instancia de Objeto Representendo Conteudo Abstrato Entidade e' um patient de Processo Entidade e' um patient de Processo a data de Processo e' Dia a data de Processo e' Dia o fim de Dia comeca antes de o fim de Dia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14651-14665	Serie e' uma sub-classe de Periodico o volume Inteiro positivo na serie Serie e' igual a Texto o volume Inteiro positivo na serie Serie e' igual a Texto Inteiro positivo e' maior que Inteiro positivo Processo e' uma instancia de Publicacao Processo e' uma instancia de Publicacao Entidade e' uma instancia de Texto Entidade e' uma instancia de Texto Entidade e' um patient de Processo Entidade e' um patient de Processo a data de Processo e' Dia a data de Processo e' Dia o fim de Dia comeca antes de o fim de Dia
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12900-12905	Processo e' uma instancia de Publicacao Entidade Entidade e' uma instancia de Texto Entidade e' um patient de Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15542-15550	Organizacao publica Texto Entidade e' uma instancia de Texto Processo Processo e' uma instancia de Publicacao Processo e' um agente de Organizacao Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14816-14825	Classe e' uma sub-classe de Newspaper Posicao Temporal e' uma instancia de Semana Processo Entidade Processo e' uma instancia de Publicacao tempo de existencia de Processo e' uma &parte de Posicao Temporal Entidade e' o resultado de Processo Entidade e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15841-15848	AutonomousAgent e' uma instancia de PeriodicalPublisher Processo Entidade Processo e' uma instancia de Publicacao Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Entidade e' uma instancia de Periodico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7284-7290	AutonomousAgent e' uma instancia de Publisher Processo Processo e' uma instancia de CommercialService Processo e' um agente de AutonomousAgent Processo e' uma instancia de Publicacao

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