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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Checkpoint
Checkpoint

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


(documentation Checkpoint EnglishLanguage "An area on or very near a border, usually along a road connecting two regions, where MilitaryPersons or PoliceOfficers restrict the flow of traffic in order to extract tarrifs, deny movement to certain kinds of people or goods, or other enforement actions. Because of the power relationship involved, such areas are often the site of Illegal activities conducted by the officials in order to extract favors or bribes.") Geography.kif 733-739
(externalImage Checkpoint "http://upload.wikimedia.org/wikipedia/commons/ 0/ 00/ CheckpointCharlie1989.jpg") pictureList.kif 1471-1471
(subclass Checkpoint GeographicArea) Geography.kif 732-732 subclass Checkpoint and GeographicArea

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


(termFormat ChineseLanguage Checkpoint "检查站") domainEnglishFormat.kif 14191-14191
(termFormat ChineseTraditionalLanguage Checkpoint "檢查站") domainEnglishFormat.kif 14190-14190
(termFormat EnglishLanguage Checkpoint "checkpoint") domainEnglishFormat.kif 14189-14189

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


(=>
    (instance ?X Checkpoint)
    (or
        (exists (?ROAD)
            (and
                (instance ?ROAD Road)
                (orientation ?ROAD ?X Near)))
        (exists (?REG1 ?REG2)
            (orientation
                (BorderFn ?REG1 ?REG2) ?X Near))))
Geography.kif 741-749


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners