data/USCity

<> is log:definitiveDocument of :name, :state.

    :USCity     a rdfs:Class;
         rdfs:comment """
      Information about US cities.
    """;
         rdfs:label "USCity";
         rdfs:subClassOf city:City .
    
    :abilenetx     a :USCity;
         :name "Abilene";
         :state usstate:TX .
...    
    :albanyny     a :USCity;
         :name "Albany";
         :state usstate:NY .