Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 18731-18733 | |
| (instance minValue TernaryPredicate) | Merge.kif 18734-18734 | min value is an instance of ternary predicate |
| (domain minValue 1 Predicate) | Merge.kif 18735-18735 | The number 1 argument of min value is an instance of predicate |
| (domain minValue 2 Integer) | Merge.kif 18736-18736 | The number 2 argument of min value is an instance of integer |
| (domain minValue 3 Quantity) | Merge.kif 18737-18737 | The number 3 argument of min value is an instance of quantity |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage minValue "The minValue of %1 with %2 arguments is %3.") | Merge.kif 18738-18739 | |
| (termFormat EnglishLanguage minValue "min value") | domainEnglishFormat.kif 65896-65896 |
|