| appearance as argument number 1 |
|
| (documentation MaxFn ChineseLanguage "(MaxFn ?NUMBER1 ?NUMBER2)得出 ?NUMBER1 和 ?NUMBER2 中最大值。 一旦 ?NUMBER1 等于 ?NUMBER2 的话 MaxFn 就得出其中的一个参数。") | chinese_format.kif 2249-2250 | |
| (documentation MaxFn EnglishLanguage "(MaxFn ?NUMBER1 ?NUMBER2) is the largest of ?NUMBER1 and ?NUMBER2. In cases where ?NUMBER1 is equal to ?NUMBER2, MaxFn returns one of its arguments.") | Merge.kif 4962-4964 | |
| (domain MaxFn 1 Number) | Merge.kif 4958-4958 | The number 1 argument of max is an instance of number |
| (domain MaxFn 2 Number) | Merge.kif 4959-4959 | The number 2 argument of max is an instance of number |
| (instance MaxFn AssociativeFunction) | Merge.kif 4954-4954 | Max is an instance of associative function |
| (instance MaxFn BinaryFunction) | Merge.kif 4953-4953 | Max is an instance of binary function |
| (instance MaxFn CommutativeFunction) | Merge.kif 4955-4955 | Max is an instance of commutative function |
| (instance MaxFn TotalValuedRelation) | Merge.kif 4957-4957 | Max is an instance of total valued relation |
| (range MaxFn Number) | Merge.kif 4960-4960 | The range of max is an instance of number |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage MaxFn "%1 和 %2 中的较大值") | chinese_format.kif 710-710 | |
| (format EnglishLanguage MaxFn "the larger of %1 and %2") | english_format.kif 712-712 | |
| (termFormat ChineseLanguage MaxFn "最大") | domainEnglishFormat.kif 36565-36565 | |
| (termFormat ChineseLanguage MaxFn "较大值函数") | chinese_format.kif 711-711 | |
| (termFormat ChineseTraditionalLanguage MaxFn "最大") | domainEnglishFormat.kif 36564-36564 | |
| (termFormat EnglishLanguage MaxFn "max") | domainEnglishFormat.kif 36563-36563 |
| antecedent |
|
|
| (=> (equal (MaxFn ?NUMBER1 ?NUMBER2) ?NUMBER) (or (and (equal ?NUMBER ?NUMBER1) (greaterThan ?NUMBER1 ?NUMBER2)) (and (equal ?NUMBER ?NUMBER2) (greaterThan ?NUMBER2 ?NUMBER1)) (and (equal ?NUMBER ?NUMBER1) (equal ?NUMBER ?NUMBER2)))) |
Merge.kif 4966-4977 |
|
|
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 3.0 is open source software produced by Articulate Software and its partners