Wählen Sie Sprache: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

possibility (Possibility)

Attribute that applies to Propositions that are possible, i.e. true in at least one possible world.

Ontology

SUMO / QUALITIES

Class(es)

alethisches Attribut
is instance of
  possibility  

Coordinate term(s)

necessity 

Related WordNet synsets

potential, possible
existing in possibility; "a potential problem"; "possible uses of nuclear poser"
potential is opposite to...   potential is similar to...   potential is an attribute of  
possible
capable of happening or existing; "a breakthrough may be possible next year"; "anything is possible"; "warned of possible consequences"
possible is opposite to...   see also...   possible is similar to...   possible is an attribute of  
See more related synsets on a separate page.

Axioms (2)

Die Aussage formula hat die modale Kraft von necessity nur wenn die Aussage "formula" hat die modale Kraft von possibility. 
(<=>
      (modalAttribute ?FORMULA Necessity)
      (not
            (modalAttribute
                  (not ?FORMULA)
                  Possibility)))
Wenn die Aussage formula hat die modale Kraft von necessity, dann die Aussage formula hat die modale Kraft von possibility. 
(=>
      (modalAttribute ?FORMULA Necessity)
      (modalAttribute ?FORMULA Possibility))