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

Formal Language: 



KB Term:  Term intersection
English Word: 

  permits

Sigma KEE - permits
permits

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


(documentation permits EnglishLanguage "A relation between an AutonomousAgent and Formula that it will not deter from becoming true. Note that permitting something does not entail that the AutonomousAgent necessarily desires it. It does entail that the AutonomousAgent 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 AutonomousAgent permits something it entails a Stating that it will not punish those who do what it permits.") Law.kif 26-35
(domain permits 1 AutonomousAgent) Law.kif 21-21 permits の数値 1 引数は AutonomousAgentinstance では %n
(domain permits 2 Formula) Law.kif 22-22 permits の数値 2 引数は 公式instance では %n
(instance permits BinaryPredicate) Law.kif 20-20 permits2進述語instance では %n

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


(format EnglishLanguage permits "%1 permits %2") Law.kif 24-24
(termFormat EnglishLanguage permits "permits") Law.kif 23-23

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


(=>
    (permits ?A ?F)
    (not
        (prohibits ?A ?F)))
Law.kif 37-40

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