Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SignumFn
SignumFn

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2271-2272
No TPTP formula. May not be expressible in strict first order. Merge.kif 5193-5194
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 937-938
No TPTP formula. May not be expressible in strict first order. Merge.kif 5190-5190 O argumento numero 1 de SignumFn e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order. Merge.kif 5189-5189 SignumFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order. Merge.kif 5188-5188 SignumFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order. Merge.kif 5191-5191 O contra-dominio de SignumFn e' uma instancia de Numero Inteiro

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 726-726
No TPTP formula. May not be expressible in strict first order. english_format.kif 728-728
No TPTP formula. May not be expressible in strict first order. french_format.kif 436-436
No TPTP formula. May not be expressible in strict first order. relations-it.txt 263-263
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2153-2153
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 388-388
No TPTP formula. May not be expressible in strict first order. relations-de.txt 939-939
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 300-300
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 458-458
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 498-498
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 455-455
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 727-727
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53044-53044
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53043-53043
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53042-53042

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 5131-5143
No TPTP formula. May not be expressible in strict first order. Merge.kif 5206-5208
No TPTP formula. May not be expressible in strict first order. Merge.kif 5196-5200
No TPTP formula. May not be expressible in strict first order. Merge.kif 5202-5204


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