Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  MinFn

 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 较小值函数 的 1 数量 是 数字 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 5014-5014 较小值函数 的 2 数量 是 数字 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 5009-5009 较小值函数 是 结合函数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 5008-5008 较小值函数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 5010-5010 较小值函数 是 交换函数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 5012-5012 较小值函数 是 总值关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 5015-5015 较小值函数 的 range 是 数字 的实例

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

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