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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - minValue
minValue

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


(documentation minValue EnglishLanguage "The minimum 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 minimum value.") Merge.kif 16986-16988
(domain minValue 1 Predicate) Merge.kif 16990-16990 domain minValue, 1 and Predicate
(domain minValue 2 Integer) Merge.kif 16991-16991 domain minValue, 2 and Integer
(domain minValue 3 Quantity) Merge.kif 16992-16992 domain minValue, 3 and Quantity
(instance minValue TernaryPredicate) Merge.kif 16989-16989 instance minValue and TernaryPredicate

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


(=>
    (and
        (minValue ?REL ?ARG ?N)
        (?REL @ARGS)
        (equal ?VAL
            (ListOrderFn
                (ListFn @ARGS) ?ARG)))
    (greaterThan ?VAL ?N))
Merge.kif 16994-16999


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners