Select language: 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)

AttributoAletico
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)

L'affermazione formula ha il modello di forza di necessity se e solo se l'affermazione "formula" ha il modello di forza di possibility. 
(<=>
      (modalAttribute ?FORMULA Necessity)
      (not
            (modalAttribute
                  (not ?FORMULA)
                  Possibility)))
Se l'affermazione formula ha il modello di forza di necessity, allora l'affermazione formula ha il modello di forza di possibility. 
(=>
      (modalAttribute ?FORMULA Necessity)
      (modalAttribute ?FORMULA Possibility))