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
-------------------------


(documentation maxValue EnglishLanguage "The maximum possible value for a given numerical argument of a Relation. The second argument is the argument number of the relation and the third argument is the maximum value.") Merge.kif 18480-18482
(domain maxValue 1 Predicate) Merge.kif 18484-18484 Le nombre 1 argument de maxValue est une instance de predicat
(domain maxValue 2 Integer) Merge.kif 18485-18485 Le nombre 2 argument de maxValue est une instance de nombre entier
(domain maxValue 3 Quantity) Merge.kif 18486-18486 Le nombre 3 argument de maxValue est une instance de quantit�
(instance maxValue TernaryPredicate) Merge.kif 18483-18483 maxValue est une instance de pr�dicat ternaire

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


(format EnglishLanguage maxValue "The maxValue of %1 with %2 arguments is %3.") Merge.kif 18487-18488
(termFormat EnglishLanguage maxValue "max value") domainEnglishFormat.kif 65874-65874


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