forked from drspro/metta-wam
-
Notifications
You must be signed in to change notification settings - Fork 0
/
orientation.kif
executable file
·39 lines (33 loc) · 1.06 KB
/
orientation.kif
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
;; Self-contained SUO-KIF file extracted from
;;
;; https://github.com/ontologyportal/sumo/blob/master/Merge.kif
;;
;; containing knowledge about `orientation`.
(instance orientation SpatialRelation)
(instance orientation TernaryPredicate)
(domain orientation 1 Object)
(domain orientation 2 Object)
(domain orientation 3 PositionalAttribute)
(documentation orientation EnglishLanguage "A general &%Predicate for indicating how two
&%Objects are oriented with respect to one another. For example,
(orientation ?OBJ1 ?OBJ2 North) means that ?OBJ1 is north of ?OBJ2, and
(orientation ?OBJ1 ?OBJ2 Vertical) means that ?OBJ1 is positioned
vertically with respect to ?OBJ2.")
(=>
(and
(orientation ?X ?Y Right)
(orientation ?Z ?Y Left))
(orientation ?X ?Z Right))
;; Add instances of `orientation`, extracted from
;;
;; https://github.com/ontologyportal/sumo/blob/master/tests/SP01.kif.tq
;;
;; to test it.
(instance A Object)
(instance B Object)
(instance C Object)
(orientation A B Right)
(orientation C B Left)
;; An example of query would be
;;
;; (orientation A C Right)