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


KB Term:  Term intersection
English Word: 

  SierraNevada

 Sigma KEE - SierraNevada
SierraNevada(Sierra Nevada)

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


(instance SierraNevada MountainRange) Geography.kif 1328-1328 Sierra Nevada is an instance of mountain range
(documentation SierraNevada EnglishLanguage "The SierraNevada is a mountain range in the Western United States, between the Central Valley of California and the Great Basin. The vast majority of the range lies in the state of California, although the Carson Range spur lies primarily in Nevada. The Sierra runs 400 mi (640 km) north-south, and its width ranges from 50 mi (80 km) to 80 mi (130 km) across east–west.[Wikipedia]") Geography.kif 1329-1333 Sierra Nevada is an instance of mountain range
(geographicSubregion SierraNevada California) Geography.kif 1335-1335 Sierra Nevada is a geographic subregion of california
(geographicSubregion SierraNevada Nevada) Geography.kif 1336-1336 Sierra Nevada is a geographic subregion of Nevada

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


(orientation MojaveDesert SierraNevada Downwind) Geography.kif 509-509 Mojave Desert is downwind from to Sierra Nevada
(termFormat EnglishLanguage SierraNevada "Sierra Nevada") Geography.kif 1334-1334 Mojave Desert is downwind from to Sierra Nevada
(geographicSubregion MountWhitney SierraNevada) Geography.kif 1385-1385 Mount Whitney is a geographic subregion of Sierra Nevada
(meetsSpatially CentralValleyCalifornia SierraNevada) Geography.kif 1405-1405 Central Valley California meets Sierra Nevada
(orientation CentralValleyCalifornia SierraNevada West) Geography.kif 1406-1406 Central Valley California is west of to Sierra Nevada

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


(=>
    (and
        (instance ?A PointInSpace)
        (instance ?B PointInSpace)
        (located ?A SierraNevada)
        (located ?B SierraNevada)
        (orientation ?A ?B North)
        (not
            (exists (?A1 ?B1)
                (and
                    (instance ?A1 PointInSpace)
                    (located ?A1 SierraNevada)
                    (orientation ?A1 ?A North)
                    (instance ?B1 PointInSpace)
                    (located ?B1 SierraNevada)
                    (orientation ?B1 ?B South))))
        (distance ?A ?B
            (MeasureFn ?X Mile)))
    (approximateValue ?X 400))		 Geography.kif 1338-1356 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 Sierra Nevada (4) Y is located at Sierra Nevada (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 Sierra Nevada (4) Z is north of to X (5) W is an instance of point in space (6) W is located at Sierra Nevada (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 ?A PointInSpace)
        (instance ?B PointInSpace)
        (located ?A SierraNevada)
        (located ?B SierraNevada)
        (orientation ?A ?B East)
        (not
            (exists (?A1 ?B1)
                (and
                    (instance ?A1 PointInSpace)
                    (located ?A1 SierraNevada)
                    (orientation ?A1 ?A East)
                    (instance ?B1 PointInSpace)
                    (located ?B1 SierraNevada)
                    (orientation ?B1 ?B West))))
        (distance ?A ?B
            (MeasureFn ?X Mile)))
    (and
        (greaterThan ?X 50)
        (greaterThan 80 ?X)))		 Geography.kif 1358-1378 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 Sierra Nevada (4) Y is located at Sierra Nevada (5) X is east 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 Sierra Nevada (4) Z is east of to X (5) W is an instance of point in space (6) W is located at Sierra Nevada (7) W is west of to Y (7) the distance between X and Y is V mile(s), then V is greater than 50 and 80 is greater than V


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

Show without tree

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