(documentation diameter ChineseLanguage "(diameter ?CIRCLE ?LENGTH) 的意思是 Circle ?CIRCLE 的直径的长度是 ?LENGTH。") 
Merge.kif 78657866 

(documentation diameter EnglishLanguage "(diameter ?CIRCLE ?LENGTH) means that the diameter of the Circle ?CIRCLE has a length of ?LENGTH.") 
Merge.kif 78637864 

(domain diameter 1 Circle) 
Merge.kif 78617861 
The number 1 argument of diameter is an instance of circle 
(domain diameter 2 LengthMeasure) 
Merge.kif 78627862 
The number 2 argument of diameter is an instance of length measure 
(instance diameter BinaryPredicate) 
Merge.kif 78587858 
diameter is an instance of binary predicate 
(instance diameter SingleValuedRelation) 
Merge.kif 78597859 
diameter is an instance of single valued relation 
(instance diameter TotalValuedRelation) 
Merge.kif 78607860 
diameter is an instance of total valued relation 