TreeView Knowledge Base Browser - EditionFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - EditionFn

EditionFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3567-3568
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15511-15513
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15509-15509	O argumento numero 2 de EditionFn e' uma instancia de Inteiro positivo
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 15506-15506	EditionFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15507-15507	EditionFn e' uma instancia de Relacao Parcial
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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 559-559
No TPTP formula. May not be expressible in strict first order.	english_format.kif 564-564
No TPTP formula. May not be expressible in strict first order.	french_format.kif 329-329
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 88-88
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2093-2093
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 281-281
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 731-731
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 128-128
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 350-350
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 364-364
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 191-191
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21246-21246
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 560-560
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21245-21245
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21244-21244
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 192-192

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15515-15532	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.	Merge.kif 15534-15536	Edicao Inteiro positivo de ContentBearingPhysical e' igual a ContentBearingPhysical ContentBearingPhysical subsume o conteudo de ContentBearingPhysical

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