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

ValoreDiVeritá (TruthValue)

The Class of truth values, e.g. True and False. These are Attributes of Sentences and Propositions.

Ontology

SUMO / QUALITIES

Superclass(es)

[tree]
Entitá
is subclass of
  Astratto  
is subclass of
  Attributo  
is subclass of
  AttributoRelazionale  
is subclass of
  ValoreDiVeritá  

Instance(s)

true  false  likely  unlikely 

Coordinate term(s)

AttributoNormativo  AttributoPosizionale  RuoloSociale  FusoOrario 

Constrains relations

true 

Related WordNet synsets

See more related synsets on a separate page.

Axioms (1)

Se item ha un attributo value e value é un' istanza di ValoreDiVeritá, allora item é un' istanza di Frase o item é un' istanza di Proposizione. 
(=>
      (and
            (property ?ITEM ?VALUE)
            (instance ?VALUE TruthValue))
      (or
            (instance ?ITEM Sentence)
            (instance ?ITEM Proposition)))