-
Notifications
You must be signed in to change notification settings - Fork 1
/
idt1_6.metta
22 lines (17 loc) · 1.67 KB
/
idt1_6.metta
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
; (convert-to-metta-file idt1_6 $_231186 idt/idt1_6.pl idt/idt1_6.metta)
(= (classes (n p)) True)
(= (attributes (outlook temperature humidity windy)) True)
(= (example 1 n ((= outlook sunny) (= temperature hot) (= humidity high) (= windy false))) True)
(= (example 2 n ((= outlook sunny) (= temperature hot) (= humidity high) (= windy true))) True)
(= (example 3 p ((= outlook overcast) (= temperature hot) (= humidity high) (= windy false))) True)
(= (example 4 p ((= outlook rain) (= temperature mild) (= humidity high) (= windy false))) True)
(= (example 5 p ((= outlook rain) (= temperature cool) (= humidity normal) (= windy false))) True)
(= (example 6 n ((= outlook rain) (= temperature cool) (= humidity normal) (= windy true))) True)
(= (example 7 p ((= outlook overcast) (= temperature cool) (= humidity normal) (= windy true))) True)
(= (example 8 n ((= outlook sunny) (= temperature mild) (= humidity high) (= windy false))) True)
(= (example 9 p ((= outlook sunny) (= temperature cool) (= humidity normal) (= windy false))) True)
(= (example 10 p ((= outlook rain) (= temperature mild) (= humidity normal) (= windy false))) True)
(= (example 11 p ((= outlook sunny) (= temperature mild) (= humidity normal) (= windy true))) True)
(= (example 12 p ((= outlook overcast) (= temperature mild) (= humidity high) (= windy true))) True)
(= (example 13 p ((= outlook overcast) (= temperature hot) (= humidity normal) (= windy false))) True)
(= (example 14 n ((= outlook rain) (= temperature mild) (= humidity high) (= windy true))) True)