From f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 Mon Sep 17 00:00:00 2001 From: "john.j.camilleri" Date: Mon, 16 Sep 2013 07:17:27 +0000 Subject: Remove contribs and examples Everything has now been moved to a separate repository at https://github.com/GrammaticalFramework/gf-contrib The contents of the examples folder are build during SetupWeb --- examples/SUMO/TPTP/GeographyPredAx.p | 651 ----------------------------------- 1 file changed, 651 deletions(-) delete mode 100644 examples/SUMO/TPTP/GeographyPredAx.p (limited to 'examples/SUMO/TPTP/GeographyPredAx.p') diff --git a/examples/SUMO/TPTP/GeographyPredAx.p b/examples/SUMO/TPTP/GeographyPredAx.p deleted file mode 100644 index ede1d474e..000000000 --- a/examples/SUMO/TPTP/GeographyPredAx.p +++ /dev/null @@ -1,651 +0,0 @@ -fof(axGeographyPred0, axiom, - f_geographicSubregion(inst_CentralAfrica,inst_Africa)). - -fof(axGeographyPred1, axiom, - f_geographicSubregion(inst_EasternAfrica,inst_Africa)). - -fof(axGeographyPred2, axiom, - f_geographicSubregion(inst_NorthernAfrica,inst_Africa)). - -fof(axGeographyPred3, axiom, - f_geographicSubregion(inst_SouthernAfrica,inst_Africa)). - -fof(axGeographyPred4, axiom, - f_geographicSubregion(inst_WesternAfrica,inst_Africa)). - -fof(axGeographyPred5, axiom, - f_overlapsSpatially(inst_MiddleEastRegion,inst_Asia)). - -fof(axGeographyPred6, axiom, - f_geographicSubregion(inst_CentralEurope,inst_Europe)). - -fof(axGeographyPred7, axiom, - f_geographicSubregion(inst_EasternEurope,inst_Europe)). - -fof(axGeographyPred8, axiom, - f_geographicSubregion(inst_NorthernEurope,inst_Europe)). - -fof(axGeographyPred9, axiom, - f_geographicSubregion(inst_SouthernEurope,inst_Europe)). - -fof(axGeographyPred10, axiom, - f_geographicSubregion(inst_WesternEurope,inst_Europe)). - -fof(axGeographyPred11, axiom, - f_geographicSubregion(inst_SoutheasternEurope,inst_Europe)). - -fof(axGeographyPred12, axiom, - f_geographicSubregion(inst_SouthwesternEurope,inst_Europe)). - -fof(axGeographyPred13, axiom, - f_geographicSubregion(inst_NorthernNorthAmerica,inst_NorthAmerica)). - -fof(axGeographyPred14, axiom, - f_overlapsSpatially(inst_CaribbeanRegion,inst_SouthAmerica)). - -fof(axGeographyPred15, axiom, - f_overlapsSpatially(inst_CaribbeanRegion,inst_NorthAmerica)). - -fof(axGeographyPred16, axiom, - f_overlapsSpatially(inst_MiddleAmerica,inst_NorthAmerica)). - -fof(axGeographyPred17, axiom, - f_overlapsSpatially(inst_MiddleAmerica,inst_SouthAmerica)). - -fof(axGeographyPred18, axiom, - f_geographicSubregion(inst_CentralSouthAmerica,inst_SouthAmerica)). - -fof(axGeographyPred19, axiom, - f_geographicSubregion(inst_EasternSouthAmerica,inst_SouthAmerica)). - -fof(axGeographyPred20, axiom, - f_geographicSubregion(inst_NorthernSouthAmerica,inst_SouthAmerica)). - -fof(axGeographyPred21, axiom, - f_geographicSubregion(inst_SouthernSouthAmerica,inst_SouthAmerica)). - -fof(axGeographyPred22, axiom, - f_geographicSubregion(inst_WesternSouthAmerica,inst_SouthAmerica)). - -fof(axGeographyPred23, axiom, - f_geographicSubregion(inst_CentralAsia,inst_Asia)). - -fof(axGeographyPred24, axiom, - f_geographicSubregion(inst_EasternAsia,inst_Asia)). - -fof(axGeographyPred25, axiom, - f_geographicSubregion(inst_NorthernAsia,inst_Asia)). - -fof(axGeographyPred26, axiom, - f_geographicSubregion(inst_NorthernAsia,inst_NorthernHemisphere)). - -fof(axGeographyPred27, axiom, - f_geographicSubregion(inst_SouthernAsia,inst_Asia)). - -fof(axGeographyPred28, axiom, - f_geographicSubregion(inst_SoutheasternAsia,inst_Asia)). - -fof(axGeographyPred29, axiom, - f_geographicSubregion(inst_SouthwesternAsia,inst_Asia)). - -fof(axGeographyPred30, axiom, - f_geographicSubregion(inst_CentralAfrica,inst_EasternHemisphere)). - -fof(axGeographyPred31, axiom, - f_overlapsSpatially(inst_CentralAfrica,inst_NorthernHemisphere)). - -fof(axGeographyPred32, axiom, - f_overlapsSpatially(inst_CentralAfrica,inst_SouthernHemisphere)). - -fof(axGeographyPred33, axiom, - f_geographicSubregion(inst_EasternAfrica,inst_EasternHemisphere)). - -fof(axGeographyPred34, axiom, - f_overlapsSpatially(inst_EasternAfrica,inst_NorthernHemisphere)). - -fof(axGeographyPred35, axiom, - f_overlapsSpatially(inst_EasternAfrica,inst_SouthernHemisphere)). - -fof(axGeographyPred36, axiom, - f_overlapsSpatially(inst_NorthernAfrica,inst_EasternHemisphere)). - -fof(axGeographyPred37, axiom, - f_overlapsSpatially(inst_NorthernAfrica,inst_WesternHemisphere)). - -fof(axGeographyPred38, axiom, - f_geographicSubregion(inst_NorthernAfrica,inst_NorthernHemisphere)). - -fof(axGeographyPred39, axiom, - f_geographicSubregion(inst_SouthernAfrica,inst_EasternHemisphere)). - -fof(axGeographyPred40, axiom, - f_geographicSubregion(inst_SouthernAfrica,inst_SouthernHemisphere)). - -fof(axGeographyPred41, axiom, - f_overlapsSpatially(inst_WesternAfrica,inst_EasternHemisphere)). - -fof(axGeographyPred42, axiom, - f_overlapsSpatially(inst_WesternAfrica,inst_WesternHemisphere)). - -fof(axGeographyPred43, axiom, - f_overlapsSpatially(inst_WesternAfrica,inst_NorthernHemisphere)). - -fof(axGeographyPred44, axiom, - f_overlapsSpatially(inst_WesternAfrica,inst_SouthernHemisphere)). - -fof(axGeographyPred45, axiom, - f_geographicSubregion(inst_MiddleEastRegion,inst_EasternHemisphere)). - -fof(axGeographyPred46, axiom, - f_geographicSubregion(inst_MiddleEastRegion,inst_WesternHemisphere)). - -fof(axGeographyPred47, axiom, - f_geographicSubregion(inst_EasternEurope,inst_EasternHemisphere)). - -fof(axGeographyPred48, axiom, - f_geographicSubregion(inst_EasternEurope,inst_NorthernHemisphere)). - -fof(axGeographyPred49, axiom, - f_geographicSubregion(inst_CentralEurope,inst_EasternHemisphere)). - -fof(axGeographyPred50, axiom, - f_geographicSubregion(inst_CentralEurope,inst_NorthernHemisphere)). - -fof(axGeographyPred51, axiom, - f_geographicSubregion(inst_NorthernEurope,inst_EasternHemisphere)). - -fof(axGeographyPred52, axiom, - f_geographicSubregion(inst_NorthernEurope,inst_NorthernHemisphere)). - -fof(axGeographyPred53, axiom, - f_geographicSubregion(inst_SouthernEurope,inst_EasternHemisphere)). - -fof(axGeographyPred54, axiom, - f_geographicSubregion(inst_SouthernEurope,inst_NorthernHemisphere)). - -fof(axGeographyPred55, axiom, - f_overlapsSpatially(inst_WesternEurope,inst_EasternHemisphere)). - -fof(axGeographyPred56, axiom, - f_overlapsSpatially(inst_WesternEurope,inst_WesternHemisphere)). - -fof(axGeographyPred57, axiom, - f_geographicSubregion(inst_WesternEurope,inst_NorthernHemisphere)). - -fof(axGeographyPred58, axiom, - f_geographicSubregion(inst_SoutheasternEurope,inst_EasternHemisphere)). - -fof(axGeographyPred59, axiom, - f_geographicSubregion(inst_SoutheasternEurope,inst_NorthernHemisphere)). - -fof(axGeographyPred60, axiom, - f_overlapsSpatially(inst_SouthwesternEurope,inst_EasternHemisphere)). - -fof(axGeographyPred61, axiom, - f_overlapsSpatially(inst_SouthwesternEurope,inst_WesternHemisphere)). - -fof(axGeographyPred62, axiom, - f_geographicSubregion(inst_SouthwesternEurope,inst_NorthernHemisphere)). - -fof(axGeographyPred63, axiom, - f_geographicSubregion(inst_CaribbeanRegion,inst_NorthernHemisphere)). - -fof(axGeographyPred64, axiom, - f_geographicSubregion(inst_CaribbeanRegion,inst_WesternHemisphere)). - -fof(axGeographyPred65, axiom, - f_geographicSubregion(inst_MiddleAmerica,inst_NorthernHemisphere)). - -fof(axGeographyPred66, axiom, - f_geographicSubregion(inst_MiddleAmerica,inst_WesternHemisphere)). - -fof(axGeographyPred67, axiom, - f_geographicSubregion(inst_CentralSouthAmerica,inst_WesternHemisphere)). - -fof(axGeographyPred68, axiom, - f_geographicSubregion(inst_CentralSouthAmerica,inst_SouthernHemisphere)). - -fof(axGeographyPred69, axiom, - f_geographicSubregion(inst_EasternSouthAmerica,inst_WesternHemisphere)). - -fof(axGeographyPred70, axiom, - f_overlapsSpatially(inst_EasternSouthAmerica,inst_NorthernHemisphere)). - -fof(axGeographyPred71, axiom, - f_overlapsSpatially(inst_EasternSouthAmerica,inst_SouthernHemisphere)). - -fof(axGeographyPred72, axiom, - f_geographicSubregion(inst_NorthernSouthAmerica,inst_WesternHemisphere)). - -fof(axGeographyPred73, axiom, - f_overlapsSpatially(inst_NorthernSouthAmerica,inst_NorthernHemisphere)). - -fof(axGeographyPred74, axiom, - f_overlapsSpatially(inst_NorthernSouthAmerica,inst_SouthernHemisphere)). - -fof(axGeographyPred75, axiom, - f_geographicSubregion(inst_SouthernSouthAmerica,inst_WesternHemisphere)). - -fof(axGeographyPred76, axiom, - f_geographicSubregion(inst_SouthernSouthAmerica,inst_SouthernHemisphere)). - -fof(axGeographyPred77, axiom, - f_geographicSubregion(inst_WesternSouthAmerica,inst_WesternHemisphere)). - -fof(axGeographyPred78, axiom, - f_overlapsSpatially(inst_WesternSouthAmerica,inst_NorthernHemisphere)). - -fof(axGeographyPred79, axiom, - f_overlapsSpatially(inst_WesternSouthAmerica,inst_SouthernHemisphere)). - -fof(axGeographyPred80, axiom, - f_geographicSubregion(inst_CentralAsia,inst_EasternHemisphere)). - -fof(axGeographyPred81, axiom, - f_geographicSubregion(inst_CentralAsia,inst_NorthernHemisphere)). - -fof(axGeographyPred82, axiom, - f_geographicSubregion(inst_EasternAsia,inst_EasternHemisphere)). - -fof(axGeographyPred83, axiom, - f_geographicSubregion(inst_EasternAsia,inst_NorthernHemisphere)). - -fof(axGeographyPred84, axiom, - f_geographicSubregion(inst_NorthernAsia,inst_EasternHemisphere)). - -fof(axGeographyPred85, axiom, - f_geographicSubregion(inst_SouthernAsia,inst_EasternHemisphere)). - -fof(axGeographyPred86, axiom, - f_overlapsSpatially(inst_SouthernAsia,inst_NorthernHemisphere)). - -fof(axGeographyPred87, axiom, - f_overlapsSpatially(inst_SouthernAsia,inst_SouthernHemisphere)). - -fof(axGeographyPred88, axiom, - f_geographicSubregion(inst_SoutheasternAsia,inst_EasternHemisphere)). - -fof(axGeographyPred89, axiom, - f_overlapsSpatially(inst_SoutheasternAsia,inst_NorthernHemisphere)). - -fof(axGeographyPred90, axiom, - f_overlapsSpatially(inst_SoutheasternAsia,inst_SouthernHemisphere)). - -fof(axGeographyPred91, axiom, - f_geographicSubregion(inst_SouthwesternAsia,inst_EasternHemisphere)). - -fof(axGeographyPred92, axiom, - f_geographicSubregion(inst_SouthwesternAsia,inst_NorthernHemisphere)). - -fof(axGeographyPred93, axiom, - f_orientation(inst_Europe,inst_Africa,inst_North)). - -fof(axGeographyPred94, axiom, - f_orientation(inst_Europe,inst_Asia,inst_West)). - -fof(axGeographyPred95, axiom, - f_orientation(inst_Europe,inst_NorthAmerica,inst_East)). - -fof(axGeographyPred96, axiom, - f_orientation(inst_NorthAmerica,inst_SouthAmerica,inst_North)). - -fof(axGeographyPred97, axiom, - f_orientation(inst_NorthAmerica,inst_Asia,inst_East)). - -fof(axGeographyPred98, axiom, - f_orientation(inst_Africa,inst_SouthAmerica,inst_Northeast)). - -fof(axGeographyPred99, axiom, - f_orientation(inst_Asia,inst_Oceania,inst_Northwest)). - -fof(axGeographyPred100, axiom, - f_orientation(inst_Africa,inst_NorthAmerica,inst_Southeast)). - -fof(axGeographyPred101, axiom, - f_orientation(inst_Europe,inst_SouthAmerica,inst_Northeast)). - -fof(axGeographyPred102, axiom, - f_orientation(inst_Oceania,inst_NorthAmerica,inst_Southwest)). - -fof(axGeographyPred103, axiom, - f_orientation(inst_MiddleEastRegion,inst_Asia,inst_Southwest)). - -fof(axGeographyPred104, axiom, - f_orientation(inst_MiddleEastRegion,inst_Africa,inst_Northeast)). - -fof(axGeographyPred105, axiom, - f_orientation(inst_MiddleAmerica,inst_SouthAmerica,inst_North)). - -fof(axGeographyPred106, axiom, - f_orientation(inst_MiddleAmerica,inst_NorthAmerica,inst_South)). - -fof(axGeographyPred107, axiom, - f_orientation(inst_CaribbeanRegion,inst_SouthAmerica,inst_North)). - -fof(axGeographyPred108, axiom, - f_orientation(inst_CaribbeanRegion,inst_NorthAmerica,inst_South)). - -fof(axGeographyPred109, axiom, - f_MeasureFn(1,inst_AngularDegree) = f_MeasureFn(60,inst_ArcMinute)). - -fof(axGeographyPred110, axiom, - f_MeasureFn(1,inst_ArcMinute) = f_MeasureFn(60,inst_ArcSecond)). - -fof(axGeographyPred111, axiom, - f_MeasureFn(1,inst_SquareKilometer) = f_MultiplicationFn(f_MeasureFn(1,f_KiloFn(inst_Meter)),f_MeasureFn(1,f_KiloFn(inst_Meter)))). - -fof(axGeographyPred112, axiom, - f_causesSubclass(type_AirPollution,type_AcidRainfall)). - -fof(axGeographyPred113, axiom, - f_causesSubclass(type_AcidRainfall,type_Acidification)). - -fof(axGeographyPred114, axiom, - f_earthAltitude(inst_OzoneShield,f_MeasureFn(25,inst_Mile))). - -fof(axGeographyPred115, axiom, - f_causesSubclass(type_SoilErosion,type_Siltation)). - -fof(axGeographyPred116, axiom, - f_agreementAdoptionDate(inst_AntarcticTreaty,f_DayFn(1,f_MonthFn(type_December,f_YearFn(1959))))). - -fof(axGeographyPred117, axiom, - f_agreementEffectiveDate(inst_AntarcticTreaty,f_DayFn(23,f_MonthFn(type_June,f_YearFn(1961))))). - -fof(axGeographyPred118, axiom, - f_orbits(inst_EarthsMoon,inst_PlanetEarth)). - -fof(axGeographyPred119, axiom, - f_orbits(inst_PlanetEarth,inst_Sol)). - -fof(axGeographyPred120, axiom, - f_orbits(inst_PlanetMercury,inst_Sol)). - -fof(axGeographyPred121, axiom, - f_orbits(inst_PlanetVenus,inst_Sol)). - -fof(axGeographyPred122, axiom, - f_orbits(inst_PlanetMars,inst_Sol)). - -fof(axGeographyPred123, axiom, - f_orbits(inst_PlanetJupiter,inst_Sol)). - -fof(axGeographyPred124, axiom, - f_orbits(inst_PlanetSaturn,inst_Sol)). - -fof(axGeographyPred125, axiom, - f_orbits(inst_PlanetNeptune,inst_Sol)). - -fof(axGeographyPred126, axiom, - f_orbits(inst_PlanetUranus,inst_Sol)). - -fof(axGeographyPred127, axiom, - f_orbits(inst_PlanetPluto,inst_Sol)). - -fof(axGeographyPred128, axiom, - f_overlapsSpatially(inst_Africa,inst_NorthernHemisphere)). - -fof(axGeographyPred129, axiom, - f_overlapsSpatially(inst_Africa,inst_SouthernHemisphere)). - -fof(axGeographyPred130, axiom, - f_geographicSubregion(inst_Africa,inst_EasternHemisphere)). - -fof(axGeographyPred131, axiom, - f_geographicSubregion(inst_NorthAmerica,inst_NorthernHemisphere)). - -fof(axGeographyPred132, axiom, - f_geographicSubregion(inst_NorthAmerica,inst_WesternHemisphere)). - -fof(axGeographyPred133, axiom, - f_overlapsSpatially(inst_SouthAmerica,inst_NorthernHemisphere)). - -fof(axGeographyPred134, axiom, - f_overlapsSpatially(inst_SouthAmerica,inst_SouthernHemisphere)). - -fof(axGeographyPred135, axiom, - f_geographicSubregion(inst_SouthAmerica,inst_WesternHemisphere)). - -fof(axGeographyPred136, axiom, - f_geographicSubregion(inst_Antarctica,inst_SouthernHemisphere)). - -fof(axGeographyPred137, axiom, - f_overlapsSpatially(inst_Antarctica,inst_EasternHemisphere)). - -fof(axGeographyPred138, axiom, - f_overlapsSpatially(inst_Antarctica,inst_WesternHemisphere)). - -fof(axGeographyPred139, axiom, - f_geographicSubregion(inst_Europe,inst_NorthernHemisphere)). - -fof(axGeographyPred140, axiom, - f_overlapsSpatially(inst_Europe,inst_EasternHemisphere)). - -fof(axGeographyPred141, axiom, - f_overlapsSpatially(inst_Europe,inst_WesternHemisphere)). - -fof(axGeographyPred142, axiom, - f_overlapsSpatially(inst_Asia,inst_NorthernHemisphere)). - -fof(axGeographyPred143, axiom, - f_overlapsSpatially(inst_Asia,inst_SouthernHemisphere)). - -fof(axGeographyPred144, axiom, - f_geographicSubregion(inst_Asia,inst_EasternHemisphere)). - -fof(axGeographyPred145, axiom, - f_overlapsSpatially(inst_Oceania,inst_NorthernHemisphere)). - -fof(axGeographyPred146, axiom, - f_overlapsSpatially(inst_Oceania,inst_SouthernHemisphere)). - -fof(axGeographyPred147, axiom, - f_overlapsSpatially(inst_Oceania,inst_EasternHemisphere)). - -fof(axGeographyPred148, axiom, - f_overlapsSpatially(inst_Oceania,inst_WesternHemisphere)). - -fof(axGeographyPred149, axiom, - f_overlapsSpatially(inst_Tropics,inst_NorthernHemisphere)). - -fof(axGeographyPred150, axiom, - f_overlapsSpatially(inst_Tropics,inst_SouthernHemisphere)). - -fof(axGeographyPred151, axiom, - f_overlapsSpatially(inst_Tropics,inst_EasternHemisphere)). - -fof(axGeographyPred152, axiom, - f_overlapsSpatially(inst_Tropics,inst_WesternHemisphere)). - -fof(axGeographyPred153, axiom, - f_oppositeDirection(inst_North,inst_South)). - -fof(axGeographyPred154, axiom, - f_oppositeDirection(inst_East,inst_West)). - -fof(axGeographyPred155, axiom, - f_oppositeDirection(inst_Northeast,inst_Southwest)). - -fof(axGeographyPred156, axiom, - f_oppositeDirection(inst_Northwest,inst_Southeast)). - -fof(axGeographyPred157, axiom, - f_MeasureFn(1,inst_Fathom) = f_MeasureFn(6,inst_FootLength)). - -fof(axGeographyPred158, axiom, - f_MeasureFn(1,inst_NauticalMile) = f_MeasureFn(6076.1,inst_FootLength)). - -fof(axGeographyPred159, axiom, - f_MeasureFn(1,inst_NauticalMile) = f_MeasureFn(1852,inst_Meter)). - -fof(axGeographyPred160, axiom, - f_MeasureFn(1,inst_SquareMeter) = f_MultiplicationFn(f_MeasureFn(1,inst_Meter),f_MeasureFn(1,inst_Meter))). - -fof(axGeographyPred161, axiom, - inst_SquareMeter = f_SquareUnitFn(inst_Meter)). - -fof(axGeographyPred162, axiom, - inst_SquareKilometer = f_SquareUnitFn(f_KiloFn(inst_Meter))). - -fof(axGeographyPred163, axiom, - f_geographicSubregion(inst_NorthAtlanticOcean,inst_AtlanticOcean)). - -fof(axGeographyPred164, axiom, - f_geographicSubregion(inst_NorthAtlanticOcean,inst_NorthernHemisphere)). - -fof(axGeographyPred165, axiom, - f_geographicSubregion(inst_NorthAtlanticOcean,inst_WesternHemisphere)). - -fof(axGeographyPred166, axiom, - f_geographicSubregion(inst_SouthAtlanticOcean,inst_AtlanticOcean)). - -fof(axGeographyPred167, axiom, - f_geographicSubregion(inst_SouthAtlanticOcean,inst_SouthernHemisphere)). - -fof(axGeographyPred168, axiom, - f_partlyLocated(inst_SouthAtlanticOcean,inst_WesternHemisphere)). - -fof(axGeographyPred169, axiom, - f_partlyLocated(inst_SouthAtlanticOcean,inst_EasternHemisphere)). - -fof(axGeographyPred170, axiom, - f_geographicSubregion(inst_NorthPacificOcean,inst_PacificOcean)). - -fof(axGeographyPred171, axiom, - f_geographicSubregion(inst_NorthPacificOcean,inst_NorthernHemisphere)). - -fof(axGeographyPred172, axiom, - f_partlyLocated(inst_NorthPacificOcean,inst_EasternHemisphere)). - -fof(axGeographyPred173, axiom, - f_partlyLocated(inst_NorthPacificOcean,inst_WesternHemisphere)). - -fof(axGeographyPred174, axiom, - f_geographicSubregion(inst_SouthPacificOcean,inst_PacificOcean)). - -fof(axGeographyPred175, axiom, - f_geographicSubregion(inst_SouthPacificOcean,inst_SouthernHemisphere)). - -fof(axGeographyPred176, axiom, - f_partlyLocated(inst_SouthPacificOcean,inst_EasternHemisphere)). - -fof(axGeographyPred177, axiom, - f_partlyLocated(inst_SouthPacificOcean,inst_WesternHemisphere)). - -fof(axGeographyPred178, axiom, - f_connected(inst_IndianOcean,inst_SouthPacificOcean)). - -fof(axGeographyPred179, axiom, - f_connected(inst_IndianOcean,inst_PersianGulf)). - -fof(axGeographyPred180, axiom, - f_connected(inst_IndianOcean,inst_SouthernOcean)). - -fof(axGeographyPred181, axiom, - f_geographicSubregion(inst_ArcticOcean,inst_NorthernHemisphere)). - -fof(axGeographyPred182, axiom, - f_partlyLocated(inst_ArcticOcean,inst_EasternHemisphere)). - -fof(axGeographyPred183, axiom, - f_partlyLocated(inst_ArcticOcean,inst_WesternHemisphere)). - -fof(axGeographyPred184, axiom, - f_geographicSubregion(inst_SouthernOcean,inst_SouthernHemisphere)). - -fof(axGeographyPred185, axiom, - f_partlyLocated(inst_SouthernOcean,inst_EasternHemisphere)). - -fof(axGeographyPred186, axiom, - f_partlyLocated(inst_SouthernOcean,inst_WesternHemisphere)). - -fof(axGeographyPred187, axiom, - f_totalArea(inst_SouthernOcean,f_MeasureFn(20327000,inst_SquareKilometer))). - -fof(axGeographyPred188, axiom, - f_length(f_ShorelineFn(inst_SouthernOcean,inst_Antarctica),f_MeasureFn(17968,f_KiloFn(inst_Meter)))). - -fof(axGeographyPred189, axiom, - f_naturalHazardTypeInArea(inst_SouthernOcean,type_CyclonicStorm)). - -fof(axGeographyPred190, axiom, - f_naturalHazardTypeInArea(inst_SouthernOcean,type_Iceberg)). - -fof(axGeographyPred191, axiom, - f_naturalHazardTypeInArea(inst_SouthernOcean,type_SeaIce)). - -fof(axGeographyPred192, axiom, - f_elevation(f_ElevationHighPointFn(inst_SouthernOcean),f_MeasureFn(0,inst_Meter))). - -fof(axGeographyPred193, axiom, - f_elevation(f_ElevationLowPointFn(inst_SouthernOcean),f_MeasureFn(-7235,inst_Meter))). - -fof(axGeographyPred194, axiom, - f_geographicSubregion(inst_SouthSandwichTrench,inst_SouthernOcean)). - -fof(axGeographyPred195, axiom, - f_located(inst_AntarcticCircumpolarCurrent,inst_SouthernOcean)). - -fof(axGeographyPred196, axiom, - f_meetsSpatially(inst_Egypt,inst_RedSea)). - -fof(axGeographyPred197, axiom, - f_meetsSpatially(inst_Sudan,inst_RedSea)). - -fof(axGeographyPred198, axiom, - f_meetsSpatially(inst_Eritrea,inst_RedSea)). - -fof(axGeographyPred199, axiom, - f_meetsSpatially(inst_SaudiArabia,inst_RedSea)). - -fof(axGeographyPred200, axiom, - f_elevation(inst_SeaLevel,f_MeasureFn(0,inst_Meter))). - -fof(axGeographyPred201, axiom, - f_geographicSubregion(inst_GreatSaltLake,inst_Utah)). - -fof(axGeographyPred202, axiom, - f_geographicSubregion(inst_SaltonSea,inst_California)). - -fof(axGeographyPred203, axiom, - f_geographicSubregion(inst_LakeEyre,inst_Australia)). - -fof(axGeographyPred204, axiom, - f_connected(inst_PersianGulf,inst_StraitOfHormuz)). - -fof(axGeographyPred205, axiom, - f_meetsSpatially(inst_Iran,inst_PersianGulf)). - -fof(axGeographyPred206, axiom, - f_connected(inst_StraitOfHormuz,inst_GulfOfOman)). - -fof(axGeographyPred207, axiom, - f_connected(inst_GulfOfOman,inst_ArabianSea)). - -fof(axGeographyPred208, axiom, - f_meetsSpatially(inst_Iran,inst_GulfOfOman)). - -fof(axGeographyPred209, axiom, - f_meetsSpatially(inst_Oman,inst_GulfOfOman)). - -fof(axGeographyPred210, axiom, - f_connected(inst_RedSea,inst_GulfOfAden)). - -fof(axGeographyPred211, axiom, - f_connected(inst_GulfOfAden,inst_ArabianSea)). - -fof(axGeographyPred212, axiom, - f_meetsSpatially(inst_Yemen,inst_GulfOfAden)). - -fof(axGeographyPred213, axiom, - f_meetsSpatially(inst_Somalia,inst_GulfOfAden)). - -fof(axGeographyPred214, axiom, - f_connected(inst_GulfOfMexico,inst_NorthAtlanticOcean)). - -fof(axGeographyPred215, axiom, - f_connected(inst_GulfOfMexico,inst_CaribbeanSea)). - -fof(axGeographyPred216, axiom, - f_oppositeDirection(inst_Upstream,inst_Downstream)). - -- cgit v1.2.3