oppositeDirection |
appearance as argument number 1 |
(documentation oppositeDirection EnglishLanguage "(oppositeDirection ?DIR1 ?DIR2) means that the PositionalAttribute ?DIR1 points in the compass direction opposite to the DirectionalAttribute ?DIR2.") | Mid-level-ontology.kif 18129-18131 | |
(domain oppositeDirection 1 PositionalAttribute) | Mid-level-ontology.kif 18126-18126 | Die Zahl 1 Argument von oppositeDirection ist ein fall von PositionalAttribute %n{nicht} |
(domain oppositeDirection 2 PositionalAttribute) | Mid-level-ontology.kif 18127-18127 | Die Zahl 2 Argument von oppositeDirection ist ein fall von PositionalAttribute %n{nicht} |
(instance oppositeDirection BinaryPredicate) | Mid-level-ontology.kif 18123-18123 | oppositeDirection ist ein fall von BinaryPredicate %n{nicht} |
(instance oppositeDirection IrreflexiveRelation) | Mid-level-ontology.kif 18125-18125 | oppositeDirection ist ein fall von IrreflexiveRelation %n{nicht} |
(instance oppositeDirection SymmetricRelation) | Mid-level-ontology.kif 18124-18124 | oppositeDirection ist ein fall von SymmetricRelation %n{nicht} |
appearance as argument number 2 |
(format ChineseLanguage oppositeDirection "%2 %n 是 %1 的 opposite 方向") | domainEnglishFormat.kif 1847-1847 | |
(format ChineseTraditionalLanguage oppositeDirection "%2 %n 是 %1 的 opposite 方向") | domainEnglishFormat.kif 1846-1846 | |
(format EnglishLanguage oppositeDirection "%2 is %n an opposite direction of %1") | domainEnglishFormat.kif 1845-1845 | |
(termFormat ChineseLanguage oppositeDirection "相反的方向") | domainEnglishFormat.kif 42324-42324 | |
(termFormat ChineseTraditionalLanguage oppositeDirection "相反的方向") | domainEnglishFormat.kif 42323-42323 | |
(termFormat EnglishLanguage oppositeDirection "opposite direction") | domainEnglishFormat.kif 42322-42322 |
antecedent |
consequent |
(=> (and (instance ?SAW Saw) (instance ?CUT Cutting) (instrument ?CUT ?SAW) (instance ?OBJ Object) (patient ?CUT ?OBJ)) (exists (?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART) (and (instance ?MOTION Motion) (subProcess ?MOTION ?CUT) (instance ?PART CuttingDevice) (part ?PART ?SAW) (meetsSpatially ?PART ?OBJ) (patient ?MOTION ?PART) (instance ?T2 TimeInterval) (instance ?T2 TimeInterval) (equal (WhenFn ?MOTION) ?TIME) (temporalPart ?TIME ?T1) (temporalPart ?TIME ?T2) (instance ?DIR1 DirectionalAttribute) (instance ?DIR2 DirectionalAttribute) (=> (holdsDuring ?T1 (direction ?MOTION ?DIR1)) (holdsDuring ?T2 (and (direction ?MOTION ?DIR2) (or (equal ?DIR1 ?DIR2) (oppositeDirection ?DIR1 ?DIR2)) (not (and (equal ?DIR1 ?DIR2) (oppositeDirection ?DIR1 ?DIR2))))))))) |
Mid-level-ontology.kif 18150-18184 |
|
appearance as argument number 0 |
(oppositeDirection East West) | Mid-level-ontology.kif 18134-18134 | oppositeDirection East and West |
(oppositeDirection North South) | Mid-level-ontology.kif 18133-18133 | oppositeDirection North and South |
(oppositeDirection Northeast Southwest) | Geography.kif 3671-3671 | oppositeDirection Northeast and Southwest |
(oppositeDirection Northwest Southeast) | Geography.kif 3683-3683 | oppositeDirection Northwest and Southeast |
(oppositeDirection Upstream Downstream) | Geography.kif 5460-5460 | oppositeDirection Upstream and Downstream |