good good good
Id1 Id2 Id3
Austin, Texas is part of Travis County and also Williamson County where the largest city is Round Rock. Austin (located in Travis County), is part of Williamson County, Texas, the largest city of which is, Round Rock. The largest city of Williamson County, Texas is Round Rock and Austin is part of Williamson County and Travis County.
resource:Austin__Texas rdf:type ontology:city
resource:Austin__Texas property:is_part_of resource:Travis_County__Texas
resource:Austin__Texas property:is_part_of resource:Williamson_County__Texas
resource:Williamson_County__Texas property:largest_city resource:Round_Rock__Texas
isPartOf
is part of
property:is_part_of
largestCity
largest city
property:largest_city
Austin,_Texas
Austin, Texas
resource:Austin__Texas
Round_Rock,_Texas
Round Rock, Texas
resource:Round_Rock__Texas
Travis_County,_Texas
Travis County, Texas
resource:Travis_County__Texas
Williamson_County,_Texas
Williamson County, Texas
resource:Williamson_County__Texas
ASK WHERE { ?l rdf:type ontology:city . ?l property:is_part_of ?s . ?s property:largest_city resource:Abilene__Texas }
ASK WHERE { ?l rdf:type ontology:city . ?l property:is_part_of ?s . ?s property:largest_city resource:Abilene,_Texas }
False
False
complete meaningful answer two_triples other conjunctive_only boolean_answer false_answer typing hidden_variable_typing two_variables single_answer no_comparison