Różnice

Różnice między wybraną wersją a wersją aktualną.

Odnośnik do tego porównania

Both sides previous revision Poprzednia wersja
Nowa wersja
Poprzednia wersja
pl:miw:miw08_xtt_rif:thermostat [2008/03/31 15:57]
miw
pl:miw:miw08_xtt_rif:thermostat [2019/06/27 15:50] (aktualna)
Linia 3: Linia 3:
 <?xml version="​1.0"​ encoding="​UTF-8"?>​ <?xml version="​1.0"​ encoding="​UTF-8"?>​
  
-<Ruleset>​ +<Group xmlns="​http:​//www.w3.org/​2007/​rif#"​
- <​rule>​ + <sentence
-  <​declare><​Var>​dayofweek<​/Var></declare+  <​Implies>​ 
-  <formula+   ​<​if>​ 
-   ​<​Implies>​ +    <​Or>​ 
-    <​if>​ +     ​<​formula>​ 
-      <​Or>​ +      <​Equal>​ 
-       ​<​formula>​ +       ​<side><​Var>​dayofweek</​Var></​side
-        <​Equal>​ +       ​<side><​Const type="​xsd:​string">​Monday</​Const></​side
-         ​<arg><​Var>​dayofweek</​Var></​arg+      </​Equal>​ 
-         ​<arg><​Const type="​xsd:​string">​Monday</​Const></​arg+     ​</​formula>​ 
-        </​Equal>​ +     ​<​formula>​ 
-       ​</​formula>​ +      <​Equal>​ 
-       ​<​formula>​ +       ​<side><​Var>​dayofweek</​Var></​side
-        <​Equal>​ +       ​<side><​Const type="​xsd:​string">​Tuesday</​Const></​side
-         ​<arg><​Var>​dayofweek</​Var></​arg+      </​Equal>​ 
-         ​<arg><​Const type="​xsd:​string">​Tuesday</​Const></​arg+     ​</​formula>​ 
-        </​Equal>​ +     ​<​formula>​ 
-       ​</​formula>​ +      <​Equal>​ 
-       ​<​formula>​ +       ​<side><​Var>​dayofweek</​Var></​side
-        <​Equal>​ +       ​<side><​Const type="​xsd:​string">​Wednesday</​Const></​side
-         ​<arg><​Var>​dayofweek</​Var></​arg+      </​Equal>​ 
-         ​<arg><​Const type="​xsd:​string">​Wednesday</​Const></​arg+     ​</​formula>​ 
-        </​Equal>​ +     ​<​formula>​ 
-       ​</​formula>​ +      <​Equal>​ 
-       ​<​formula>​ +       ​<side><​Var>​dayofweek</​Var></​side
-        <​Equal>​ +      <side><​Const type="​xsd:​string">​Thursday</​Const></​side
-         ​<arg><​Var>​dayofweek</​Var></​arg+       ​</​Equal>​ 
-         ​<arg><​Const type="​xsd:​string">​Thursday</​Const></​arg+     ​</​formula>​ 
-        </​Equal>​ +     ​<​formula>​ 
-       ​</​formula>​ +      <​Equal>​ 
-       ​<​formula>​ +       ​<side><​Var>​dayofweek</​Var></​side
-        <​Equal>​ +       ​<side><​Const type="​xsd:​string">​Friday</​Const></​side
-         ​<arg><​Var>​dayofweek</​Var></​arg+      </​Equal>​ 
-         ​<arg><​Const type="​xsd:​string">​Friday</​Const></​arg+     ​</​formula>​ 
-        </​Equal>​ +    </​Or>​ 
-       ​</​formula>​ +   ​</​if>​ 
-      </​Or>​ +   ​<​then>​ 
-    </​if>​ +    <Atom
-    <​then>​ +     ​<​op><​Const type="​rif:​iri">thrm:is-workday</​Const></​op>​ 
-      <Uniterm+     ​<​arg><​Var>​dayofweek</​Var></​arg>​ 
-       ​<​op><​Const type="​rif:​local">​is-workday</​Const></​op>​ +    </Atom
-       ​<​arg><​Var>​dayofweek</​Var></​arg+   </then
-      </​Uniterm+  </Implies
-    </then+ </sentence
-   </Implies+   
-  </formula+ <sentence
- </rule+  <Implies
-  +   <if
-  +    <​Or>​ 
- <rule+     ​<​formula>​ 
-  <declare><​Var>​dayofweek</​Var></​declare>​ +      <​Equal>​ 
-  <formula+       ​<side><​Var>​dayofweek</​Var></​side
-   <Implies+       ​<side><​Const type="​xsd:​string">​Saturday</​Const></​side
-    ​<​if>​ +      </​Equal>​ 
-      ​<​Or>​ +     ​</​formula>​  
-       ​<​formula>​ +     ​<​formula>​ 
-        <​Equal>​ +      <​Equal>​ 
-         ​<arg><​Var>​dayofweek</​Var></​arg+       ​<side><​Var>​dayofweek</​Var></​side
-         ​<arg><​Const type="​xsd:​string">​Saturday</​Const></​arg+       ​<side><​Const type="​xsd:​string">​Sunday</​Const></​side
-        </​Equal>​ +      </​Equal>​ 
-       ​</​formula>​  +     ​</​formula>​ 
-       ​<​formula>​ +    </​Or>​ 
-        <​Equal>​ +   ​</​if>​ 
-         ​<arg><​Var>​dayofweek</​Var></​arg+   ​<​then>​ 
-         ​<arg><​Const type="​xsd:​string">​Sunday</​Const></​arg+     <Atom
-        </​Equal>​ +      <​op><​Const type="​rif:​iri">​thrm:is-weekend</​Const></​op>​ 
-       ​</​formula>​ +      <​arg><​Var>​dayofweek</​Var></​arg>​ 
-      </​Or>​ +     </Atom
-    </​if>​ +   </​then>​ 
-    <then+  </​Implies>​ 
-      <​Uniterm>​ + </sentence>  ​
-       <​op><​Const type="​rif:​local">​is-weekend</​Const></​op>​ +
-       <​arg><​Var>​dayofweek</​Var></​arg>​ +
-      </​Uniterm>​ +
-    </​then>​ +
-   </​Implies>​ +
-  </​formula>​ +
- </​rule> ​  +
-  +
-  +
- <​rule>​ +
-  <​declare><​Var>​today</​Var></​declare>​ +
-  <​declare><​Var>​hour</​Var></​declare>​ +
-  <​formula>​ +
-   <​Implies>​ +
-    <if+
-     <And+
-      ​<​formula>​ +
-       <​Uniterm>​ +
-        <​op><​Const type="​rif:​local">​is-weekend</​Const></​op>​ +
-        <​arg><​Var>​today</​Var></​arg>​ +
-       </​Uniterm>​ +
-      </​formula>​ +
-      <​formula>​ +
-       <​Uniterm>​ +
-        <​op><​Const type="​rif:​local">​fn:​get-hour-from-Date</​Const></​op>​ +
-        <​arg><​Var>​today</​Var></​arg>​ +
-        <​arg><​Var>​hour</​Var></​arg>​ +
-       </​Uniterm>​ +
-      </​formula>​ +
-      <​formula>​ +
-       <​Uniterm>​ +
-        ​<​op><​Const type="​rif:​iri">​op:numeric-between</​Const></​op>​ +
-        <​arg><​Var>​hour</​Var></​arg>​ +
-        <​arg><​Const type="​xsd:​dateTime">​9am</​Const></​arg>​ +
-        <​arg><​Const type="​xsd:​dateTime">​5pm</​Const></​arg>​ +
-       </​Uniterm>​ +
-      </​formula>​ +
-     </​And>​ +
-    </​if>​ +
-    <​then>​ +
-      <​Uniterm>​ +
-       <​op><​Const type="​rif:​local">​is-during-business-hours</​Const></​op+
-       <​arg><​Var>​today</​Var></​arg+
-      ​</​Uniterm>​ +
-    </​then>​ +
-   </​Implies>​ +
-  </​formula>​ +
- </​rule>​ +
-  +
-  +
- <​rule>​ +
-  <​declare><​Var>​today</​Var></​declare>​ +
-  <​declare><​Var>​hour</​Var></​declare>​ +
-  <​formula>​ +
-   <​Implies>​ +
-    <​if>​ +
-     <​And>​ +
-      <​formula>​ +
-       <​Uniterm>​ +
-        <​op><​Const type="​rif:​local">​is-workday</​Const></​op>​ +
-        ​<​arg><​Var>​today</​Var></​arg+
-       </​Uniterm>​ +
-      </​formula>​ +
-      <​formula>​ +
-       <​Uniterm>​ +
-        <​op><​Const type="​rif:​local">​fn:​get-hour-from-Date</​Const></​op>​ +
-        <​arg><​Var>​today</​Var></​arg>​ +
-        <​arg><​Var>​hour</​Var></​arg>​ +
-       </​Uniterm>​ +
-      </​formula>​ +
-      <​formula>​ +
-       <​Uniterm>​ +
-        <​op><​Const type="​rif:​iri">​op:​numeric-lesser-than</​Const></​op>​ +
-        <​arg><​Var>​A</​Var></​arg>​ +
-        <​arg></​arg>​ +
-       </​Uniterm>​ +
-      </​formula+
-     </And> +
-    </​if>​ +
-    <​then>​ +
-      <​Uniterm>​ +
-       <​op><​Const type="​rif:​local">​is-not-during-business-hours</​Const></​op>​ +
-       <​arg><​Var>​today</​Var></​arg>​ +
-      </​Uniterm>​ +
-    </then+
-   </Implies>​ +
-  </​formula>​ +
- </​rule>​ +
-  +
-  +
- <​rule>​ +
-  <​declare><​Var>​today</​Var></​declare>​ +
-  <​declare><​Var>​hour</​Var></​declare>​ +
-  <​formula>​ +
-   <​Implies>​ +
-    <​if>​ +
-     <​And>​ +
-      <​formula>​ +
-       <​Uniterm>​ +
-        <​op><​Const type="​rif:​local">​is-workday</​Const></​op>​ +
-        <​arg><​Var>​today</​Var></​arg>​ +
-       </​Uniterm>​ +
-      </​formula>​ +
-      <​formula>​ +
-       <​Uniterm>​ +
-        <​op><​Const type="​rif:​local">​fn:​get-hour-from-Date</​Const></​op>​ +
-        <​arg><​Var>​today</​Var></​arg>​ +
-        <​arg><​Var>​hour</​Var></​arg>​ +
-       </​Uniterm>​ +
-      </​formula>​ +
-      <​formula>​ +
-       <​Uniterm>​ +
-        <​op><​Const type="​rif:​iri">​op:​numeric-greater-than</​Const></​op>​ +
-        <​arg><​Var>​hour</​Var></​arg>​ +
-        <​arg><​Const type="​xsd:​dateTime">​5pm</​Const></​arg>​ +
-       </​Uniterm>​ +
-      </​formula>​ +
-     </​And>​ +
-    </​if>​ +
-    <then+
-      <​Uniterm>​ +
-       <​op><​Const type="​rif:​local">​is-not-during-business-hours</​Const></​op>​ +
-       <​arg><​Var>​today</​Var></​arg>​ +
-      </​Uniterm>​ +
-    </​then>​ +
-   </​Implies+
-  </formula>​ +
- </​rule> ​   +
-  +
-  +
- <​rule>​ +
-  <​declare><​Var>​today</​Var></​declare>​ +
-  <​formula>​ +
-   <Implies>​ +
-    <​if>​ +
-      <​formula>​ +
-       <​Uniterm>​ +
-        <​op><​Const type="​rif:​local">​is-weekend</Const></​op>​ +
-        <​arg><​Var>​today</​Var></​arg>​ +
-       </​Uniterm>​ +
-      </​formula>​ +
-    </​if>​ +
-    <​then>​ +
-      <​Uniterm>​ +
-       <​op><​Const type="​rif:​local">​is-not-during-business-hours</​Const></​op>​ +
-       <​arg><​Var>​today</​Var></​arg>​ +
-      </​Uniterm>​ +
-    </​then>​ +
-   </​Implies>​ +
-  </​formula>​ +
- </​rule> ​+
    
 + <​sentence>​
 +  <​Implies>​
 +   <​if>​
 +    <And>
 +     <​formula>​
 +      <​Atom>​
 +       <​op><​Const type="​rif:​iri">​thrm:​is-weekend</​Const></​op>​
 +       <​arg>​
 +        <​External>​
 +         <​content>​
 +          <​Expr>​
 +           <​op><​Const type="​rif:​iri">​fn:​get-dayOfWeek-from-DateTime</​Const></​op>​
 +           <​arg><​Var>​today</​Var></​arg>​
 +          </​Expr>​
 +         </​content>​
 +        </​External>​
 +       </​arg>​
 +      </​Atom>​
 +     </​formula>​
 +     <​formula>​
 +      <​External>​
 +       <​content>​
 +        <​Atom>​
 +         <​op><​Const type="​rif:​iri">​op:​numeric-between</​Const></​op>​
 +         <​arg>​
 +          <​External>​
 +           <​content>​
 +            <​Expr>​
 +             <​op><​Const type="​rif:​iri">​fn:​hours-from-dateTime</​Const></​op>​
 +             <​arg><​Var>​today</​Var></​arg>​
 +            </​Expr>​
 +           </​content>​
 +          </​External>​
 +         </​arg>​
 +         <​arg><​Const type="​xsd:​DateTime">​9am</​Const></​arg>​
 +         <​arg><​Const type="​xsd:​DateTime">​5pm</​Const></​arg>​
 +        </​Atom>​
 +       </​content>​
 +      </​External>​
 +     </​formula>​
 +    </​And>​
 +   </​if>​
 +   <​then>​
 +    <​Atom>​
 +     <​op><​Const type="​rif:​iri">​thrm:​is-during-business-hours</​Const></​op>​
 +     <​arg><​Var>​today</​Var></​arg>​
 +    </​Atom>​
 +   </​then>​
 +  </​Implies>​
 + </​sentence>​
 +  ​
 + <​sentence>​
 +  <​Implies>​
 +   <​if>​
 +    <And>
 +     <​formula>​
 +      <​Atom>​
 +       <​op><​Const type="​rif:​iri">​thrm:​is-workday</​Const></​op>​
 +       <​arg>​
 +        <​External>​
 +         <​content>​
 +          <​Expr>​
 +           <​op><​Const type="​rif:​iri">​fn:​get-dayOfWeek-from-DateTime</​Const></​op>​
 +           <​arg><​Var>​today</​Var></​arg>​
 +          </​Expr>​
 +         </​content>​
 +        </​External>​
 +       </​arg>​
 +      </​Atom>​
 +     </​formula>​
 +     <​formula>​
 +      <​External>​
 +       <​content>​
 +        <​Atom>​
 +         <​op><​Const type="​rif:​iri">​op:​numeric-less-than</​Const></​op>​
 +         <​arg>​
 +          <​External>​
 +           <​content>​
 +            <​Expr>​
 +             <​op><​Const type="​rif:​iri">​fn:​hours-from-dateTime</​Const></​op>​
 +             <​arg><​Var>​today</​Var></​arg>​
 +            </​Expr>​
 +           </​content>​
 +          </​External>​
 +         </​arg>​
 +         <​arg><​Const type="​xsd:​DateTime">​9am</​Const></​arg>​
 +        </​Atom>​
 +       </​content>​
 +      </​External>​
 +     </​formula>​
 +    </​And>​
 +   </​if>​
 +   <​then>​
 +    <​Atom>​
 +     <​op><​Const type="​rif:​iri">​thrm:​is-not-during-business-hours</​Const></​op>​
 +    <​arg><​Var>​today</​Var></​arg>​
 +     </​Atom>​
 +   </​then>​
 +  </​Implies>​
 + </​sentence>​
 +  ​
 + <​sentence>​
 +  <​Implies>​
 +   <​if>​
 +    <And>
 +     <​formula>​
 +      <​Atom>​
 +       <​op><​Const type="​rif:​iri">​thrm:​is-workday</​Const></​op>​
 +       <​arg>​
 +        <​External>​
 +         <​content>​
 +          <​Expr>​
 +           <​op><​Const type="​rif:​iri">​fn:​get-dayOfWeek-from-DateTime</​Const></​op>​
 +           <​arg><​Var>​today</​Var></​arg>​
 +          </​Expr>​
 +         </​content>​
 +        </​External>​
 +       </​arg>​
 +      </​Atom>​
 +     </​formula>​
 +     <​formula>​
 +      <​External>​
 +       <​content>​
 +        <​Atom>​
 +         <​op><​Const type="​rif:​iri">​op:​numeric-greater-than</​Const></​op>​
 +         <​arg>​
 +          <​External>​
 +           <​content>​
 +            <​Expr>​
 +             <​op><​Const type="​rif:​iri">​fn:​hours-from-dateTime</​Const></​op>​
 +             <​arg><​Var>​today</​Var></​arg>​
 +            </​Expr>​
 +           </​content>​
 +          </​External>​
 +         </​arg>​
 +         <​arg><​Const type="​xsd:​DateTime">​5pm</​Const></​arg>​
 +        </​Atom>​
 +       </​content>​
 +      </​External>​
 +     </​formula>​
 +    </​And>​
 +   </​if>​
 +   <​then>​
 +     <​Atom>​
 +      <​op><​Const type="​rif:​iri">​thrm:​is-not-during-business-hours</​Const></​op>​
 +      <​arg><​Var>​today</​Var></​arg>​
 +     </​Atom>​
 +   </​then>​
 +  </​Implies>​
 + </​sentence> ​  
 +  ​
 + <​sentence>​
 +  <​Implies>​
 +   <​if>​
 +    <​Atom>​
 +     <​op><​Const type="​rif:​iri">​thrm:​is-weekend</​Const></​op>​
 +     <​arg>​
 +      <​External>​
 +       <​content>​
 +        <​Expr>​
 +         <​op><​Const type="​rif:​iri">​fn:​get-dayOfWeek-from-DateTime</​Const></​op>​
 +         <​arg><​Var>​today</​Var></​arg>​
 +        </​Expr>​
 +       </​content>​
 +      </​External>​
 +     </​arg>​
 +    </​Atom>​
 +   </​if>​
 +   <​then>​
 +    <​Atom>​
 +     <​op><​Const type="​rif:​iri">​thrm:​is-not-during-business-hours</​Const></​op>​
 +     <​arg><​Var>​today</​Var></​arg>​
 +    </​Atom>​
 +   </​then>​
 +  </​Implies>​
 + </​sentence> ​
        
- <rule+ <sentence
-  <declare><​Var>​month</​Var></​declare+  <Implies>​ 
-  <formula+   <​if>​ 
-   ​<Implies+    <​Or>​ 
-    <if+     <​formula>​ 
-     <Or+      <​Equal>​ 
-      <​formula>​ +       <​side><​Var>​month</​Var></​side
-       <​Equal>​ +       ​<side><​Const type="​rds:​string">​January</​Const></​side
-        <​arg><​Var>​month</​Var></​arg>​ +      </Equal
-        <arg><​Const type="​rds:​string">​January</​Const></​arg+     ​</formula
-       ​</​Equal>​ +     <formula
-      </​formula>​ +      <Equal> 
-      <​formula>​ +       <​side><​Var>​month</​Var></​side>​ 
-       ​<​Equal>​ +       <​side><​Const type="​rds:​string">​February</​Const></​side>​ 
-        <arg><​Var>​month</​Var></​arg+      </​Equal>​ 
-        <arg><​Const type="​rds:​string">​February</​Const></​arg+     </formula
-       ​</​Equal>​ +     <​formula>​ 
-      </​formula>​ +      <Equal
-      <​formula>​ +       <side><​Var>​month</​Var></​side>​ 
-       ​<​Equal>​ +       <​side><​Const type="​rds:​string">​December</​Const></​side>​ 
-        <arg><​Var>​month</​Var></​arg+      </Equal> 
-        <arg><​Const type="​rds:​string">​December</​Const></​arg+     </​formula>​ 
-       ​</​Equal>​ +    </​Or>​ 
-      </​formula>​ +   </​if>​ 
-     ​</​Or>​ +   <​then>​ 
-    </​if>​ +     <​Atom>​ 
-    <​then>​ +      <​op><​Const type="​rif:​iri">​thrm:​is-summer</​Const></​op>​ 
-      <Uniterm+      ​<​arg><​Var>​month</​Var></​arg>​ 
-       ​<​op><​Const type="​rif:​local">​is-summer</​Const></​op>​ +     ​</Atom> 
-       ​<​arg><​Var>​month</​Var></​arg>​ +   </​then>​  
-      </Uniterm>+  </​Implies>​ 
 + </​sentence>​  
 +   
 + <​sentence>​ 
 +  <​Implies>​ 
 +   <​if>​ 
 +    <​Or>​ 
 +     <​formula>​ 
 +      <​Equal>​ 
 +       <​side><​Var>​month</​Var></​side>​ 
 +       <​side><​Const type="​rds:​string">​March</​Const></​side
 +      </​Equal>​ 
 +     ​</​formula>​ 
 +     ​<​formula>​ 
 +      <​Equal>​ 
 +       ​<side><​Var>​month</​Var></​side
 +       ​<side><​Const type="​rds:​string">​April</​Const></​side
 +      </​Equal>​ 
 +     ​</​formula>​ 
 +     ​<​formula>​ 
 +      <​Equal>​ 
 +       ​<side><​Var>​month</​Var></​side
 +       ​<side><​Const type="​rds:​string">​May</​Const></​side
 +      </​Equal>​ 
 +     ​</​formula>​ 
 +    </​Or>​ 
 +   ​</​if>​ 
 +   ​<​then>​ 
 +     ​<Atom
 +      <​op><​Const type="​rif:​iri">thrm:is-atumn</​Const></​op>​ 
 +      <​arg><​Var>​month</​Var></​arg>​ 
 +     ​</Atom>
     </​then> ​     </​then> ​
-   </​Implies>​ +  </​Implies>​ 
-  </​formula>​ + </sentence
- </​rule>​  +
-  +
-  +
- <​rule>​ +
-  <​declare><​Var>​month</​Var></​declare>​ +
-  <​formula>​ +
-   <​Implies>​ +
-    <​if>​ +
-     <​Or>​ +
-      <​formula>​ +
-       <​Equal>​ +
-        <​arg><​Var>​month</​Var></​arg>​ +
-        <​arg><​Const type="​rds:​string">​March</​Const></​arg>​ +
-       </​Equal>​ +
-      </​formula>​ +
-      <​formula>​ +
-       <​Equal>​ +
-        <​arg><​Var>​month</​Var></​arg>​ +
-        <​arg><​Const type="​rds:​string">​April</​Const></​arg>​ +
-       </​Equal>​ +
-      </​formula>​ +
-      <​formula>​ +
-       <​Equal>​ +
-        <​arg><​Var>​month</​Var></​arg>​ +
-        <​arg><​Const type="​rds:​string">​May</​Const></​arg>​ +
-       </​Equal>​ +
-      </​formula>​ +
-     </​Or>​ +
-    </​if>​ +
-    <​then>​ +
-      <​Uniterm>​ +
-       <​op><​Const type="​rif:​local">​is-atumn</​Const></​op>​ +
-       <​arg><​Var>​month</​Var></​arg>​ +
-      </​Uniterm>​ +
-    </​then>​  +
-   </​Implies+
-  </​formula+
- </rule+
    
   ​   ​
- <rule+ <sentence
-  <declare><​Var>​month</​Var></​declare>​ +  <Implies
-  <formula+   <if
-   <Implies+    <Or
-    <if+     <formula
-     <Or+      <Equal
-      <formula+       <side><​Var>​month</​Var></​side
-       <Equal> +       ​<side><​Const type="​rds:​string">​June</​Const></​side
-        <arg><​Var>​month</​Var></​arg+      </​Equal>​ 
-        <arg><​Const type="​rds:​string">​June</​Const></​arg+     ​</​formula>​ 
-       ​</​Equal>​ +     ​<​formula>​ 
-      </​formula>​ +      <​Equal>​ 
-      <​formula>​ +       ​<side><​Var>​month</​Var></​side
-       ​<​Equal>​ +       ​<side><​Const type="​rds:​string">​July</​Const></​side
-        <arg><​Var>​month</​Var></​arg+      </​Equal>​ 
-        <arg><​Const type="​rds:​string">​July</​Const></​arg> +     ​</​formula>​ 
-       </​Equal+     <​formula>​ 
-      </formula>​ +      <Equal
-      <​formula>​ +       <side><​Var>​month</​Var></​side
-       <Equal> +       <side><​Const type="​rds:​string">​August</​Const></​side
-        <​arg><​Var>​month</​Var></​arg>​ +      </​Equal>​ 
-        <​arg><​Const type="​rds:​string">​August</​Const></​arg>​ +     ​</​formula>​ 
-       </​Equal>​ +    </​Or>​ 
-      ​</​formula>​ +   ​</​if>​ 
-     </Or> +   ​<​then>​ 
-    </​if>​ +     <Atom
-    <​then>​ +      <​op><​Const type="​rif:​iri">​thrm:is-winter</​Const></​op>​ 
-      <​Uniterm>​ +      <​arg><​Var>​month</​Var></​arg>​ 
-       <​op><​Const type="​rif:​local">​is-winter</​Const></​op>​ +     </Atom
-       <​arg><​Var>​month</​Var></​arg>​ +   ​</​then>​  
-      </​Uniterm>​ +  </​Implies>​ 
-    </​then>​  + </sentence
-   </​Implies>​ +
-  </formula+
- </​rule>​  +
-  +
-  +
- <​rule>​ +
-  <​declare><​Var>​month</​Var></​declare>​ +
-  <​formula>​ +
-   <​Implies>​ +
-    <​if>​ +
-     <​Or+
-      <formula+
-       <Equal> +
-        <arg><​Var>​month</​Var></​arg> +
-        <​arg><​Const type="​rds:​string">​September</​Const></​arg+
-       </​Equal>​ +
-      </​formula>​ +
-      <​formula>​ +
-       <​Equal>​ +
-        <​arg><​Var>​month</​Var></​arg>​ +
-        <arg><​Const type="​rds:​string">​October</​Const></​arg> +
-       </​Equal+
-      </formula>​ +
-      <​formula>​ +
-       <Equal> +
-        <​arg><​Var>​month</​Var></​arg>​ +
-        <​arg><​Const type="​rds:​string">​November</​Const></​arg>​ +
-       </​Equal>​ +
-      ​</​formula>​ +
-     ​</​Or>​ +
-    </​if>​ +
-    <then+
-      <​Uniterm>​ +
-       <​op><​Const type="​rif:​local">​is-spring</​Const></​op>​ +
-       <​arg><​Var>​month</​Var></​arg>​ +
-      </​Uniterm>​ +
-    </​then>​  +
-   </​Implies>​ +
-  </​formula>​ +
- </​rule> ​    +
-  +
-  +
- <​rule>​ +
-  <​declare><​Var>​date</​Var></​declare>​ +
-  <​declare><​Var>​month</​Var></​declare>​ +
-  <​formula>​ +
-   <​Implies>​ +
-    <if+
-     <And+
-      ​<​formula>​ +
-       <​Uniterm>​ +
-        ​<​op><​Const type="​rif:​iri">​op:get-month-from-date</​Const></​op+
-        <​arg><​Var>​date</​Var></​arg>​ +
-        <​arg><​Var>​month</​Var></​arg>​ +
-       </​Uniterm+
-      ​</​formula>​ +
-      <​formula>​ +
-       <​Uniterm>​ +
-        <​op><​Const type="​rif:​local">​is-spring</​Const></​op>​ +
-        ​<​arg><​Var>​month</​Var></​arg+
-       </​Uniterm>​ +
-      </​formula>​ +
-      <​formula>​ +
-       <​Uniterm>​ +
-        <​op><​Const type="​rif:​local">​is-during-buisness-hours</​Const></​op>​ +
-        <​arg><​Var>​date</​Var></​arg>​ +
-       </​Uniterm>​ +
-      </​formula>  +
-     </And+
-    </if> +
-    <then> +
-      <​Uniterm>​ +
-       <​op><​Const type="​rif:​local">​thermostat-setting</​Const></​op>​ +
-       <​arg><​Const type="​rds:​long">​20</​Const></​arg>​ +
-      </​Uniterm>​ +
-    </​then>​ +
-   </​Implies>​ +
-  </formula> +
- </​rule> ​  +
    
-      ​ 
- <​rule>​ 
-  <​declare><​Var>​date</​Var></​declare>​ 
-  <​declare><​Var>​month</​Var></​declare>​ 
-  <​formula>​ 
-   <​Implies>​ 
-    <if> 
-     <​And>​ 
-      <​formula>​ 
-       <​Uniterm>​ 
-        <​op><​Const type="​rif:​iri">​op:​get-month-from-date</​Const></​op>​ 
-        <​arg><​Var>​date</​Var></​arg>​ 
-        <​arg><​Var>​month</​Var></​arg>​ 
-       </​Uniterm>​ 
-      </​formula>​ 
-      <​formula>​ 
-       <​Uniterm>​ 
-        <​op><​Const type="​rif:​local">​is-spring</​Const></​op>​ 
-        <​arg><​Var>​month</​Var></​arg>​ 
-       </​Uniterm>​ 
-      </​formula>​ 
-      <​formula>​ 
-       <​Uniterm>​ 
-        <​op><​Const type="​rif:​local">​is-not-during-buisness-hours</​Const></​op>​ 
-        <​arg><​Var>​date</​Var></​arg>​ 
-       </​Uniterm>​ 
-      </​formula> ​ 
-     </​And>​ 
-    </if> 
-    <​then>​ 
-      <​Uniterm>​ 
-       <​op><​Const type="​rif:​local">​thermostat-setting</​Const></​op>​ 
-       <​arg><​Const type="​rds:​long">​15</​Const></​arg>​ 
-      </​Uniterm>​ 
-    </​then>​ 
-   </​Implies>​ 
-  </​formula>​ 
- </​rule>​ 
    
 + <​sentence>​
 +  <​Implies>​
 +   <​if>​
 +    <Or>
 +     <​formula>​
 +      <​Equal>​
 +       <​side><​Var>​month</​Var></​side>​
 +       <​side><​Const type="​rds:​string">​September</​Const></​side>​
 +      </​Equal>​
 +     </​formula>​
 +     <​formula>​
 +      <​Equal>​
 +       <​side><​Var>​month</​Var></​side>​
 +       <​side><​Const type="​rds:​string">​October</​Const></​side>​
 +      </​Equal>​
 +     </​formula>​
 +     <​formula>​
 +      <​Equal>​
 +       <​side><​Var>​month</​Var></​side>​
 +       <​side><​Const type="​rds:​string">​November</​Const></​side>​
 +      </​Equal>​
 +     </​formula>​
 +    </Or>
 +   </​if>​
 +   <​then>​
 +     <​Atom>​
 +      <​op><​Const type="​rif:​iri">​thrm:​is-spring</​Const></​op>​
 +      <​arg><​Var>​month</​Var></​arg>​
 +     </​Atom>​
 +   </​then> ​
 +  </​Implies>​
 + </​sentence> ​   ​
    
- <​rule>​ 
-  <​declare><​Var>​date</​Var></​declare>​ 
-  <​declare><​Var>​month</​Var></​declare>​ 
-  <​formula>​ 
-   <​Implies>​ 
-    <if> 
-     <​And>​ 
-      <​formula>​ 
-       <​Uniterm>​ 
-        <​op><​Const type="​rif:​iri">​op:​get-month-from-date</​Const></​op>​ 
-        <​arg><​Var>​date</​Var></​arg>​ 
-        <​arg><​Var>​month</​Var></​arg>​ 
-       </​Uniterm>​ 
-      </​formula>​ 
-      <​formula>​ 
-       <​Uniterm>​ 
-        <​op><​Const type="​rif:​local">​is-summer</​Const></​op>​ 
-        <​arg><​Var>​month</​Var></​arg>​ 
-       </​Uniterm>​ 
-      </​formula>​ 
-      <​formula>​ 
-       <​Uniterm>​ 
-        <​op><​Const type="​rif:​local">​is-during-buisness-hours</​Const></​op>​ 
-        <​arg><​Var>​date</​Var></​arg>​ 
-       </​Uniterm>​ 
-      </​formula> ​ 
-     </​And>​ 
-    </if> 
-    <​then>​ 
-      <​Uniterm>​ 
-       <​op><​Const type="​rif:​local">​thermostat-setting</​Const></​op>​ 
-       <​arg><​Const type="​rds:​long">​24</​Const></​arg>​ 
-      </​Uniterm>​ 
-    </​then>​ 
-   </​Implies>​ 
-  </​formula>​ 
- </​rule>  ​ 
    
 + <​sentence>​
 +  <​Implies>​
 +   <​if>​
 +    <And>
 +     <​formula>​
 +      <​Atom>​
 +       <​op><​Const type="​rif:​iri">​thrm:​is-spring</​Const></​op>​
 +       <​arg>​
 +        <​External>​
 +         <​content>​
 +          <​Expr>​
 +           <​op><​Const type="​rif:​iri">​fn:​month-from-dateTime</​Const></​op>​
 +           <​arg><​Var>​date</​Var></​arg>​
 +          </​Expr>​
 +         </​content>​
 +        </​External> ​
 +       </​arg>​
 +      </​Atom>​
 +     </​formula>​
 +     <​formula>​
 +      <​Atom>​
 +       <​op><​Const type="​rif:​iri">​thrm:​is-during-buisness-hours</​Const></​op>​
 +       <​arg><​Var>​date</​Var></​arg>​
 +      </​Atom>​
 +     </​formula> ​
 +    </​And>​
 +   </​if>​
 +   <​then>​
 +     <​Atom>​
 +      <​op><​Const type="​rif:​iri">​thrm:​thermostat-setting</​Const></​op>​
 +      <​arg><​Const type="​rds:​long">​20</​Const></​arg>​
 +     </​Atom>​
 +   </​then>​
 +  </​Implies>​
 + </​sentence> ​
    
- <rule+  ​<sentence
-  <declare><​Var>​date</​Var></​declare>​ +  <Implies
-  <​declare><​Var>​month</​Var></​declare>​ +   <if
-  <formula+    <And
-   <Implies+     <formula
-    <if+      <Atom
-     <And+       <​op><​Const type="​rif:​iri">​thrm:is-spring</​Const></​op>​ 
-      <formula+       ​<​arg>​ 
-       <​Uniterm>​ +        <External
-        ​<​op><​Const type="​rif:​iri">​op:get-month-from-date</​Const></​op>​ +         ​<content
-        <arg><​Var>​date</​Var></​arg> +          <Expr
-        <arg><​Var>​month</​Var></​arg+           ​<​op><​Const type="​rif:​iri">fn:​month-from-dateTime</​Const></​op>​ 
-       ​</Uniterm+           ​<​arg><​Var>​date</​Var></​arg
-      </formula+          </​Expr>​ 
-      <​formula>​ +         </​content>​ 
-       <​Uniterm>​ +        </​External>  
-        ​<​op><​Const type="​rif:​local">is-summer</​Const></​op>​ +       </arg
-        <​arg><​Var>​month</​Var></​arg>​ +      ​</​Atom>​ 
-       </Uniterm+     </​formula>​ 
-      </​formula>​ +     ​<​formula>​ 
-      <​formula>​ +      <Atom
-       ​<Uniterm+       ​<​op><​Const type="​rif:​iri">thrm:is-not-during-buisness-hours</​Const></​op>​ 
-        <​op><​Const type="​rif:​local">​is-not-during-buisness-hours</​Const></​op>​ +       ​<​arg><​Var>​date</​Var></​arg>​ 
-        <​arg><​Var>​date</​Var></​arg>​ +      </Atom
-       ​</Uniterm+     ​</​formula>​  
-      </​formula>​  +    </​And>​ 
-     ​</​And>​ +   ​</​if>​ 
-    </​if>​ +   ​<​then>​ 
-    <​then>​ +     ​<Atom
-      <Uniterm+      <​op><​Const type="​rif:​iri">thrm:thermostat-setting</​Const></​op>​ 
-       ​<​op><​Const type="​rif:​local">​thermostat-setting</​Const></​op>​ +      <​arg><​Const type="​rds:​long">​15</​Const></​arg>​ 
-       ​<​arg><​Const type="​rds:​long">​27</​Const></​arg>​ +     ​</Atom
-      </Uniterm+   ​</​then>​ 
-    </​then>​ +  </​Implies>​ 
-   ​</​Implies+ </sentence>  ​
-  </​formula+
- </rule>  ​+
    
 + <​sentence>​
 +  <​Implies>​
 +   <​if>​
 +    <And>
 +     <​formula>​
 +      <​Atom>​
 +       <​op><​Const type="​rif:​iri">​thrm:​is-summer</​Const></​op>​
 +       <​arg>​
 +        <​External>​
 +         <​content>​
 +          <​Expr>​
 +           <​op><​Const type="​rif:​iri">​fn:​month-from-dateTime</​Const></​op>​
 +           <​arg><​Var>​date</​Var></​arg>​
 +          </​Expr>​
 +         </​content>​
 +        </​External> ​
 +       </​arg>​
 +      </​Atom>​
 +     </​formula>​
 +     <​formula>​
 +      <​Atom>​
 +       <​op><​Const type="​rif:​iri">​thrm:​is-during-buisness-hours</​Const></​op>​
 +       <​arg><​Var>​date</​Var></​arg>​
 +      </​Atom>​
 +     </​formula> ​
 +    </​And>​
 +   </​if>​
 +   <​then>​
 +     <​Atom>​
 +      <​op><​Const type="​rif:​iri">​thrm:​thermostat-setting</​Const></​op>​
 +      <​arg><​Const type="​rds:​long">​24</​Const></​arg>​
 +     </​Atom>​
 +   </​then>​
 +  </​Implies>​
 + </​sentence>​
    
- <rule+ <sentence
-  <declare><​Var>​date</​Var></​declare>​ +  <Implies
-  <​declare><​Var>​month</​Var></​declare>​ +   <if
-  <formula+    <And
-   <Implies+     <formula
-    <if+      <Atom
-     <And+       <​op><​Const type="​rif:​iri">​thrm:is-summer</​Const></​op>​ 
-      <formula+       ​<​arg>​ 
-       <​Uniterm>​ +        <External
-        ​<​op><​Const type="​rif:​iri">​op:get-month-from-date</​Const></​op>​ +         ​<content
-        <arg><​Var>​date</​Var></​arg> +          <Expr
-        <arg><​Var>​month</​Var></​arg+           ​<​op><​Const type="​rif:​iri">fn:​month-from-dateTime</​Const></​op>​ 
-       ​</Uniterm+           ​<​arg><​Var>​date</​Var></​arg
-      </formula+          </​Expr>​ 
-      <​formula>​ +         </​content>​ 
-       <​Uniterm>​ +        </​External>  
-        ​<​op><​Const type="​rif:​local">is-atumn</​Const></​op>​ +       </arg
-        <​arg><​Var>​month</​Var></​arg>​ +      ​</​Atom>​ 
-       </Uniterm+     </​formula>​ 
-      </​formula>​ +     ​<​formula>​ 
-      <​formula>​ +      <Atom
-       ​<Uniterm+       ​<​op><​Const type="​rif:​iri">thrm:is-not-during-buisness-hours</​Const></​op>​ 
-        <​op><​Const type="​rif:​local">​is-during-buisness-hours</​Const></​op>​ +       ​<​arg><​Var>​date</​Var></​arg>​ 
-        <​arg><​Var>​date</​Var></​arg>​ +      </Atom
-       ​</Uniterm+     ​</​formula>​  
-      </​formula>​  +    </​And>​ 
-     ​</​And>​ +   ​</​if>​ 
-    </​if>​ +   ​<​then>​ 
-    <​then>​ +     ​<Atom
-      <Uniterm+      <​op><​Const type="​rif:​iri">thrm:thermostat-setting</​Const></​op>​ 
-       ​<​op><​Const type="​rif:​local">​thermostat-setting</​Const></​op>​ +      <​arg><​Const type="​rds:​long">​27</​Const></​arg>​ 
-       ​<​arg><​Const type="​rds:​long">​20</​Const></​arg>​ +     ​</Atom
-      </Uniterm+   ​</​then>​ 
-    </​then>​ +  </​Implies>​ 
-   ​</​Implies>​ + </sentence>
-  </formula> +
- </​rule> ​   ​+
    
 + <​sentence>​
 +  <​Implies>​
 +   <​if>​
 +    <And>
 +     <​formula>​
 +      <​Atom>​
 +       <​op><​Const type="​rif:​iri">​thrm:​is-atumn</​Const></​op>​
 +       <​arg>​
 +        <​External>​
 +         <​content>​
 +          <​Expr>​
 +           <​op><​Const type="​rif:​iri">​fn:​month-from-dateTime</​Const></​op>​
 +           <​arg><​Var>​date</​Var></​arg>​
 +          </​Expr>​
 +         </​content>​
 +        </​External> ​
 +       </​arg>​
 +      </​Atom>​
 +     </​formula>​
 +     <​formula>​
 +      <​Atom>​
 +       <​op><​Const type="​rif:​iri">​thrm:​is-during-buisness-hours</​Const></​op>​
 +       <​arg><​Var>​date</​Var></​arg>​
 +      </​Atom>​
 +     </​formula> ​
 +    </​And>​
 +   </​if>​
 +   <​then>​
 +     <​Atom>​
 +      <​op><​Const type="​rif:​iri">​thrm:​thermostat-setting</​Const></​op>​
 +      <​arg><​Const type="​rds:​long">​20</​Const></​arg>​
 +     </​Atom>​
 +   </​then>​
 +  </​Implies>​
 + </​sentence>​
    
- <rule+ <sentence
-  <declare><​Var>​date</​Var></​declare>​ +  <Implies
-  <​declare><​Var>​month</​Var></​declare>​ +   <if
-  <formula+    <And
-   <Implies+     <formula
-    <if+      <Atom
-     <And+       <​op><​Const type="​rif:​iri">​thrm:is-atumn</​Const></​op>​ 
-      <formula+       ​<​arg>​ 
-       <​Uniterm>​ +        <External
-        ​<​op><​Const type="​rif:​iri">​op:get-month-from-date</​Const></​op>​ +         ​<content
-        <arg><​Var>​date</​Var></​arg> +          <Expr
-        <arg><​Var>​month</​Var></​arg+           ​<​op><​Const type="​rif:​iri">fn:month-from-dateTime</​Const></​op>​ 
-       ​</Uniterm+           ​<​arg><​Var>​date</​Var></​arg>​ 
-      </formula+          </Expr
-      <​formula>​ +         ​</content
-       <​Uniterm>​ +        </External>  
-        ​<​op><​Const type="​rif:​local">is-atumn</​Const></​op>​ +       </​arg>​ 
-        <​arg><​Var>​month</​Var></​arg>​ +      </Atom
-       </​Uniterm>​ +     ​</​formula>​ 
-      </​formula>​ +     ​<​formula>​ 
-      <​formula>​ +      <Atom
-       <​Uniterm>​ +       <​op><​Const type="​rif:​iri">​thrm:is-not-during-buisness-hours</​Const></​op>​ 
-        <​op><​Const type="​rif:​local">​is-not-during-buisness-hours</​Const></​op>​ +       ​<​arg><​Var>​date</​Var></​arg>​ 
-        <​arg><​Var>​date</​Var></​arg>​ +      </Atom
-       ​</Uniterm+     ​</​formula>​  
-      </formula>  +    </​And>​ 
-     ​</And> +   ​</​if>​ 
-    </​if>​ +   ​<​then>​ 
-    <​then>​ +     ​<Atom
-      <Uniterm+      <​op><​Const type="​rif:​iri">thrm:thermostat-setting</​Const></​op>​ 
-       <​op><​Const type="​rif:​local">​thermostat-setting</​Const></​op>​ +      <​arg><​Const type="​rds:​long">​16</​Const></​arg>​ 
-       <​arg><​Const type="​rds:​long">​16</​Const>​</​arg>​ +     ​</Atom
-      </Uniterm+   ​</​then>​ 
-    </​then>​ +  </​Implies>​ 
-   </​Implies>​ + </sentence>
-  ​</​formula>​ +
- </​rule> ​  +
- <​rule>​ +
-  <​declare><​Var>​date</​Var></​declare>​ +
-  <​declare><​Var>​month</​Var></​declare>​ +
-  ​<formula+
-   <​Implies>​ +
-    <​if>​ +
-     <​And+
-      <formula+
-       <​Uniterm>​ +
-        ​<​op><​Const type="​rif:​iri">​op:get-month-from-date</​Const></​op>​ +
-        <​arg><​Var>​date</​Var></​arg>​ +
-        <​arg><​Var>​month</​Var></​arg>​ +
-       </​Uniterm>​ +
-      </​formula>​ +
-      <​formula>​ +
-       <​Uniterm>​ +
-        <​op><​Const type="​rif:​local">​is-winter</​Const></​op>​ +
-        <​arg><​Var>​month</​Var></​arg>​ +
-       </​Uniterm>​ +
-      </​formula>​ +
-      <​formula>​ +
-       <​Uniterm>​ +
-        <​op><​Const type="​rif:​local">​is-during-buisness-hours</​Const></​op>​ +
-        <​arg><​Var>​date</​Var></​arg>​ +
-       ​</Uniterm+
-      </​formula>​  +
-     ​</​And>​ +
-    </​if>​ +
-    <​then>​ +
-      <Uniterm+
-       ​<​op><​Const type="​rif:​local">​thermostat-setting</​Const></​op>​ +
-       ​<​arg><​Const type="​rds:​long">​18</​Const></​arg>​ +
-      </Uniterm+
-    </​then>​ +
-   ​</​Implies+
-  </​formula+
- </rule+
    
 + <​sentence>​
 +  <​Implies>​
 +   <​if>​
 +    <And>
 +     <​formula>​
 +      <​Atom>​
 +       <​op><​Const type="​rif:​iri">​thrm:​is-winter</​Const></​op>​
 +       <​arg>​
 +        <​External>​
 +         <​content>​
 +          <​Expr>​
 +           <​op><​Const type="​rif:​iri">​fn:​month-from-dateTime</​Const></​op>​
 +           <​arg><​Var>​date</​Var></​arg>​
 +          </​Expr>​
 +         </​content>​
 +        </​External> ​
 +       </​arg>​
 +      </​Atom>​
 +     </​formula>​
 +     <​formula>​
 +      <​Atom>​
 +       <​op><​Const type="​rif:​iri">​thrm:​is-during-buisness-hours</​Const></​op>​
 +       <​arg><​Var>​date</​Var></​arg>​
 +      </​Atom>​
 +     </​formula> ​
 +    </​And>​
 +   </​if>​
 +   <​then>​
 +     <​Atom>​
 +      <​op><​Const type="​rif:​iri">​thrm:​thermostat-setting</​Const></​op>​
 +      <​arg><​Const type="​rds:​long">​18</​Const></​arg>​
 +     </​Atom>​
 +   </​then>​
 +  </​Implies>​
 + </​sentence>​
    
- <rule+ <sentence
-  <declare><​Var>​date</​Var></​declare>​ +  <Implies
-  <​declare><​Var>​month</​Var></​declare>​ +   <if
-  <formula+    <And
-   <Implies+     <formula
-    <if+      <Atom
-     <And+       <​op><​Const type="​rif:​iri">​thrm:is-winter</​Const></​op>​ 
-      <formula+       ​<​arg>​ 
-       <​Uniterm>​ +        <External
-        ​<​op><​Const type="​rif:​iri">​op:get-month-from-date</​Const></​op>​ +         ​<content
-        <arg><​Var>​date</​Var></​arg> +          <Expr
-        <arg><​Var>​month</​Var></​arg+           ​<​op><​Const type="​rif:​iri">fn:month-from-dateTime</​Const></​op>​ 
-       ​</Uniterm+           ​<​arg><​Var>​date</​Var></​arg
-      </formula+          </​Expr>​ 
-      <​formula>​ +         </​content>​ 
-       <​Uniterm>​ +        </​External>  
-        ​<​op><​Const type="​rif:​local">is-winter</​Const></​op>​ +       </arg
-        <​arg><​Var>​month</​Var></​arg>​ +      ​</​Atom>​ 
-       </Uniterm+     </​formula>​ 
-      </​formula>​ +     ​<​formula>​ 
-      <​formula>​ +      <Atom
-       ​<Uniterm+       ​<​op><​Const type="​rif:​iri">thrm:is-not-during-buisness-hours</​Const></​op>​ 
-        <​op><​Const type="​rif:​local">​is-not-during-buisness-hours</​Const></​op>​ +       ​<​arg><​Var>​date</​Var></​arg>​ 
-        <​arg><​Var>​date</​Var></​arg>​ +      </Atom
-       ​</Uniterm+     ​</​formula>​  
-      </​formula>​  +    </​And>​ 
-     ​</​And>​ +   ​</​if>​ 
-    </​if>​ +   ​<​then>​ 
-    <​then>​ +     ​<Atom
-      <Uniterm+      <​op><​Const type="​rif:​iri">thrm:thermostat-setting</​Const></​op>​ 
-       ​<​op><​Const type="​rif:​local">​thermostat-setting</​Const></​op>​ +      <​arg><​Const type="​rds:​long">​14</​Const></​arg>​ 
-       ​<​arg><​Const type="​rds:​long">​14</​Const></​arg>​ +     ​</Atom
-      </Uniterm+   ​</​then>​ 
-    </​then>​ +  </​Implies>​ 
-   ​</​Implies>​ + </sentence
-  </formula+ 
- </​rule>  ​ +</Group>
-</Ruleset>+
 </​code>​ </​code>​
 [[pl:​miw:​miw08_xtt_rif|Powrót do dokumentu]] [[pl:​miw:​miw08_xtt_rif|Powrót do dokumentu]]
pl/miw/miw08_xtt_rif/thermostat.txt · ostatnio zmienione: 2019/06/27 15:50 (edycja zewnętrzna)
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0