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


KB Term:  Term intersection
English Word: 

  AndesMountains

 Sigma KEE - AndesMountains
AndesMountains(Andes Mountains)

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


(instance AndesMountains MountainRange) Geography.kif 1413-1413 Andes Mountains is an instance of mountain range
(documentation AndesMountains EnglishLanguage "The AndesMountains, Andean Mountain Range are the longest continental mountain range in the world, forming a continuous highland along the western edge of SouthAmerica. The range is 8,900 km (5,500 mi) long and 200 to 700 km (120 to 430 mi) wide (widest between 18°S and 20°S latitude) and has an average height of about 4,000 m (13,000 ft). The Andes extend from south to north through seven South American countries: Argentina, Chile, Bolivia, Peru, Ecuador, Colombia, and Venezuela.[Wikipedia]") Geography.kif 1414-1420 Andes Mountains is an instance of mountain range
(geographicSubregion AndesMountains SouthAmerica) Geography.kif 1423-1423 Andes Mountains is a geographic subregion of south america
(traverses AndesMountains Argentina) Geography.kif 1424-1424 Andes Mountains traverses argentina
(traverses AndesMountains Chile) Geography.kif 1425-1425 Andes Mountains traverses chile
(traverses AndesMountains Bolivia) Geography.kif 1426-1426 Andes Mountains traverses bolivia
(traverses AndesMountains Peru) Geography.kif 1427-1427 Andes Mountains traverses peru
(traverses AndesMountains Ecuador) Geography.kif 1428-1428 Andes Mountains traverses ecuador
(traverses AndesMountains Colombia) Geography.kif 1429-1429 Andes Mountains traverses colombia
(traverses AndesMountains Venezuela) Geography.kif 1430-1430 Andes Mountains traverses venezuela

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


(termFormat EnglishLanguage AndesMountains "Andes Mountains") Geography.kif 1421-1421
(names "Andes" AndesMountains) Geography.kif 1422-1422 Andes Mountains has name "Andes"
(orientation Brazil AndesMountains East) Geography.kif 1431-1431 Brazil is east of to Andes Mountains
(orientation Paraguay AndesMountains East) Geography.kif 1432-1432 Paraguay is east of to Andes Mountains
(orientation
    (SeacoastFn SouthAmerica PacificOcean) AndesMountains West)		 Geography.kif 1433-1434 The seacoast of south america is west of to Andes Mountains

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


(=>
    (and
        (instance ?A PointInSpace)
        (instance ?B PointInSpace)
        (located ?A AndesMountains)
        (located ?B AndesMountains)
        (orientation ?A ?B North)
        (not
            (exists (?A1 ?B1)
                (and
                    (instance ?A1 PointInSpace)
                    (located ?A1 AndesMountains)
                    (orientation ?A1 ?A North)
                    (instance ?B1 PointInSpace)
                    (located ?B1 AndesMountains)
                    (orientation ?B1 ?B South))))
        (distance ?A ?B
            (MeasureFn ?X Mile)))
    (approximateValue ?X 5500))		 Geography.kif 1436-1454 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 Andes Mountains (4) Y is located at Andes 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 Andes Mountains (4) Z is north of to X (5) W is an instance of point in space (6) W is located at Andes 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 5500
(=>
    (and
        (instance ?A PointInSpace)
        (instance ?B PointInSpace)
        (located ?A AndesMountains)
        (located ?B AndesMountains)
        (orientation ?A ?B East)
        (not
            (exists (?A1 ?B1)
                (and
                    (instance ?A1 PointInSpace)
                    (located ?A1 AndesMountains)
                    (orientation ?A1 ?A East)
                    (instance ?B1 PointInSpace)
                    (located ?B1 AndesMountains)
                    (orientation ?B1 ?B West))))
        (distance ?A ?B
            (MeasureFn ?X Mile)))
    (and
        (greaterThan ?X 120)
        (greaterThan 430 ?X)))		 Geography.kif 1456-1476 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 Andes Mountains (4) Y is located at Andes 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 Andes Mountains (4) Z is east of to X (5) W is an instance of point in space (6) W is located at Andes Mountains (7) W is west of to Y (7) the distance between X and Y is V mile(s), then V is greater than 120 and 430 is greater than V

consequent
-------------------------


(=>
    (and
        (instance ?W ZondaWind)
        (eventLocated ?W ?A)
        (geographicSubregion ?A Argentina))
    (orientation ?A AndesMountains East))		 Weather.kif 2204-2209 If X is an instance of Zonda wind, X is located at Y, and Y is a geographic subregion of argentina, then Y is east of to Andes Mountains


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