TreeView Knowledge Base Browser

appearance as argument number 1

(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
(geographicSubregion RockyMountains Canada)	Geography.kif 364-364	Rocky Mountains is a geographic subregion of canada
(geographicSubregion RockyMountains NorthAmerica)	Geography.kif 354-354	Rocky Mountains is a geographic subregion of north america
(geographicSubregion RockyMountains UnitedStates)	Geography.kif 365-365	Rocky Mountains is a geographic subregion of united states
(instance RockyMountains MountainRange)	Geography.kif 346-346	Rocky Mountains is an instance of mountain range
(orientation RockyMountains BritishColumbia East)	Geography.kif 1527-1527	Rocky Mountains is east to British Columbia
(orientation RockyMountains Kansas East)	Geography.kif 372-372	Rocky Mountains is east to Kansas
(orientation RockyMountains Nebraska East)	Geography.kif 373-373	Rocky Mountains is east to Nebraska
(orientation RockyMountains NorthDakota East)	Geography.kif 375-375	Rocky Mountains is east to north dakota
(orientation RockyMountains Oklahoma East)	Geography.kif 371-371	Rocky Mountains is east to Oklahoma
(orientation RockyMountains PacificNorthwest West)	Geography.kif 1487-1487	Rocky Mountains is west to Pacific Northwest
(orientation RockyMountains SouthDakota East)	Geography.kif 374-374	Rocky Mountains is east to South Dakota
(orientation RockyMountains Texas East)	Geography.kif 370-370	Rocky Mountains is east to texas
(orientation RockyMountains WesternNorthAmerica West)	Geography.kif 1500-1500	Rocky Mountains is west to Western NorthAmerica
(traverses RockyMountains Alberta)	Geography.kif 356-356	Rocky Mountains traverses Alberta
(traverses RockyMountains BritishColumbia)	Geography.kif 355-355	Rocky Mountains traverses British Columbia
(traverses RockyMountains Colorado)	Geography.kif 362-362	Rocky Mountains traverses colorado
(traverses RockyMountains Idaho)	Geography.kif 358-358	Rocky Mountains traverses Idaho
(traverses RockyMountains Montana)	Geography.kif 359-359	Rocky Mountains traverses Montana
(traverses RockyMountains NewMexico)	Geography.kif 363-363	Rocky Mountains traverses new mexico
(traverses RockyMountains Utah)	Geography.kif 361-361	Rocky Mountains traverses utah
(traverses RockyMountains Washington)	Geography.kif 357-357	Rocky Mountains traverses washington
(traverses RockyMountains Wyoming)	Geography.kif 360-360	Rocky Mountains traverses wyoming

appearance as argument number 2

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

antecedent

(=> (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 an object is an instance of point in space and another object is an instance of point in space and the object is located at Rocky Mountains and the other object is located at Rocky Mountains and the object is east to the other object and there don't exist the object1 and the other object1 such that the object1 is an instance of point in space and the object1 is located at Rocky Mountains and the object1 is east to the object and the other object1 is an instance of point in space and the other object1 is located at Rocky Mountains and the other object1 is west to the other object and the distance between the object and the other object is a real number mile(s), then the real number is greater than 70 and 300 is greater than the real number
(=> (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 an object is an instance of point in space and another object is an instance of point in space and the object is located at Rocky Mountains and the other object is located at Rocky Mountains and the object is north to the other object and there don't exist the object1 and the other object1 such that the object1 is an instance of point in space and the object1 is located at Rocky Mountains and the object1 is north to the object and the other object1 is an instance of point in space and the other object1 is located at Rocky Mountains and the other object1 is south to the other object and the distance between the object and the other object is a real number mile(s), then the approximate value of the real number is 3000

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: