c2_spaces_kb.metta

(Green is-a Color)
(White is-a Color)
(Blue is-a Color)
(Red is-a Color)
(Brown is-a Color)
(Yellow is-a Color)

(Earth is-a Planet)
(Mars is-a Planet)
(Venus is-a Planet)

(Mars is Red)

(Blood is Red)

(Venus orbit 0.7 au)
(Earth orbit 1 au)
(Mars orbit 1.5 au)