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

subrelation (subrelation)

A Relation R is a subrelation Relation R' if R is a subclass R'. This implies that every tuple of R is also a tuple of R'. Again, if R holds for some arguments arg_1, arg_2, ... arg_n, then R' holds for the same arguments. Thus, a Relation and its subrelation must have the same valence. In CycL, subrelation is called #$genlPreds.

Ontology

SUMO / STRUCTURAL-ONTOLOGY

Class(es)

Classe
is instance of
  inheritable relation  
is instance of
  PredicatoBinario  
is instance of
RelazioneDiOrdineParziale
is instance of
is instance of
  subrelation  

Coordinate term(s)

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

Type restrictions

subrelation(Relazione, Relazione)

Axioms (7)

Se pred1 é una sottorelazione di pred2 e pred1 %&ha number argomento(s, allora pred2 %&ha number argomento(s. 
(=>
      (and
            (subrelation ?PRED1 ?PRED2)
            (valence ?PRED1 ?NUMBER))
      (valence ?PRED2 ?NUMBER))
Se pred1 é una sottorelazione di pred2 e il numero number argomenti di pred2 é un istanza di class1, allora il numero number argomenti di pred1 é un istanza di class1. 
(=>
      (and
            (subrelation ?PRED1 ?PRED2)
            (domain ?PRED2 ?NUMBER ?CLASS1))
      (domain ?PRED1 ?NUMBER ?CLASS1))
Se rel1 é una sottorelazione di rel2 e rel1( vales, allora rel2( vales. 
(=>
      (and
            (subrelation ?REL1 ?REL2)
            (holds ?REL1 @ROW))
      (holds ?REL2 @ROW))
Se pred1 é una sottorelazione di pred2 e pred2 é un' istanza di class e class é un' istanza di inheritable relation, allora pred1 é un' istanza di class. 
(=>
      (and
            (subrelation ?PRED1 ?PRED2)
            (instance ?PRED2 ?CLASS)
            (instance ?CLASS InheritableRelation))
      (instance ?PRED1 ?CLASS))
Se rel1 é una sottorelazione di rel2 e il numero number argomento rel2 é una sottoclasse diclass1, allora il numero number argomento rel1 é una sottoclasse diclass1. 
(=>
      (and
            (subrelation ?REL1 ?REL2)
            (domainSubclass ?REL2 ?NUMBER ?CLASS1))
      (domainSubclass ?REL1 ?NUMBER ?CLASS1))
Se rel1 é una sottorelazione di rel2 e rango di rel2 é un'istanza di class1, allora rango di rel1 é un'istanza di class1. 
(=>
      (and
            (subrelation ?REL1 ?REL2)
            (range ?REL2 ?CLASS1))
      (range ?REL1 ?CLASS1))
Se rel1 é una sottorelazione di rel2 e i valori resi da rel2 sono sottoclassi diclass1, allora i valori resi da rel1 sono sottoclassi diclass1. 
(=>
      (and
            (subrelation ?REL1 ?REL2)
            (rangeSubclass ?REL2 ?CLASS1))
      (rangeSubclass ?REL1 ?CLASS1))