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