hu3 ke3 (Permission)

Attribute that applies to Propositions that an Agent is permitted, by some authority, to make true.

Ontology

SUMO / QUALITIES

Class(es)

ying4 ran2 shu3 xing4

hu3 ke3

Coordinate term(s)

yi4 wu4

Related WordNet synsets

can, may, might: expresses permission; "You may leave now"; "Can I have another piece of cake?"

See more related synsets on a separate page.

Axioms (3)

If agent you3 quan2 shi3 process wei2 zhen1, then chen2 shu4 "there exists process instance so_that_not instance shi4 agent de5 shi1 shi4 zhe3" you3 hu3 ke3 de5 xing2 tai4 yi4 yi4.

(=>
      (holdsRight ?PROCESS ?AGENT)
      (modalAttribute
            (exists
                  (?INSTANCE)
                  (and
                        (instance ?INSTANCE ?PROCESS)
                        (agent ?INSTANCE ?AGENT)))
            Permission))

Chen2 shu4 formula you3 yi4 wu4 de5 xing2 tai4 yi4 yi4 if and only if chen2 shu4 "formula" you3 hu3 ke3 de5 xing2 tai4 yi4 yi4.

(<=>
      (modalAttribute ?FORMULA Obligation)
      (not
            (modalAttribute
                  (not ?FORMULA)
                  Permission)))

If chen2 shu4 formula you3 yi4 wu4 de5 xing2 tai4 yi4 yi4, then chen2 shu4 formula you3 hu3 ke3 de5 xing2 tai4 yi4 yi4.

(=>
      (modalAttribute ?FORMULA Obligation)
      (modalAttribute ?FORMULA Permission))