Class: MeltedIceCream

A m

•owl:Thing
        •PizzaDomainConcept
                •IceCream
                        •MeltedIceCream

Equivalent Classes (Necessary and Sufficient Conditions)

IceCream
hasMaterialState SOME Liquid

Abstract Syntax

Class(MeltedIceCream complete annotation(rdfs:comment "A m"^^<http://www.w3.org/2001/XMLSchema#string>)
                             IceCream
                             restriction(hasMaterialState someValuesFrom(Liquid)))

Usage

Class Description/Definition (Necessary Conditions)

MeltedIceCream
Generated with OWLDoc