false (False)

The TruthValue of being false.

Ontology

SUMO / QUALITIES

Class(es)

ValoreDiVeritá

false

Coordinate term(s)

likely true unlikely

Related WordNet synsets

counterfactuality: the quality of being contrary to fact
untruthfulness: the quality of being untruthful
falsehood, falsity, untruth, false statement: a false statement
falsity, falseness: the state of being false or untrue; "argument could not determine its truth or falsity"
false: not in accordance with the fact or reality or actuality; "gave false testimony under oath"; "false tales of bravery"
falsely, incorrectly: in an incorrect manner; "to credit Lister with the first formulation of the basic principle of stratigraphy would be to bestow credit falsely"

See more related synsets on a separate page.

Axioms (4)

se agent preferisces formula1 su formula2,
allora se formula1 é true, allora formula2 é false

(=>
      (prefers ?AGENT ?FORMULA1 ?FORMULA2)
      (=>
            (true ?FORMULA1 True)
            (true ?FORMULA2 False)))

false é opposto a true.

(contraryAttribute False True)

Se formula ha un attributo likely, allora "la probabilitá di"formula é true"" é più grande di "la probabilitá di"formula é false"".

(=>
      (property ?FORMULA Likely)
      (greaterThan
            (ProbabilityFn
                  (true ?FORMULA True))
            (ProbabilityFn
                  (true ?FORMULA False))))

Se formula ha un attributo unlikely, allora "la probabilitá di"formula é false"" é più grande di "la probabilitá di"formula é true"".

(=>
      (property ?FORMULA Unlikely)
      (greaterThan
            (ProbabilityFn
                  (true ?FORMULA False))
            (ProbabilityFn
                  (true ?FORMULA True))))