Class: Country

"A class that is equivalent to the set of individuals that are described in the enumeration - ie Countries can only be either America, England, France, Germany or Italy and nothing else. Note that these individuals have been asserted to be allDifferent from each other." [lang: en]

•owl:Thing
        •DomainConcept
                •Country

Equivalent Classes (Necessary and Sufficient Conditions)

{America England France Germany Italy}
DomainConcept

Annotations

rdfs:label"Pais" [lang: pt]

Abstract Syntax

Class(Country complete annotation(rdfs:label "Pais"@pt)
                      annotation(rdfs:comment "A class that is equivalent to the set of individuals that are described in the enumeration - ie Countries can only be either America, England, France, Germany or Italy and nothing else. Note that these individuals have been asserted to be allDifferent from each other."@en)
                      oneOf(America
                            England
                            France
                            Germany
                            Italy)
                      DomainConcept)

Usage

Class Description/Definition (Necessary Conditions)

Country
Generated with OWLDoc