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 17877-17878 | |
(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 17936-17938 | |
(domain relativeAngle 1 Object) | Merge.kif 17874-17874 | The number 1 argument of relative angle is an instance of object |
(domain relativeAngle 2 Object) | Merge.kif 17875-17875 | The number 2 argument of relative angle is an instance of object |
(domain relativeAngle 3 RealNumber) | Merge.kif 17876-17876 | The number 3 argument of relative angle is an instance of real number |
(instance relativeAngle TernaryPredicate) | Merge.kif 17872-17872 | relative angle is an instance of ternary predicate |
(instance relativeAngle TotalValuedRelation) | Merge.kif 17873-17873 | relative angle is an instance of total valued relation |
appearance as argument number 2 |
(format EnglishLanguage relativeAngle "the relative angle between %1 and %2 is %3") | Merge.kif 17880-17880 | |
(termFormat EnglishLanguage relativeAngle "relative angle") | Merge.kif 17879-17879 |
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 17882-17892 |
|