KlamathMountains - Sigma Knowledge base Browser

antecedent

(=>
    (and
        (instance ?R GeographicArea)
        (tangentialProperPart ?R KlamathMountains)
        (tangentialProperPart ?R CaliforniaCoastRanges)
        (instance ?N PointInSpace)
        (located ?N ?R)
        (instance ?S PointInSpace)
        (located ?S ?R)
        (orientation ?N ?S North)
        (not
            (exists (?N1 ?S1)
                (and
                    (instance ?N1 PointInSpace)
                    (located ?N1 ?R)
                    (orientation ?N1 ?N North)
                    (instance ?S1 PointInSpace)
                    (located ?S1 ?R)
                    (orientation ?S1 ?S South))))
        (distance ?N ?S
            (MeasureFn ?X Mile)))
    (approximateValue ?X 80))

If All of the following hold: (1) X is an instance of geographic area (2) X is a tangentialProperPart of Klamath Mountains (3) X is a tangentialProperPart of California Coast Ranges (4) Y is an instance of point in space (5) Y is located at X (6) Z is an instance of point in space (7) Z is located at X (8) Y is north of to Z (9) All of the following hold: (1) there don't exist W (2) V such that W is an instance of point in space (3) W is located at X (4) W is north of to Y (5) V is an instance of point in space (6) V is located at X (7) V is south of to Z (10) the distance between Y and Z is U mile(s), then the approximate value of U is 80

(instance KlamathMountains MountainRange)	Geography.kif 419-419	Klamath Mountains is an instance of mountain range
(documentation KlamathMountains EnglishLanguage "The KlamathMountains are a rugged and lightly populated mountain range in northwestern California and southwestern Oregon in the western United States. It is a mountain system within both the greater Pacific Coast Ranges and the California Coast Ranges.[Wikipedia]")	Geography.kif 420-423	Klamath Mountains is an instance of mountain range
(geographicSubregion KlamathMountains Oregon)	Geography.kif 425-425	Klamath Mountains is a geographic subregion of Oregon
(geographicSubregion KlamathMountains California)	Geography.kif 426-426	Klamath Mountains is a geographic subregion of california
(orientation KlamathMountains CaliforniaCoastRanges North)	Geography.kif 428-428	Klamath Mountains is north of to California Coast Ranges
(overlapsSpatially KlamathMountains CaliforniaCoastRanges)	Geography.kif 429-429	Klamath Mountains and California Coast Ranges overlapsSpatially

(termFormat EnglishLanguage KlamathMountains "Klamath Mountains")	Geography.kif 424-424
(orientation Oregon KlamathMountains West)	Geography.kif 427-427	Oregon is west of to Klamath Mountains