@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix log:  <http://www.w3.org/2000/10/swap/log#> .
@prefix huang: <URN:ISBN:0-89281-656-2#> .
@prefix iching: <http://code.google.com/p/python-dlp/wiki/YiJingModelTheory#> .
{ ?GUA iching:inverse ?INVERSE; iching:firstLine ?YAO } => { ?INVERSE iching:sixthLine ?YAO } .
{ ?GUA iching:inverse ?INVERSE; iching:secondLine ?YAO } => { ?INVERSE iching:fifthLine ?YAO } .
{ ?GUA iching:inverse ?INVERSE; iching:thirdLine ?YAO } => { ?INVERSE iching:fourthLine ?YAO } .
{ ?GUA iching:inverse ?INVERSE; iching:fourthLine ?YAO } => { ?INVERSE iching:thirdLine ?YAO } .
{ ?GUA iching:inverse ?INVERSE; iching:fifthLine ?YAO } => { ?INVERSE iching:secondLine ?YAO } .
{ ?GUA iching:inverse ?INVERSE; iching:sixthLine ?YAO } => { ?INVERSE iching:firstLine ?YAO } .

{ ?GUA iching:inverse ?OTHER  } => { ?OTHER iching:inverse ?GUA } .

{ ?GUA1 iching:lowerPrimaryGua ?LOWER;
        iching:upperPrimaryGua ?UPPER;
        iching:inverse ?GUA2 .
  ?GUA2 iching:lowerPrimaryGua ?LOWER;
        iching:upperPrimaryGua ?UPPER .
} => { ?GUA a iching:NonInvertibleGua . ?GUA2 a iching:NonInvertibleGua } .

{ ?GUA iching:firstLine  iching:Yang;
       iching:secondLine iching:Yang;
       iching:thirdLine  iching:Yang  } => { ?GUA iching:lowerPrimaryGua huang:Heaven } .
{ ?GUA iching:firstLine  iching:Yin;
       iching:secondLine iching:Yin;
       iching:thirdLine  iching:Yin  } => { ?GUA iching:lowerPrimaryGua huang:Earth } .
{ ?GUA iching:firstLine  iching:Yin;
       iching:secondLine iching:Yang;
       iching:thirdLine  iching:Yin  } => { ?GUA iching:lowerPrimaryGua huang:Water } .
{ ?GUA iching:firstLine  iching:Yin;
       iching:secondLine iching:Yang;
       iching:thirdLine  iching:Yang  } => { ?GUA iching:lowerPrimaryGua huang:Wind } .
{ ?GUA iching:firstLine  iching:Yang;
       iching:secondLine iching:Yin;
       iching:thirdLine  iching:Yin  } => { ?GUA iching:lowerPrimaryGua huang:Thunder } .
{ ?GUA iching:firstLine  iching:Yang;
       iching:secondLine iching:Yin;
       iching:thirdLine  iching:Yang  } => { ?GUA iching:lowerPrimaryGua huang:Fire } .
{ ?GUA iching:firstLine  iching:Yang;
       iching:secondLine iching:Yang;
       iching:thirdLine  iching:Yin  } => { ?GUA iching:lowerPrimaryGua huang:Lake } .
{ ?GUA iching:firstLine  iching:Yin;
       iching:secondLine iching:Yin;
       iching:thirdLine  iching:Yang  } => { ?GUA iching:lowerPrimaryGua huang:Mountain } .

{ ?GUA iching:fourthLine  iching:Yang;
       iching:fifthLine iching:Yang;
       iching:sixthLine  iching:Yang  } => { ?GUA iching:upperPrimaryGua huang:Heaven } .
{ ?GUA iching:fourthLine  iching:Yin;
      iching:fifthLine iching:Yin;
      iching:sixthLine  iching:Yang  } => { ?GUA iching:upperPrimaryGua huang:Mountain } .
       
{ ?GUA iching:fourthLine  iching:Yin;
       iching:fifthLine iching:Yin;
       iching:sixthLine  iching:Yin  } => { ?GUA iching:upperPrimaryGua huang:Earth } .
{ ?GUA iching:fourthLine  iching:Yin;
       iching:fifthLine iching:Yang;
       iching:sixthLine  iching:Yin  } => { ?GUA iching:upperPrimaryGua huang:Water } .
{ ?GUA iching:fourthLine  iching:Yin;
       iching:fifthLine iching:Yang;
       iching:sixthLine  iching:Yang  } => { ?GUA iching:upperPrimaryGua huang:Wind } .  
{ ?GUA iching:fourthLine  iching:Yang;
       iching:fifthLine iching:Yin;
       iching:sixthLine  iching:Yin  } => { ?GUA iching:upperPrimaryGua huang:Thunder } .
{ ?GUA iching:fourthLine  iching:Yang;
       iching:fifthLine iching:Yin;
       iching:sixthLine  iching:Yang  } => { ?GUA iching:upperPrimaryGua huang:Fire } .
{ ?GUA iching:fourthLine  iching:Yang;
       iching:fifthLine iching:Yang;
       iching:sixthLine  iching:Yin  } => { ?GUA iching:upperPrimaryGua huang:Lake } .