relativeAngle |
appearance as argument number 1 |
(documentation relativeAngle EnglishLanguage "(relativeAngle ?O1 ?O2 ?MEASURE) means that the two-dimensional geometric angle formed by ?O1 and ?O2 has ?MEASURE.") | Merge.kif 17899-17900 | |
(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 17958-17960 | |
(domain relativeAngle 1 Object) | Merge.kif 17896-17896 | 域 relativeAngle, 1 and Object |
(domain relativeAngle 2 Object) | Merge.kif 17897-17897 | 域 relativeAngle, 2 and Object |
(domain relativeAngle 3 RealNumber) | Merge.kif 17898-17898 | 域 relativeAngle, 3 and RealNumber |
(instance relativeAngle TernaryPredicate) | Merge.kif 17894-17894 | 例 relativeAngle and TernaryPredicate |
(instance relativeAngle TotalValuedRelation) | Merge.kif 17895-17895 | 例 relativeAngle and TotalValuedRelation |
appearance as argument number 2 |
(format EnglishLanguage relativeAngle "the relative angle between %1 and %2 is %3") | Merge.kif 17902-17902 | |
(termFormat EnglishLanguage relativeAngle "relative angle") | Merge.kif 17901-17901 |
antecedent |
consequent |
(=> (and (instance ?L1 Object) (attribute ?L1 LongAndThin) (instance ?L2 Object) (attribute ?L2 LongAndThin) (connected ?L1 ?L2) (not (equal ?L1 ?L2))) (exists (?M) (relativeAngle ?L1 ?L2 ?M))) |
Merge.kif 17904-17914 |