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

binary predicate (BinaryPredicate)

A Predicate relating two items - its valence is two.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

class
is instance of
  inheritable relation  
is instance of
  binary predicate  

Superclass(es)

[tree]
entity
is subclass of
  abstract  
is subclass of
  relation  
is subclass of
  predicate  
is subclass of
[tree]
entity
is subclass of
  abstract  
is subclass of
  relation  
is subclass of
  binary relation  
is subclass of
is subclass of
  binary predicate  

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)

case role 

Coordinate term(s)

antisymmetric relation  binary function  binary relation  case role  function  intentional relation  intransitive relation  irreflexive relation  logical operator  object attitude  predicate  probability relation  propositional attitude  quaternary function  quaternary predicate  quaternary relation  quintary predicate  quintary relation  reflexive relation  relation extended to quantities  single valued relation  spatial relation  symmetric relation  temporal relation  ternary function  ternary predicate  ternary relation  transitive relation  trichotomizing relation  unary function 

Axioms (1)

If rel is an instance of binary predicate, then rel %&has argument(s). 
(=>
      (instance ?REL BinaryPredicate)
      (valence ?REL 2))