(documentation relativeAngle EnglishLanguage "(relativeAngle ?O1 ?O2 ?MEASURE) means that the twodimensional geometric angle formed by ?O1 and ?O2 has ?MEASURE.") 
Merge.kif 1795617957 

(documentation relativeAngle EnglishLanguage "One end of an object, which is the smallest part of an object that is the longest distance from the other end.") 
Merge.kif 1801518017 

(domain relativeAngle 1 Object) 
Merge.kif 1795317953 
The number 1 argument of relative angle is an instance of object 
(domain relativeAngle 2 Object) 
Merge.kif 1795417954 
The number 2 argument of relative angle is an instance of object 
(domain relativeAngle 3 RealNumber) 
Merge.kif 1795517955 
The number 3 argument of relative angle is an instance of real number 
(instance relativeAngle TernaryPredicate) 
Merge.kif 1795117951 
relative angle is an instance of ternary predicate 
(instance relativeAngle TotalValuedRelation) 
Merge.kif 1795217952 
relative angle is an instance of total valued relation 