TreeView Knowledge Base Browser - SignumFn

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 5092-5093
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5089-5089	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 5088-5088	Signum is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5087-5087	Signum is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5090-5090	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.	chinese_format.kif 727-727
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53025-53025
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53024-53024
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53023-53023

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5034-5042	If an integer mod another integer is equal to a third integer and the other integer is not equal to 0, then the sign of the other integer is equal to the sign of the third integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5105-5107	If a real number is an instance of negative real number, then the sign of the real number is equal to -1
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5095-5099	If a real number is an instance of nonnegative real number, then the sign of the real number is equal to 1 or the sign of the real number is equal to 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5101-5103	If a real number is an instance of positive real number, then the sign of the real number is equal to 1

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