MaxFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - MaxFn

MaxFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2249-2250
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4991-4993
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 913-914
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4987-4987	The number 1 argument of max is an instance of number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4988-4988	The number 2 argument of max is an instance of number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4983-4983	Max is an instance of associative function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4982-4982	Max is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4984-4984	Max is an instance of commutative function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4986-4986	Max is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4989-4989	The range of max is an instance of number

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 710-710
No TPTP formula. May not be expressible in strict first order.	english_format.kif 712-712
No TPTP formula. May not be expressible in strict first order.	french_format.kif 428-428
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 175-175
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2145-2145
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 380-380
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 923-923
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 213-213
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 450-450
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 479-479
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 347-347
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36587-36587
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 711-711
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36586-36586
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36585-36585
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 348-348

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 4995-5006

If the larger of a real number and another real number is equal to a number,
then the number is equal to the real number and the real number is greater than the other real number or the number is equal to the other real number and the other real number is greater than the real number or the number is equal to the real number and the number is equal to the other real number

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