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 Le nombre 1 argument de MinFn est une instance de nombre
No TPTP formula. May not be expressible in strict first order. Merge.kif 5014-5014 Le nombre 2 argument de MinFn est une instance de nombre
No TPTP formula. May not be expressible in strict first order. Merge.kif 5009-5009 MinFn est une instance de fonction associative
No TPTP formula. May not be expressible in strict first order. Merge.kif 5008-5008 MinFn est une instance de fonction binaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 5010-5010 MinFn est une instance de function commutative
No TPTP formula. May not be expressible in strict first order. Merge.kif 5012-5012 MinFn est une instance de relation total
No TPTP formula. May not be expressible in strict first order. Merge.kif 5015-5015 Le domaine de MinFn est une instance de nombre

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