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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - permits

appearance as argument number 1

(documentation permits EnglishLanguage "A relation between an Agent and Formula that it will not deter from becoming true. Note that permitting something does not entail that the Agent necessarily desires it. It does entail that the Agent would have power, at least to some degree, to prohibit it. For example, a government may permit smoking marijuana under some conditions (such as being of a certain ageOfMajority) without saying that it encourages its use, and it could at another time prohibit its use (if the voters approve a law making its use Illegal). Like punishes it also is an institutional relation. When an Agent permits something it entails a Stating that it will not punish those who do what it permits.") Law.kif 39-48
(domain permits 1 Agent) Law.kif 34-34
(domain permits 2 Formula) Law.kif 35-35
(instance permits BinaryRelation) Law.kif 33-33

appearance as argument number 2

(format EnglishLanguage permits "%1 permits %2") Law.kif 37-37
(termFormat EnglishLanguage permits "permits") Law.kif 36-36


    (permits ?A ?F)
        (prohibits ?A ?F)))
Law.kif 50-53


    (prohibits ?A ?F)
        (permits ?A ?F)))
Law.kif 73-76

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