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

Formal Language: 



KB Term:  Term intersection
English Word: 

  minValue

 Sigma KEE - minValue
minValue

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18383-18385
No TPTP formula. May not be expressible in strict first order. Merge.kif 18387-18387 域 minValue, 1 and Predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 18388-18388 域 minValue, 2 and Integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 18389-18389 域 minValue, 3 and Quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 18386-18386 δΎ‹ minValue and TernaryPredicate

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18390-18391
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65877-65877


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