Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - CaliforniaCoastRanges
CaliforniaCoastRanges(California Coast Ranges)

appearance as argument number 1
-------------------------


(instance CaliforniaCoastRanges MountainRange) Geography.kif 431-431 California Coast Ranges is an instance of mountain range
(documentation CaliforniaCoastRanges EnglishLanguage "The CaliforniaCoastRanges span 400 miles (644 km) from Del Norte or Humboldt County, California, south to Santa Barbara County.The other three coastal California mountain ranges are the Transverse Ranges, Peninsular Ranges and the Klamath Mountains. The northern end of the California Coast Ranges overlap the southern end of the Klamath Mountains for approximately 80 miles (130 km) on the west. [Wikipedia]") Geography.kif 432-437 California Coast Ranges is an instance of mountain range
(geographicSubregion CaliforniaCoastRanges California) Geography.kif 439-439 California Coast Ranges is a geographic subregion of california
(externallyConnected CaliforniaCoastRanges TransverseRanges) Geography.kif 1293-1293 California Coast Ranges and Transverse Ranges are externallyConnected

appearance as argument number 2
-------------------------


(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 CaliforniaCoastRanges "California Coast Ranges") Geography.kif 438-438 Klamath Mountains and California Coast Ranges overlapsSpatially
(orientation
    (SeacoastFn California PacificOcean) CaliforniaCoastRanges West)		 Geography.kif 440-441 The seacoast of california is west of to California Coast Ranges
(connected TransverseRanges CaliforniaCoastRanges) Geography.kif 1290-1290 Transverse Ranges is connected to California Coast Ranges
(orientation TransverseRanges CaliforniaCoastRanges South) Geography.kif 1291-1291 Transverse Ranges is south of to California Coast Ranges
(meetsSpatially CentralValleyCalifornia CaliforniaCoastRanges) Geography.kif 1403-1403 Central Valley California meets California Coast Ranges
(orientation CentralValleyCalifornia CaliforniaCoastRanges East) Geography.kif 1404-1404 Central Valley California is east of to California Coast Ranges

antecedent
-------------------------


(=>
    (and
        (instance ?A PointInSpace)
        (instance ?B PointInSpace)
        (located ?A CaliforniaCoastRanges)
        (located ?B CaliforniaCoastRanges)
        (orientation ?A ?B North)
        (not
            (exists (?A1 ?B1)
                (and
                    (instance ?A1 PointInSpace)
                    (located ?A1 CaliforniaCoastRanges)
                    (orientation ?A1 ?A North)
                    (instance ?B1 PointInSpace)
                    (located ?B1 CaliforniaCoastRanges)
                    (orientation ?B1 ?B South))))
        (distance ?A ?B
            (MeasureFn ?X Mile)))
    (approximateValue ?X 400))		 Geography.kif 443-461 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 California Coast Ranges (4) Y is located at California Coast 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 California Coast Ranges (4) Z is north of to X (5) W is an instance of point in space (6) W is located at California Coast 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 400
(=>
    (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))		 Geography.kif 562-583 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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners