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


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