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 15557-15559
No TPTP formula. May not be expressible in strict first order. Merge.kif 15555-15555 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 15554-15554 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 15552-15552 EditionFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order. Merge.kif 15553-15553 EditionFn e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order. Merge.kif 15556-15556 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 15561-15578
No TPTP formula. May not be expressible in strict first order. Merge.kif 15580-15582


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