TreeView Knowledge Base Browser

appearance as argument number 1

(instance PeninsularRanges MountainRange)	Geography.kif 1298-1298	Peninsular Ranges is an instance of mountain range
(documentation PeninsularRanges EnglishLanguage "The PeninsularRanges are a group of mountain ranges that stretch 930 mi (1,500 km) from Southern California to the southern tip of the Baja California peninsula; they are part of the North American Pacific Coast Ranges, which run along the Pacific coast from Alaska to Mexico. Elevations range from 500 to 10,834 ft (150 to 3,300 m). [Wikipedia]")	Geography.kif 1299-1303	Peninsular Ranges is an instance of mountain range
(geographicSubregion PeninsularRanges California)	Geography.kif 1305-1305	Peninsular Ranges is a geographic subregion of california
(orientation PeninsularRanges TransverseRanges South)	Geography.kif 1306-1306	Peninsular Ranges is south of to Transverse Ranges

appearance as argument number 2

antecedent

(=>
    (and
        (instance ?A PointInSpace)
        (instance ?B PointInSpace)
        (located ?A PeninsularRanges)
        (located ?B PeninsularRanges)
        (orientation ?A ?B North)
        (not
            (exists (?A1 ?B1)
                (and
                    (instance ?A1 PointInSpace)
                    (located ?A1 PeninsularRanges)
                    (orientation ?A1 ?A North)
                    (instance ?B1 PointInSpace)
                    (located ?B1 PeninsularRanges)
                    (orientation ?B1 ?B South))))
        (distance ?A ?B
            (MeasureFn ?X Mile)))
    (approximateValue ?X 930))

If All of the following hold: (1) X is an instance of point in space (2) Y is an instance of point in space (3) X is located at Peninsular Ranges (4) Y is located at Peninsular Ranges (5) X is north of to Y (6) All of the following hold: (1) there don't exist Z (2) W such that Z is an instance of point in space (3) Z is located at Peninsular Ranges (4) Z is north of to X (5) W is an instance of point in space (6) W is located at Peninsular Ranges (7) W is south of to Y (7) the distance between X and Y is V mile(s), then the approximate value of V is 930