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 5192-5193
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 5189-5189 The number 1 argument of signum is an instance of real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 5188-5188 Signum is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5187-5187 Signum is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 5190-5190 The range of signum is an instance of integer

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 53042-53042
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53041-53041
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53040-53040

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5130-5142
No TPTP formula. May not be expressible in strict first order. Merge.kif 5205-5207
No TPTP formula. May not be expressible in strict first order. Merge.kif 5195-5199
No TPTP formula. May not be expressible in strict first order. Merge.kif 5201-5203


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