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



KB Term:  Term intersection
English Word: 

Sigma KEE - KlamathMountains
KlamathMountains(Klamath Mountains)

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


(instance KlamathMountains MountainRange) Geography.kif 419-419 Klamath Mountains is an instance of mountain range
(documentation KlamathMountains EnglishLanguage "The KlamathMountains are a rugged and lightly populated mountain range in northwestern California and southwestern Oregon in the western United States. It is a mountain system within both the greater Pacific Coast Ranges and the California Coast Ranges.[Wikipedia]") Geography.kif 420-423 Klamath Mountains is an instance of mountain range
(geographicSubregion KlamathMountains Oregon) Geography.kif 425-425 Klamath Mountains is a geographic subregion of Oregon
(geographicSubregion KlamathMountains California) Geography.kif 426-426 Klamath Mountains is a geographic subregion of california
(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

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


(termFormat EnglishLanguage KlamathMountains "Klamath Mountains") Geography.kif 424-424
(orientation Oregon KlamathMountains West) Geography.kif 427-427 Oregon is west of to Klamath Mountains

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


(=>
    (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