(subclass LiquidDrop Substance) | Geography.kif 7488-7488 | LiquidDrop est une sous-classe de substance |
(subclass Raindrop LiquidDrop) | Weather.kif 2979-2979 | Raindrop est une sous-classe de LiquidDrop |
(subclass Droplet LiquidDrop) | Geography.kif 7519-7519 | Droplet est une sous-classe de LiquidDrop |