| (=> (and (instance ?SKI SnowSki) (material ?MAT ?SKI)) (or (subclass ?MAT Metal) (subclass ?MAT Wood) (subclass ?MAT Plastic))) |
Sports.kif 1040-1047 | |
| (subclass Plastic Hydrocarbon) | Mid-level-ontology.kif 9195-9195 | |
| (subclass SyntheticWicker Plastic) | Mid-level-ontology.kif 4601-4601 | |
| (subclass Polypropylene Plastic) | Mid-level-ontology.kif 9202-9202 | |
| (subclass Polystyrene Plastic) | Mid-level-ontology.kif 9209-9209 |
|
|