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

Formal Language: 



KB Term:  Term intersection
English Word: 

  maxValue

 Sigma KEE - maxValue
maxValue

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17067-17069
No TPTP formula. May not be expressible in strict first order. Merge.kif 17071-17071 The number 1 argument of maxValue is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 17072-17072 The number 2 argument of maxValue is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 17073-17073 The number 3 argument of maxValue is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 17070-17070 maxValue is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17074-17075

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17077-17082


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