| 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 4895-4897 | |
| (domain MaxFn 1 Number) | Merge.kif 4891-4891 | |
| (domain MaxFn 2 Number) | Merge.kif 4892-4892 | |
| (instance MaxFn AssociativeFunction) | Merge.kif 4887-4887 | |
| (instance MaxFn BinaryFunction) | Merge.kif 4886-4886 | |
| (instance MaxFn CommutativeFunction) | Merge.kif 4888-4888 | |
| (instance MaxFn TotalValuedRelation) | Merge.kif 4890-4890 | |
| (range MaxFn Number) | Merge.kif 4893-4893 |
| 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 36570-36570 | |
| (termFormat ChineseLanguage MaxFn "较大值函数") | chinese_format.kif 711-711 | |
| (termFormat ChineseTraditionalLanguage MaxFn "最大") | domainEnglishFormat.kif 36569-36569 | |
| (termFormat EnglishLanguage MaxFn "max") | domainEnglishFormat.kif 36568-36568 |
| 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 4899-4910 |
|
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