Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

ke3 neng2 xing4 (Possibility)

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

Ontology

SUMO / QUALITIES

Class(es)

ke3 neng2 xing4 shu3 xing4
is instance of
  ke3 neng2 xing4  

Coordinate term(s)

bi4 yao4 xing4 

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)

Chen2 shu4 formula you3 bi4 yao4 xing4 de5 xing2 tai4 yi4 yi4 if and only if chen2 shu4 "formula" you3 ke3 neng2 xing4 de5 xing2 tai4 yi4 yi4. 
(<=>
      (modalAttribute ?FORMULA Necessity)
      (not
            (modalAttribute
                  (not ?FORMULA)
                  Possibility)))
If chen2 shu4 formula you3 bi4 yao4 xing4 de5 xing2 tai4 yi4 yi4, then chen2 shu4 formula you3 ke3 neng2 xing4 de5 xing2 tai4 yi4 yi4. 
(=>
      (modalAttribute ?FORMULA Necessity)
      (modalAttribute ?FORMULA Possibility))