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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MaxValueFn

 Sigma KEE - MaxValueFn
MaxValueFn

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 1676-1677
No TPTP formula. May not be expressible in strict first order. Weather.kif 1674-1675
No TPTP formula. May not be expressible in strict first order. Weather.kif 1681-1681 Le nombre 1 argument de MaxValueFn est une instance de liste
No TPTP formula. May not be expressible in strict first order. Weather.kif 1682-1682 MaxValueFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order. Weather.kif 1683-1683 Le domaine de MaxValueFn est une instance de nombre

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 1679-1679
No TPTP formula. May not be expressible in strict first order. Weather.kif 1678-1678
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10433-10433
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10432-10432

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 1685-1692

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