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

KB Term:  Term intersection
English Word: 

Sigma KEE - RockyMountains
RockyMountains(Rocky Mountains)

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


(instance RockyMountains MountainRange) Geography.kif 346-346 Rocky Mountains is an instance of mountain range
(documentation RockyMountains EnglishLanguage "The RockyMountains, also known as the Rockies, are a major mountain range and the largest mountain system in NorthAmerica. The Rocky Mountains stretch 3,000 miles (4,800 kilometers) in straight-line distance from the northernmost part of Western Canada, to New Mexico in the Southwestern United States.The Rockies vary in width from 110 to 480 kilometres (70 to 300 miles). [Wikipedia]") Geography.kif 347-351 Rocky Mountains is an instance of mountain range
(geographicSubregion RockyMountains NorthAmerica) Geography.kif 354-354 Rocky Mountains is a geographic subregion of north america
(traverses RockyMountains BritishColumbia) Geography.kif 355-355 Rocky Mountains traverses British Columbia
(traverses RockyMountains Alberta) Geography.kif 356-356 Rocky Mountains traverses Alberta
(traverses RockyMountains Washington) Geography.kif 357-357 Rocky Mountains traverses washington
(traverses RockyMountains Idaho) Geography.kif 358-358 Rocky Mountains traverses Idaho
(traverses RockyMountains Montana) Geography.kif 359-359 Rocky Mountains traverses Montana
(traverses RockyMountains Wyoming) Geography.kif 360-360 Rocky Mountains traverses wyoming
(traverses RockyMountains Utah) Geography.kif 361-361 Rocky Mountains traverses utah
(traverses RockyMountains Colorado) Geography.kif 362-362 Rocky Mountains traverses colorado
(traverses RockyMountains NewMexico) Geography.kif 363-363 Rocky Mountains traverses new mexico
(geographicSubregion RockyMountains Canada) Geography.kif 364-364 Rocky Mountains is a geographic subregion of canada
(geographicSubregion RockyMountains UnitedStates) Geography.kif 365-365 Rocky Mountains is a geographic subregion of united states
(orientation RockyMountains Texas East) Geography.kif 370-370 Rocky Mountains is east of to texas
(orientation RockyMountains Oklahoma East) Geography.kif 371-371 Rocky Mountains is east of to Oklahoma
(orientation RockyMountains Kansas East) Geography.kif 372-372 Rocky Mountains is east of to Kansas
(orientation RockyMountains Nebraska East) Geography.kif 373-373 Rocky Mountains is east of to Nebraska
(orientation RockyMountains SouthDakota East) Geography.kif 374-374 Rocky Mountains is east of to South Dakota
(orientation RockyMountains NorthDakota East) Geography.kif 375-375 Rocky Mountains is east of to north dakota
(orientation RockyMountains PacificNorthwest West) Geography.kif 1487-1487 Rocky Mountains is west of to Pacific Northwest
(orientation RockyMountains WesternNorthAmerica West) Geography.kif 1500-1500 Rocky Mountains is west of to Western NorthAmerica
(orientation RockyMountains BritishColumbia East) Geography.kif 1527-1527 Rocky Mountains is east of to British Columbia

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


(termFormat EnglishLanguage RockyMountains "Rocky Mountains") Geography.kif 352-352
(names "Rockies" RockyMountains) Geography.kif 353-353 Rocky Mountains has name "Rockies"
(orientation Oregon RockyMountains West) Geography.kif 366-366 Oregon is west of to Rocky Mountains
(orientation Nevada RockyMountains West) Geography.kif 367-367 Nevada is west of to Rocky Mountains
(orientation California RockyMountains West) Geography.kif 368-368 California is west of to Rocky Mountains
(orientation Arizona RockyMountains West) Geography.kif 369-369 Arizona is west of to Rocky Mountains
(meetsSpatially BritishColumbia RockyMountains) Geography.kif 1526-1526 British Columbia meets Rocky Mountains

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


(=>
    (and
        (instance ?A PointInSpace)
        (instance ?B PointInSpace)
        (located ?A RockyMountains)
        (located ?B RockyMountains)
        (orientation ?A ?B North)
        (not
            (exists (?A1 ?B1)
                (and
                    (instance ?A1 PointInSpace)
                    (located ?A1 RockyMountains)
                    (orientation ?A1 ?A North)
                    (instance ?B1 PointInSpace)
                    (located ?B1 RockyMountains)
                    (orientation ?B1 ?B South))))
        (distance ?A ?B
            (MeasureFn ?X Mile)))
    (approximateValue ?X 3000))		 Geography.kif 377-395 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 Rocky Mountains (4) Y is located at Rocky Mountains (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 Rocky Mountains (4) Z is north of to X (5) W is an instance of point in space (6) W is located at Rocky Mountains (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 3000
(=>
    (and
        (instance ?A PointInSpace)
        (instance ?B PointInSpace)
        (located ?A RockyMountains)
        (located ?B RockyMountains)
        (orientation ?A ?B East)
        (not
            (exists (?A1 ?B1)
                (and
                    (instance ?A1 PointInSpace)
                    (located ?A1 RockyMountains)
                    (orientation ?A1 ?A East)
                    (instance ?B1 PointInSpace)
                    (located ?B1 RockyMountains)
                    (orientation ?B1 ?B West))))
        (distance ?A ?B
            (MeasureFn ?X Mile)))
    (and
        (greaterThan ?X 70)
        (greaterThan 300 ?X)))		 Geography.kif 397-417 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 Rocky Mountains (4) Y is located at Rocky Mountains (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 Rocky Mountains (4) Z is east of to X (5) W is an instance of point in space (6) W is located at Rocky Mountains (7) W is west of to Y (7) the distance between X and Y is V mile(s), then V is greater than 70 and 300 is greater than V


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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners