{
* Module: System-oHome
* ---------------------------------------------------------
* This file has been extracted from a ConceptBase database.
* Copyright is with the respective authors!

* Time extracted: 2026-08-21T08:03:00,848Z (UTC) 
* Active user: jeusfeld@gluon_amd64_Linux
* CBserver version: 8.5.16 (2026-07-20) 
*
* -authors: Manfred Jeusfeld
* -license: 
---------------------------------------------------------------------------------------------------------------------------------------
Copyright 2020 Manfred Jeusfeld

Redistribution and use in source and binary forms, with or without modification, are permitted provided
that the following conditions are met:

1. Redistributions of source code must retain the above copyright notice, this list of conditions and the
   following disclaimer.

2. Redistributions in binary form must reproduce the above copyright notice, this list of conditions and
   the following disclaimer in the documentation and/or other materials provided with the distribution.

3. Neither the name of the copyright holder nor the names of its contributors may be used to endorse or
   promote products derived from this software without specific prior written permission.

THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 'AS IS' AND ANY EXPRESS OR IMPLIED
WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR
ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED
TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
POSSIBILITY OF SUCH DAMAGE.
---------------------------------------------------------------------------------------------------------------------------------------

* -purpose: ConceptBase oHome module for the ELVIRA project, defines graphical types and some generic relations
}

{$set module=System-oHome}

{ 2026-08-21,08:02:42.074 }

JavaGraphicalType in Class with 
   attribute
    forIncoming : Proposition!attribute;
    forOutgoing : Proposition!attribute
end 

Proposition in Proposition with 
   attribute
    reflexive : Proposition;
    transitive : Proposition;
    symmetric : Proposition;
    antisymmetric : Proposition;
    asymmetric : Proposition
end 

Proposition!attribute with 
   attribute
    isTransitiveClosureOf : Proposition!attribute
end 

MakeTransitiveSemantics1 in Class with 
   rule
    transR1 : $ forall x,y,MA,MB/VAR 
                     A,B/Proposition!attribute C/Proposition

                     (B isTransitiveClosureOf A) and
                     P(A,C,MA,C) and P(B,C,MB,C) and 
                     (x in C) and (y in C) and 
                     (x MA y) ==> (x MB y) $;
    transR2 : $ forall x,y,z,MA,MB/VAR
                     A,B/Proposition!attribute C/Proposition

                     (B isTransitiveClosureOf A) and
                     P(A,C,MA,C) and P(B,C,MB,C) and
                     (x in C) and (y in C)  and (z in C) and 
                     (x MA z) and (z MB y) ==> (x MB y) $
end 

RelationSemantics in Class with 
   constraint
    asym_IC : $ forall AC/Proposition!asymmetric C/Proposition x,y/VAR M/VAR
                     P(AC,C,M,C) and (x in C) and (y in C) and
                     (x M y)  ==> not (y M x) $;
    antis_IC : $ forall AC/Proposition!antisymmetric C/Proposition x,y/VAR M/VAR
                     P(AC,C,M,C) and (x in C) and (y in C) and
                     (x M y) and (y M x)  ==> (x = y) $
  rule
    trans_R : $ forall x,z,y,M/VAR 
                     AC/Proposition!transitive C/Proposition
                     P(AC,C,M,C) and (x in C) and (y in C) and (z in C) and
                     A_e(x,M,y) and (y M z) ==> (x M z) $;
    refl_R : $ forall x,M/VAR 
                    AC/Proposition!reflexive C/Proposition
                    P(AC,C,M,C) and (x in C)
                      ==> (x M x) $;
    symm_R : $ forall x,y,M/VAR 
                    AC/Proposition!symmetric C/Proposition
                    P(AC,C,M,C) and (x in C) and (y in C) and
                    A_e(x,M,y)  ==> (y M x) $
end 

Proposition in Proposition with 
   attribute
    ISA : Proposition;
    IN : Proposition
end 

DeepTelosRules in Class with 
   rule
    mrule1 : $ forall m,x,c/Proposition (x in c) and (m IN c) and not (x isA m) ==> (x ISA m) $;
    mrule2 : $ forall x,c,d/Proposition (c ISA d) and (x in c)  ==> (x in d) $;
    mrule3 : $ forall c,d,m,n/Proposition (m IN c) and (n IN d) and (c ISA d)  ==> (m ISA n) $;
    mrule4 : $ forall m,x,c/Proposition (m IN c) and (x isA m) ==> (x in c) $
end 

XPalette in Class,JavaGraphicalPalette with 
   contains,defaultIndividual
    xx1 : DefaultIndividualGT
  contains,defaultLink
    xx2 : DefaultLinkGT
  contains,implicitIsA
    xx3 : ImplicitIsAGT
  contains,implicitInstanceOf
    xx4 : ImplicitInstanceOfGT
  contains,implicitAttribute
    xx5 : ImplicitAttributeGT
  contains
    xx6 : DefaultIsAGT;
    xx7 : DefaultInstanceOfGT;
    xx8 : DefaultAttributeGT;
    xx9 : MetametaGT;
    xx10 : SimpleClassGT;
    xx11 : MetaClassGT;
    xx12 : ClassGT;
    xx13 : QueryClassGT
  rule
    inheritGTs : $ forall gt/JavaGraphicalType pal/JavaGraphicalPalette
                      (pal isA XPalette) and
                      (DefaultJavaPalette contains gt)
                  ==> (pal contains gt) $;
    inheritDef1 : $ forall gt/JavaGraphicalType pal/JavaGraphicalPalette
                      (pal isA XPalette) and
                      (DefaultJavaPalette defaultIndividual gt)
                  ==> (pal defaultIndividual gt) $;
    inheritDef2 : $ forall gt/JavaGraphicalType pal/JavaGraphicalPalette
                      (pal isA XPalette) and
                      (DefaultJavaPalette defaultLink gt)
                  ==> (pal defaultLink gt) $;
    inheritDef3 : $ forall gt/JavaGraphicalType pal/JavaGraphicalPalette
                      (pal isA XPalette) and
                      (DefaultJavaPalette implicitIsA gt)
                  ==> (pal implicitIsA gt) $;
    inheritDef4 : $ forall gt/JavaGraphicalType pal/JavaGraphicalPalette
                      (pal isA XPalette) and
                      (DefaultJavaPalette implicitInstanceOf gt)
                  ==> (pal implicitInstanceOf gt) $;
    inheritDef5 : $ forall gt/JavaGraphicalType pal/JavaGraphicalPalette
                      (pal isA XPalette) and
                      (DefaultJavaPalette implicitAttribute gt)
                  ==> (pal implicitAttribute gt) $
end 

StandardPalette in Class,JavaGraphicalPalette isA XPalette with 
   contains
    sp1 : INDIVIDUAL_GT
end 

INDIVIDUAL_GT in Class,JavaGraphicalType  end 

INSTOF_GT in Class,JavaGraphicalType  end 

StandardPalette in Class,JavaGraphicalPalette with 
   contains
    sp2 : INSTOF_GT;
    sp3 : ATTR_GT
end 

ATTR_GT in Class,JavaGraphicalType  end 

IN_Link_GT in Class,JavaGraphicalType  end 

StandardPalette in Class,JavaGraphicalPalette with 
   contains
    dt15 : IN_Link_GT;
    dt16 : SPEC_Link_GT
end 

SPEC_Link_GT in Class,JavaGraphicalType  end 

INSTOFDEDUCED_GT in JavaGraphicalType,Class with 
   property
    bgcolor : "0,180,0";
    textcolor : "0,0,0";
    linecolor : "0,180,0";
    edgecolor : "0,180,0";
    edgewidth : "2";
    edgestyle : "dashed";
    label : ""
  implementedBy
    implBy : "i5.cb.graph.cbeditor.CBLink"
  priority
    p : 5
end 

ATTR_GT in Class,JavaGraphicalType with 
   property
    textcolor : "0,0,0";
    edgecolor : "0,0,0";
    edgewidth : "2";
    fontsize : "10";
    bgcolor : "255,255,255,240"
  implementedBy
    implBy : "i5.cb.graph.cbeditor.CBLink"
  priority
    p : 5
  rule
    gtrule : $ forall x/Proposition!attribute (x graphtype ATTR_GT) $
end 

ATTRDEDUCED_GT in JavaGraphicalType with 
   property
    textcolor : "0,0,0";
    edgecolor : "0,0,0";
    edgewidth : "2";
    edgestyle : "dotted";
    fontsize : "10";
    bgcolor : "255,255,255,240"
  implementedBy
    implBy : "i5.cb.graph.cbeditor.CBLink"
  priority
    p : 5
end 

INDIVIDUAL_GT in Class,JavaGraphicalType with 
   property
    bgcolor : "255,255,255";
    textcolor : "0,0,0";
    linecolor : "0,0,0";
    shape : "i5.cb.graph.shapes.Rect";
    fontsize : "14";
    font : "SansSerif";
    size : "resizable";
    linewidth : "1"
  implementedBy
    implBy : "i5.cb.graph.cbeditor.CBIndividual"
  priority
    pr : 5
  rule
    gtrule : $ forall x/Individual (x graphtype INDIVIDUAL_GT) $
  forIncoming
    in1 : Proposition!attribute
  forOutgoing
    out1 : Proposition!attribute
end 

IN_Link_GT in Class,JavaGraphicalType with 
   property
    textcolor : "0,0,0";
    edgecolor : "240,50,50";
    edgewidth : "2";
    bgcolor : "255,255,255";
    label : "IN"
  implementedBy
    implBy : "i5.cb.graph.cbeditor.CBLink"
  priority
    p : 22
  rule
    gtrule : $ forall a/Proposition!IN (a graphtype IN_Link_GT) $
end 

SPEC_Link_GT in Class,JavaGraphicalType with 
   property
    bgcolor : "0,205,255";
    textcolor : "0,0,0";
    linecolor : "0,205,255";
    edgecolor : "0,205,255";
    edgewidth : "3";
    label : "ISA"
  implementedBy
    implBy : "i5.cb.graph.cbeditor.CBLink"
  priority
    p : 23
  rule
    gtrule : $ forall a/Proposition!ISA (a graphtype SPEC_Link_GT) $
end 

INSTOF_GT in Class,JavaGraphicalType with 
   property
    bgcolor : "0,180,0";
    textcolor : "0,0,0";
    linecolor : "0,180,0";
    edgecolor : "0,180,0";
    edgewidth : "2";
    edgestyle : "dashed";
    label : ""
  implementedBy
    implBy : "i5.cb.graph.cbeditor.CBLink"
  priority
    p : 22
  rule
    gtrule : $ forall a/InstanceOf (a graphtype INSTOF_GT) $
end 

ElviraTaxonomy in AutoHomeModule  end 

CB_User in Class with 
   rule
    homeRule : $ forall u/CB_User (u homeModule ElviraTaxonomy) $
end 

Component  end 

ComponentType with 
   attribute
    deltaTTR : Real
end 

{---} { 2026-08-21,08:02:42.369 }

cascadeUntellInClass in ECArule with 
   ecarule
    r1 : $ x/Individual c/Proposition
         ON Untell (x in Individual)
         IF In_s(x,c)
         DO Untell (x in c)
        $
end 

cascadeUntellClassOf in ECArule with 
   ecarule
    r1 : $ x/Individual c/Proposition
         ON Untell (c in Individual)
         IF In_s(x,c)
         DO Untell (x in c)
        $
end 

cascadeUntellInAttributeCategory in ECArule with 
   ecarule
    r1 : $ a/Attribute ac/Attribute
         ON Untell (a in Attribute)
         IF In_s(a,ac)
         DO Untell (a in ac)
        $
end 

cascadeUntellAttributeCategoryOf in ECArule with 
   ecarule
    r1 : $ a/Attribute ac/Attribute
         ON Untell (ac in Attribute)
         IF In_s(a,ac) 
         DO Untell (a in ac)
        $
end 

cascadeUntellToAttr in ECArule with 
   ecarule
    r1 : $ x/Individual a/Attribute
         ON Untell (x in Individual)
         IF To(a,x) and (a in Attribute)
         DO Untell (a in Attribute)
        $
end 

cascadeUntellFromAttr in ECArule with 
   ecarule
    r1 : $ x/Individual a/Attribute
         ON Untell (x in Individual)
         IF From(a,x) and (a in Attribute)
         DO Untell (a in Attribute)
        $
end 

cascadeUntellHasSuper in ECArule with 
   ecarule
    r1 : $ c/Individual sc/Individual
         ON Untell (c in Individual)
         IF Isa_e(c,sc)
         DO Untell (c isA sc)
        $
end 

cascadeUntellHasSub in ECArule with 
   ecarule
    r1 : $ c/Individual sc/Individual
         ON Untell (sc in Individual)
         IF Isa_e(c,sc)
         DO Untell (c isA sc)
        $
end 

cascadeUntellHasSuperAC in ECArule with 
   ecarule
    r1 : $ c/Attribute sc/Attribute
         ON Untell (c in Attribute)
         IF Isa_e(c,sc)
         DO Untell (c isA sc)
        $
end 

cascadeUntellHasSubAC in ECArule with 
   ecarule
    r1 : $ c/Attribute sc/Attribute
         ON Untell (sc in Attribute)
         IF Isa_e(c,sc)
         DO Untell (c isA sc)
        $
end 

overwriteAttribute1 in ECArule with 
   ecarule
    r1 : $ a/Attribute a1/Attribute ac/Attribute x/Proposition y/Proposition y1/Proposition n/Label 
         ON Tell (a1 in Attribute)
         IF `P(a1,x,n,y1) and P(a,x,n,y) and In_s(a,ac)
         DO Untell (a in ac)
        $
end 

overwriteAttribute2 in ECArule with 
   ecarule
    r1 : $ a/Attribute a1/Attribute ac/Attribute x/Proposition y/Proposition y1/Proposition n/Label 
         ON Tell (a1 in Attribute)
         IF `P(a1,x,n,y1) and P(a,x,n,y)
         DO Untell (a in Attribute)
        $
end 

oHome in Module with 
   comment
    authors : "Manfred Jeusfeld";
    purpose : "ConceptBase oHome module for the ELVIRA project, defines graphical types and some generic relations"
end 

{---} { 2026-08-21,08:02:42.448 }

ElviraTaxonomy in Module  end 

{---} { 2026-08-21,08:03:00.641 }

oHome in Module with 
   comment
    license : "
---------------------------------------------------------------------------------------------------------------------------------------
Copyright 2020 Manfred Jeusfeld

Redistribution and use in source and binary forms, with or without modification, are permitted provided
that the following conditions are met:

1. Redistributions of source code must retain the above copyright notice, this list of conditions and the
   following disclaimer.

2. Redistributions in binary form must reproduce the above copyright notice, this list of conditions and
   the following disclaimer in the documentation and/or other materials provided with the distribution.

3. Neither the name of the copyright holder nor the names of its contributors may be used to endorse or
   promote products derived from this software without specific prior written permission.

THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 'AS IS' AND ANY EXPRESS OR IMPLIED
WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR
ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED
TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
POSSIBILITY OF SUCH DAMAGE.
---------------------------------------------------------------------------------------------------------------------------------------
"
end 

{ -/- }