| 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 | The number 1 argument of permits is an instance of agent |
| (domain permits 2 Formula) | Law.kif 22-22 | The number 2 argument of permits is an instance of formula |
| (instance permits BinaryPredicate) | Law.kif 20-20 | permits is an instance of binary predicate |
| 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 |
|
| consequent |
|
|
| (=> (prohibits ?A ?F) (not (permits ?A ?F))) |
Law.kif 60-63 |
|
|
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 is open source software produced by Articulate Software and its partners