-
Notifications
You must be signed in to change notification settings - Fork 74
/
Copy pathTQG4.kif.tq
128 lines (118 loc) · 3.18 KB
/
TQG4.kif.tq
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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
(note TQG4) ;; boolean version
(time 600)
(instance Entity4-1 Human)
(instance DoingSomething4-1 IntentionalProcess)
(agent DoingSomething4-1 Entity4-1)
(=>
(and
(agent ?PROC ?AGENT)
(instance ?PROC IntentionalProcess))
(and
(instance ?AGENT CognitiveAgent)
(not
(holdsDuring
(WhenFn ?PROC)
(attribute ?AGENT Dead)))))
(query (not (holdsDuring (WhenFn DoingSomething4-1) (attribute Entity4-1 Dead))))
(answer yes)
;; Answer 1. [yes]
;; 1. (instance DoingSomething4-1 IntentionalProcess) [KB]
;; 2. (instance DoingSomething4-1 IntentionalProcess) 1
;; 3. (agent DoingSomething4-1 Entity4-1) [KB]
;; 4. (agent DoingSomething4-1 Entity4-1) 3
;; 5. (not
;; (not
;; (holdsDuring
;; (WhenFn DoingSomething4-1) `
;; (attribute Entity4-1 Dead)))) [KB]
;; 6. (holdsDuring
;; (WhenFn DoingSomething4-1) `
;; (attribute Entity4-1 Dead)) 5
;; 7. (=>
;; (and
;; (instance ?X5 Process)
;; (instance ?X4 Agent))
;; (=>
;; (and
;; (agent ?X5 ?X4)
;; (instance ?X5 IntentionalProcess))
;; (and
;; (instance ?X4 CognitiveAgent)
;; (not
;; (holdsDuring
;; (WhenFn ?X5) `
;; (attribute ?X4 Dead)))))) [KB]
;; 8. (or
;; (not
;; (holdsDuring
;; (WhenFn ?X0) `
;; (attribute ?X1 Dead)))
;; (not
;; (instance ?X0 IntentionalProcess))
;; (not
;; (agent ?X0 ?X1))
;; (not
;; (instance ?X1 Agent))
;; (not
;; (instance ?X0 Process))) 7
;; 9. (or
;; (not
;; (instance Entity4-1 Agent))
;; (not
;; (instance DoingSomething4-1 Process))) 2 4 6 8
;; 10. (<=>
;; (instance ?X4 Agent)
;; (exists (?X5)
;; (agent ?X5 ?X4))) [KB]
;; 11. (or
;; (instance ?X0 Agent)
;; (not
;; (agent ?X1 ?X0))) 10
;; 12. (instance Entity4-1 Agent) 4 11
;; 13. (not
;; (instance DoingSomething4-1 Process)) 9 12
;; 14. (subclass IntentionalProcess Process) [KB]
;; 15. (subclass IntentionalProcess Process) 14
;; 16. (=>
;; (subclass ?X403 ?X404)
;; (and
;; (instance ?X403 SetOrClass)
;; (instance ?X404 SetOrClass))) [KB]
;; 17. (or
;; (instance ?X1 SetOrClass)
;; (not
;; (subclass ?X0 ?X1))) 16
;; 18. (or
;; (instance ?X0 SetOrClass)
;; (not
;; (subclass ?X0 ?X1))) 16
;; 19. (=>
;; (and
;; (instance ?X403 SetOrClass)
;; (instance ?X404 SetOrClass))
;; (=>
;; (and
;; (subclass ?X403 ?X404)
;; (instance ?X405 ?X403))
;; (instance ?X405 ?X404))) [KB]
;; 20. (or
;; (instance ?X2 ?X1)
;; (not
;; (instance ?X2 ?X0))
;; (not
;; (subclass ?X0 ?X1))
;; (not
;; (instance ?X1 SetOrClass))
;; (not
;; (instance ?X0 SetOrClass))) 19
;; 21. (or
;; (not
;; (subclass ?X0 ?X1))
;; (not
;; (instance ?X2 ?X0))
;; (instance ?X2 ?X1)) 17 18 20
;; 22. (or
;; (not
;; (instance ?X0 IntentionalProcess))
;; (instance ?X0 Process)) 15 21
;; 23. True 13 2 22