TreeView Knowledge Base Browser - MinFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - MinFn

MinFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2251-2252
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5017-5019
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 915-916
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5013-5013	The number 1 argument of min is an instance of number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5014-5014	The number 2 argument of min is an instance of number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5009-5009	Min is an instance of associative function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5008-5008	Min is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5010-5010	Min is an instance of commutative function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5012-5012	Min is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5015-5015	The range of min is an instance of number

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 712-712
No TPTP formula. May not be expressible in strict first order.	english_format.kif 714-714
No TPTP formula. May not be expressible in strict first order.	french_format.kif 429-429
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 188-188
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2146-2146
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 381-381
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 925-925
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 226-226
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 451-451
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 483-483
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 365-365
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37835-37835
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 713-713
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37834-37834
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37833-37833

antecedent

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

Merge.kif 5021-5032

If the smaller 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 less than the other real number or the number is equal to the other real number and the other real number is less than the real number or the number is equal to the real number and the number is equal to the other real number

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