(documentation MinFn ChineseLanguage "(MinFn ?NUMBER1 ?NUMBER2)得出 ?NUMBER1 和 ?NUMBER2 中最小值。 一旦 ?NUMBER1 等于 ?NUMBER2 的话 MinFn 就得出其中的一个参数。") 
chinese_format.kif 22512252 

(documentation MinFn EnglishLanguage "(MinFn ?NUMBER1 ?NUMBER2) is the smallest of ?NUMBER1 and ?NUMBER2. In cases where ?NUMBER1 is equal to ?NUMBER2, MinFn returns one of its arguments.") 
Merge.kif 46424644 

(domain MinFn 1 Quantity) 
Merge.kif 46384638 
The number 1 argument of min is an instance of quantity 
(domain MinFn 2 Quantity) 
Merge.kif 46394639 
The number 2 argument of min is an instance of quantity 
(instance MinFn AssociativeFunction) 
Merge.kif 46344634 
Min is an instance of associative function 
(instance MinFn BinaryFunction) 
Merge.kif 46334633 
Min is an instance of binary function 
(instance MinFn CommutativeFunction) 
Merge.kif 46354635 
Min is an instance of commutative function 
(instance MinFn TotalValuedRelation) 
Merge.kif 46374637 
Min is an instance of total valued relation 
(range MinFn Quantity) 
Merge.kif 46404640 
The range of min is an instance of quantity 