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

PredicatoBinario (BinaryPredicate)

A Predicate relating two items - its valence is two.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

Classe
is instance of
  inheritable relation  
is instance of
  PredicatoBinario  

Superclass(es)

[tree]
Entitá
is subclass of
  Astratto  
is subclass of
  Relazione  
is subclass of
  Predicato  
is subclass of
[tree]
Entitá
is subclass of
  Astratto  
is subclass of
  Relazione  
is subclass of
  RelazioneBinaria  
is subclass of
is subclass of
  PredicatoBinario  

Instance(s)

instance  inverse  subclass  subrelation  equal  range  range subclass  valence  documentation  disjoint  related internal concept  sub attribute  successor attribute  successor attribute closure  material  sub collection  contains information  property  less than  greater than  less than or equal to  greater than or equal to  increases likelihood  decreases likelihood  independent probability  in scope of interest  in list  sub list  initial list  closed on  reflexive on  irreflexive on  partial ordering on  total ordering on  trichotomizing on  equivalence relation on  distributes  causes  causes subclass  copy  time  holds during  exploits  has purpose  has skill  holds right  holds obligation  partly located  possesses  precondition  inhibits  prevents  refers  subsumes content class  subsumes content instance  expressed in language  sub proposition  uses  identity element  element  graph part  sub graph  path length  arc weight  measure  larger  smaller  duration  frequency  temporal part  starts  finishes  before or equal  overlaps temporally  meets temporally  earlier  cooccur  date  connected  hole  sub process  developmental form  inhabits  parent  sibling  authors  editor  publishes  version  family relation  employs  citizen  faces  modal attribute 

Subclass(es)

RuoloSemantico 

Coordinate term(s)

RelazioneAntisimmetrica  FunzioneBinaria  RelazioneBinaria  RuoloSemantico  Funzione  intentional relation  RelazioneIntransitiva  RelazioneNonRiflessiva  OperatoreLogico  AtteggiamentoOggettuale  Predicato  RelazioneDiProbabilitá  AtteggiamentoProposizionale  FunzioneQuaternaria  PredicatoQuaternario  RelazioneQuaternaria  PredicatoQuinquenario  RelazioneQuinquenaria  RelazioneRiflessiva  RelazioneEstesaAQuantitá  RelazioneMonovalente  RelazioneSpaziale  RelazioneSimmetrica  RelazioneTemporale  FunzioneTernaria  PredicatoTernario  RelazioneTernaria  RelazioneTransitiva  RelazioneTricotomizzante  FunzioneUnaria 

Axioms (1)

Se rel é un' istanza di PredicatoBinario, allora rel %&ha argomento(s. 
(=>
      (instance ?REL BinaryPredicate)
      (valence ?REL 2))