fof(kb_SUMO_28,axiom,(
! [V__X,V__Y,V__Z] :
( ( s__instance(V__Y,s__SetOrClass)
& s__instance(V__X,s__SetOrClass) )
=> ( ( s__subclass(V__X,V__Y)
& s__instance(V__Z,V__X) )
=> s__instance(V__Z,V__Y) ) ) )).
fof(kb_SUMO_MILO_6297,axiom,(
s__instance(s__WaterArea,s__SetOrClass) )).
fof(kb_SUMO_MILO_10029,axiom,(
s__instance(s__BodyOfWater,s__SetOrClass) )).
fof(kb_SUMO_MILO_DOMAINS_9645,axiom,(
s__subclass(s__Sea,s__BodyOfWater) )).
fof(kb_SUMO_MILO_DOMAINS_9546,axiom,(
s__subclass(s__BodyOfWater,s__WaterArea) )).
fof(kb_SUMO_MILO_DOMAINS_80407,axiom,(
s__instance(s__Sea,s__SetOrClass) )).
fof(flood_near_water,axiom,
! [W,C] :
( ( s__orientation(C,W,s__Near)
& s__instance(W,s__WaterArea) )
=> s__capability(s__Flooding,s__located__m,C) ) ).
fof(coastal_cities_near_water,axiom,
! [City] :
( s__instance_ground(City,s__CoastalCitiesClass)
=> ? [Sea] :
( s__instance(Sea,s__Sea)
& s__orientation(City,Sea,s__Near) ) ) ).
fof(where,conjecture,
? [City,Country,EnglishCity,CityLat,CityLong,CityName,CityCountry,
RoundLat,MoscowLat,MoscowLong,MoscowName,MoscowCountry] :
( s__instance(Country,s__OECDMemberEconomiesClass)
& s__capitalCity(City,Country)
& xdb_ut(City,yagosumo,yagosumo,EnglishCity,english)
& look_different(EnglishCity,'Moscow')
& latlong(EnglishCity,CityLat,CityLong,CityName,CityCountry)
& $eval_real($round_real(CityLat),RoundLat)
& latlong('Moscow',MoscowLat,MoscowLong,MoscowName,MoscowCountry)
& $eval_real($round_real(MoscowLat),RoundLat)
& s__capability(s__Flooding,s__located__m,City)
& print(printall(nl,nl,'The city is ',EnglishCity,' in ',Country,
' at latitude ',CityLat,' (Moscow is at ',MoscowLat,')',nl,nl)) ) ).