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

* Time extracted: 2026-08-21T08:03:22,796Z (UTC) 
* Active user: jeusfeld@gluon
* CBserver version: 8.5.16 (2026-07-20) 
*
* -author: (C) 1987 ConceptBase Team, in particular Manfred Jeusfeld, Martin Staudt, Hans Nissen, Christoph Quix, Eva Krueger; all rights reserved.
* -license: Use permitted under FreeBSD style license, see http://conceptbase.sourceforge.net/CB-FreeBSD-License.txt.
* -purpose: The System module is the root module of ConceptBase. It contains the pre-defined objects and classes for ConceptBase.
}

{$set module=System}

{ 1970-01-01,00:00:00.000 }

Proposition in Proposition with 
   attribute
    single : Proposition;
    necessary : Proposition;
    attribute : Proposition
end 

Class in Class  end 

Individual  end 

Token  end 

SimpleClass  end 

MetaClass  end 

MetametaClass  end 

Module in Class  end 

System in Module  end 

Proposition in Proposition isA Proposition  end 

{---} { 2025-07-08,15:14:00.716 }

BuiltinClass in Class  end 

Integer in Class,BuiltinClass  end 

Real in Class,BuiltinClass  end 

String in Class,BuiltinClass  end 

{---} { 2025-07-08,15:14:00.826 }

Proposition in Proposition with 
   attribute
    comment : String
end 

{---} { 2025-07-08,15:14:00.927 }

AssertionEvaluators in Class  end 

Assertions in Class,MetametaClass  end 

MSFOLassertion in Class,Assertions  end 

MAssertion in Class,Assertions isA MSFOLassertion  end 

MRule in Class,Assertions isA MAssertion  end 

Magic in Class  end 

{---} { 2025-07-08,15:14:01.029 }

MSFOLrule in Class,Assertions isA MSFOLassertion  end 

metaMSFOLrule isA MSFOLrule  end 

{---} { 2025-07-08,15:14:01.118 }

MSFOLconstraint in Class,Assertions isA MSFOLassertion  end 

metaMSFOLconstraint isA MSFOLconstraint  end 

{---} { 2025-07-08,15:14:01.210 }

Class in Class with 
   attribute
    constraint : MSFOLconstraint;
    rule : MSFOLrule;
    mrule : MRule
end 

{---} { 2025-07-08,15:14:01.302 }

MSFOLquery in Class,Assertions isA MSFOLconstraint  end 

QueryClass in Class isA Class with 
   attribute
    retrieved_attribute : Proposition;
    computed_attribute : Proposition;
    constraint : MSFOLquery
end 

QueryClass!constraint isA Class!constraint  end 

GenericQueryClass in Class isA QueryClass with 
   attribute
    parameter : Proposition;
    required : Proposition
end 

BuiltinQueryClass in Class isA GenericQueryClass  end 

View in Class isA GenericQueryClass with 
   attribute
    partof : Proposition;
    inherited_attribute : Proposition
end 

SubView isA View  end 

DatalogQueryClass in Class isA GenericQueryClass with 
   attribute
    code : String
end 

DatalogRule in Class with 
   attribute
    concernedClass : Proposition;
    code : String
end 

DatalogInRule in Class isA DatalogRule  end 

DatalogAttrRule in Class isA DatalogRule  end 

GeneratedObject  end 

DeriveExpression isA GeneratedObject  end 

QueryCall  end 

HiddenObject  end 

Function in Class isA GenericQueryClass  end 

{---} { 2025-07-08,15:14:01.402 }

Version in Class  end 

T_0 in Version  end 

TransactionTime in Class  end 

Label in Class  end 

Boolean in Class  end 

FALSE in Boolean  end 

TRUE in Boolean  end 

ViewMaintenanceStrategy in Class  end 

BottomUpVM in Class isA ViewMaintenanceStrategy  end 

TopDownVM in Class isA ViewMaintenanceStrategy  end 

NaiveVM in Class isA ViewMaintenanceStrategy  end 

Proposition in Proposition with 
   attribute
    cardinality : Proposition
end 

Proposition!cardinality with 
   attribute
    min : Integer
end 

Proposition!cardinality with 
   attribute
    max : Integer
end 

Order in Class  end 

ascending in Order  end 

descending in Order  end 

AnswerFormat in Class with 
   attribute
    forQuery : QueryClass;
    order : Order;
    orderBy : String;
    head : String;
    tail : String;
    pattern : String;
    split : Boolean
end 

COUNT in Function isA Integer with 
   parameter
    class : Proposition
  comment
    c : "counts the instances of class"
end 

COUNT_Attribute in Function isA Integer with 
   parameter
    objname : Proposition;
    attrcat : Proposition
  comment
    c : "counts the attributes in category <attrcat> of object <objname>"
end 

SUM in Function isA Real with 
   parameter
    class : Proposition
  comment
    c : "computes the sum of the instances of class (must be reals or integers)"
end 

AVG in Function isA Real with 
   parameter
    class : Proposition
  comment
    c : "computes the average of the instances of class (must be reals or integers)"
end 

MAX in Function isA Real with 
   parameter
    class : Proposition
  comment
    c : "gives the maximum of the instances of class (must be reals or integers)"
end 

MIN in Function isA Real with 
   parameter
    class : Proposition
  comment
    c : "gives the minimum of the instances of class (must be reals or integers)"
end 

SUM_Attribute in Function isA Real with 
   parameter
    objname : Proposition;
    attrcat : Proposition
  comment
    c : "computes the sum of the attributes in category <attrcat> of object <objname> (must be reals or integers)"
end 

AVG_Attribute in Function isA Real with 
   parameter
    objname : Proposition;
    attrcat : Proposition
  comment
    c : "computes the average of the attributes in category <attrcat> of object <objname> (must be reals or integers)"
end 

MAX_Attribute in Function isA Real with 
   parameter
    objname : Proposition;
    attrcat : Proposition
  comment
    c : "gives the maximum of the attributes in category <attrcat> of object <objname> (must be reals or integers)"
end 

MIN_Attribute in Function isA Real with 
   parameter
    objname : Proposition;
    attrcat : Proposition
  comment
    c : "gives the minimum of the attributes in category <attrcat> of object <objname> (must be reals or integers)"
end 

PLUS in Function isA Real with 
   parameter
    r1 : Real;
    r2 : Real
  comment
    c : "computes r1 + r2"
end 

IPLUS in Function isA Integer with 
   parameter
    i1 : Integer;
    i2 : Integer
  comment
    c : "computes i1 + i2"
end 

MINUS in Function isA Real with 
   parameter
    r1 : Real;
    r2 : Real
  comment
    c : "computes r1 - r2"
end 

IMINUS in Function isA Integer with 
   parameter
    i1 : Integer;
    i2 : Integer
  comment
    c : "computes i1 - i2"
end 

MULT in Function isA Real with 
   parameter
    r1 : Real;
    r2 : Real
  comment
    c : "computes r1 * r2"
end 

IMULT in Function isA Integer with 
   parameter
    i1 : Integer;
    i2 : Integer
  comment
    c : "computes i1 * i2"
end 

DIV in Function isA Real with 
   parameter
    r1 : Real;
    r2 : Real
  comment
    c : "computes r1 / r2"
end 

IDIV in Function isA Integer with 
   parameter
    i1 : Integer;
    i2 : Integer
  comment
    c : "computes truncate(i1/i2)"
end 

ConcatenateStrings in Function isA String with 
   parameter
    s1 : String;
    s2 : String
  comment
    c : "Appends string s2 to the end of string s1"
end 

ConcatenateStrings3 in Function isA String with 
   parameter
    s1 : String;
    s2 : String;
    s3 : String
  comment
    c : "Append strings s1 + s2 + s3"
end 

ConcatenateStrings4 in Function isA String with 
   parameter
    s1 : String;
    s2 : String;
    s3 : String;
    s4 : String
  comment
    c : "Append strings s1 + s2 + s3 + s4"
end 

StringToLabel in Function isA Label with 
   parameter
    s : String
  comment
    c : "returns s as a label (without quotes)"
end 

{---} { 2025-07-08,15:14:01.581 }

BDMConstraintCheck in Class,AssertionEvaluators  end 

BDMRuleCheck in Class,AssertionEvaluators with 
   attribute
    applyFurtherRuleIfInsert : BDMRuleCheck;
    applyFurtherRuleIfDelete : BDMRuleCheck;
    applyNowConstraintIfInsert : BDMConstraintCheck;
    applyNowConstraintIfDelete : BDMConstraintCheck
end 

MSFOLrule in Class,Assertions with 
   attribute
    originalRule : BDMRuleCheck;
    specialRule : BDMRuleCheck
end 

MSFOLconstraint in Class,Assertions with 
   attribute
    originalConstraint : BDMConstraintCheck;
    specialConstraint : BDMConstraintCheck
end 

Proposition in Proposition with 
   attribute
    applyConstraintIfInsert : BDMConstraintCheck;
    applyConstraintIfDelete : BDMConstraintCheck;
    applyRuleIfInsert : BDMRuleCheck;
    applyRuleIfDelete : BDMRuleCheck;
    deducedBy : BDMRuleCheck
end 

{---} { 2025-07-08,15:14:01.791 }

AF_find_referring_objects_obi in AnswerFormat with 
   forQuery
    fq : find_referring_objects
  head
    hd : ""
  pattern
    p : "{ASKquery(get_object[{this}/objname],FRAME)}"
  tail
    tl : ""
end 

{---} { 2025-07-08,15:14:02.106 }

GraphicalType in Class  end 

Proposition in Proposition with 
   attribute
    graphtype : GraphicalType
end 

GraphicalPalette in Class with 
   attribute
    contains : GraphicalType;
    default : GraphicalType
end 

{---} { 2025-07-08,15:14:02.198 }

JavaGraphicalType in Class isA GraphicalType with 
   attribute
    implementedBy : String;
    property : String;
    priority : Integer
  rule
    rPriority : $ forall jgt/JavaGraphicalType (not (exists i/Integer A_e(jgt,priority,i))) ==> A(jgt,priority,0) $
end 

JavaGraphicalPalette in Class isA GraphicalPalette with 
   attribute
    defaultIndividual : JavaGraphicalType;
    defaultLink : JavaGraphicalType;
    implicitIsA : JavaGraphicalType;
    implicitInstanceOf : JavaGraphicalType;
    implicitAttribute : JavaGraphicalType;
    palproperty : String
end 

CBGraphEditorResult in AnswerFormat with 
   comment
    c : "This answer format has four parameters: 'obj' is the object
   which is related to the result objects, 'cat' is the category of the link
   between 'obj' and 'this', 'pal' is the graphical palette, and 'objtype'
   specifies whether 'obj' should be considered as source (src) or destination (dst)
   in the set of edges to be included in answer."
  head
    hd : "<?xml version=\"1.0\" encoding=\"ISO-8859-1\"?>
<result>"
  tail
    tl : "</result>"
  pattern
    p : "
{buildCBEditorResult({this},{obj},{cat},{pal},{objtype})}
"
end 

CBGraphEditorResultWithoutEdges in AnswerFormat with 
   comment
    c : "This answer format is like CBGraphEditorResult but it
   will not output any edges. Therefore, it has only the parameter
   'pal' to indicate the graphical palette."
  head
    hd : "<?xml version=\"1.0\" encoding=\"ISO-8859-1\"?>
<result>"
  tail
    tl : "</result>"
  pattern
    p : "
{buildCBEditorResultWithoutEdges({this},{pal})}
"
end 

XML_JavaGraphicalPalette in AnswerFormat with 
   forQuery
    fq : GetJavaGraphicalPalette
  head
    h : "<?xml version=\"1.0\" encoding=\"ISO-8859-1\"?>
<palette>"
  tail
    t : "</palette>"
  pattern
    p : "
<contains>
{Foreach(({this.contains}),(gt),
{ASKquery(GetJavaGraphicalType[{gt}/gt],XML_JavaGraphicalType)})}
</contains>
  <defaultIndividual>{this.defaultIndividual}</defaultIndividual>
  <defaultLink>{this.defaultLink}</defaultLink>
  <implicitIsA>{this.implicitIsA}</implicitIsA>
  <implicitInstanceOf>{this.implicitInstanceOf}</implicitInstanceOf>
  <implicitAttribute>{this.implicitAttribute}</implicitAttribute>
{Foreach(({this.palproperty},{this|palproperty}),(v,l),
  <palproperty>
    <name>{l}</name>
    <value>{v}</value>
  </palproperty>)}
"
end 

XML_JavaGraphicalType in AnswerFormat with 
   forQuery
    fq : GetJavaGraphicalType
  head
    h : "<graphtype>"
  tail
    t : "</graphtype>"
  pattern
    p : "
  <name>{this}</name>{Foreach(({this.property},{this|property}),(v,l),
  <property>
    <name>{l}</name>
    <value>{v}</value>
  </property>)}
  <implementedBy>{this.implementedBy}</implementedBy>
"
end 

{---} { 2025-07-08,15:14:02.320 }

DefaultJavaPalette in Class,JavaGraphicalPalette with 
   contains,defaultIndividual
    c1 : DefaultIndividualGT
end 

DefaultIndividualGT in JavaGraphicalType  end 

DefaultLinkGT in JavaGraphicalType  end 

DefaultJavaPalette in Class,JavaGraphicalPalette with 
   contains,defaultLink
    c2 : DefaultLinkGT
  implicitIsA,contains
    c3 : ImplicitIsAGT
end 

ImplicitIsAGT in JavaGraphicalType  end 

ImplicitInstanceOfGT in JavaGraphicalType  end 

DefaultJavaPalette in Class,JavaGraphicalPalette with 
   implicitInstanceOf,contains
    c4 : ImplicitInstanceOfGT
  implicitAttribute,contains
    c5 : ImplicitAttributeGT
end 

ImplicitAttributeGT in JavaGraphicalType  end 

DefaultIsAGT in JavaGraphicalType  end 

DefaultJavaPalette in Class,JavaGraphicalPalette with 
   contains
    c6 : DefaultIsAGT;
    c7 : DefaultInstanceOfGT
end 

DefaultInstanceOfGT in JavaGraphicalType  end 

DefaultAttributeGT in JavaGraphicalType  end 

DefaultJavaPalette in Class,JavaGraphicalPalette with 
   contains
    c8 : DefaultAttributeGT;
    c9 : MetametaGT
end 

MetametaGT in JavaGraphicalType  end 

SimpleClassGT in JavaGraphicalType  end 

DefaultJavaPalette in Class,JavaGraphicalPalette with 
   contains
    c10 : SimpleClassGT;
    c11 : MetaClassGT
end 

MetaClassGT in JavaGraphicalType  end 

ClassGT in JavaGraphicalType  end 

DefaultJavaPalette in Class,JavaGraphicalPalette with 
   contains
    c12 : ClassGT;
    c13 : QueryClassGT
  rule
    rIsaGT : $ forall p/IsA (p graphtype DefaultIsAGT) $;
    rInstGT : $ forall p/InstanceOf (p graphtype DefaultInstanceOfGT) $;
    rAttrGT : $ forall p/Attribute (p graphtype DefaultAttributeGT) $;
    rIndGT : $ forall p/Individual (p graphtype DefaultIndividualGT) $;
    rMetameta : $ forall c/MetametaClass (c graphtype MetametaGT) $;
    rSimpleCl : $ forall t/SimpleClass  (t graphtype SimpleClassGT) $;
    rMetaClass : $ forall t/MetaClass  (t graphtype MetaClassGT) $;
    rClass : $ forall c/Individual (c in Class) ==> (c graphtype ClassGT) $;
    rQueryClass : $ forall c/QueryClass (c graphtype QueryClassGT) $
end 

QueryClassGT in JavaGraphicalType  end 

DefaultIndividualGT in JavaGraphicalType with 
   property
    bgcolor : "210,210,210";
    textcolor : "0,0,0";
    linecolor : "0,0,0";
    shape : "i5.cb.graph.shapes.Rect"
  implementedBy
    implBy : "i5.cb.graph.cbeditor.CBIndividual"
end 

DefaultLinkGT in JavaGraphicalType with 
   property
    textcolor : "0,0,0";
    edgecolor : "0,0,0";
    edgewidth : "2"
  implementedBy
    implBy : "i5.cb.graph.cbeditor.CBLink"
end 

DefaultIsAGT in JavaGraphicalType with 
   property
    bgcolor : "0,205,255";
    textcolor : "0,0,0";
    linecolor : "0,205,255";
    edgecolor : "0,205,255";
    edgewidth : "3";
    label : ""
  implementedBy
    implBy : "i5.cb.graph.cbeditor.CBLink"
  priority
    p : 1
end 

ImplicitIsAGT in JavaGraphicalType with 
   property
    bgcolor : "0,150,255";
    textcolor : "0,0,0";
    linecolor : "0,205,255";
    edgecolor : "0,205,255";
    edgewidth : "3";
    edgestyle : "dashed";
    label : ""
  implementedBy
    implBy : "i5.cb.graph.cbeditor.CBLink"
  priority
    p : 1
end 

DefaultInstanceOfGT in JavaGraphicalType with 
   property
    bgcolor : "0,210,0";
    textcolor : "0,0,0";
    linecolor : "0,210,0";
    edgecolor : "0,210,0";
    edgewidth : "2";
    label : ""
  implementedBy
    implBy : "i5.cb.graph.cbeditor.CBLink"
  priority
    p : 1
end 

ImplicitInstanceOfGT in 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 : 1
end 

DefaultAttributeGT in JavaGraphicalType with 
   property
    textcolor : "0,0,0";
    edgecolor : "0,0,0";
    edgewidth : "2"
  implementedBy
    implBy : "i5.cb.graph.cbeditor.CBLink"
  priority
    p : 1
end 

ImplicitAttributeGT in JavaGraphicalType with 
   property
    textcolor : "20,20,20";
    edgecolor : "20,20,20";
    edgestyle : "dashed";
    edgewidth : "2"
  implementedBy
    implBy : "i5.cb.graph.cbeditor.CBLink"
  priority
    p : 1
end 

MetametaGT in JavaGraphicalType with 
   property
    bgcolor : "127,255,212";
    textcolor : "0,0,0";
    linecolor : "32,178,170";
    shape : "i5.cb.graph.shapes.Ellipse";
    fontstyle : "bold"
  priority
    p : 10
  implementedBy
    implBy : "i5.cb.graph.cbeditor.CBIndividual"
end 

SimpleClassGT in JavaGraphicalType with 
   property
    bgcolor : "255,192,203";
    textcolor : "0,0,0";
    linecolor : "255,0,0";
    shape : "i5.cb.graph.shapes.Ellipse";
    fontstyle : "bold"
  priority
    p : 10
  implementedBy
    implBy : "i5.cb.graph.cbeditor.CBIndividual"
end 

MetaClassGT in JavaGraphicalType with 
   property
    bgcolor : "135,206,235";
    textcolor : "0,0,0";
    linecolor : "65,105,225";
    shape : "i5.cb.graph.shapes.Ellipse";
    fontstyle : "bold"
  priority
    p : 10
  implementedBy
    implBy : "i5.cb.graph.cbeditor.CBIndividual"
end 

ClassGT in JavaGraphicalType with 
   property
    bgcolor : "0,206,209";
    textcolor : "0,0,0";
    linecolor : "0,0,0";
    shape : "i5.cb.graph.shapes.Rect"
  priority
    p : 5
  implementedBy
    implBy : "i5.cb.graph.cbeditor.CBIndividual"
end 

QueryClassGT in JavaGraphicalType with 
   property
    bgcolor : "255,0,0";
    textcolor : "255,255,255";
    linecolor : "0,0,255";
    shape : "i5.cb.graph.shapes.Ellipse";
    fontstyle : "italic"
  priority
    p : 7
  implementedBy
    implBy : "i5.cb.graph.cbeditor.CBIndividual"
end 

{---} { 2025-07-08,15:14:02.403 }

ECArule in Class with 
   attribute
    ecarule : ECAassertion;
    priority_after : ECArule;
    priority_before : ECArule
end 

ECAassertion in Class,Assertions  end 

ECAmode in Class  end 

ECArule in Class with 
   attribute
    mode : ECAmode;
    active : Boolean;
    depth : Integer;
    rejectMsg : String
  constraint
    ecarule_single : $ forall r/ECArule e1,e2/ECAassertion
		(r ecarule e1) and (r ecarule e2) ==> (e1 == e2) $;
    eca_necessary : $ forall r/ECArule exists e/ECAassertion
		(r ecarule e) $;
    mode_single : $ forall r/ECArule m1,m2/ECAmode
		(r mode m1) and (r mode m2) ==> (m1 == m2) $;
    active_single : $ forall r/ECArule a1,a2/Boolean
		(r active a1) and (r active a2) ==> (a1 == a2) $;
    depth_single : $ forall r/ECArule i,j/Integer
		(r depth i) and (r depth j) ==> (i == j) $
end 

ECAassertion in Class,Assertions  end 

ECAmode in Class  end 

Immediate in ECAmode  end 

ImmediateDeferred in ECAmode  end 

Deferred in ECAmode  end 

YesClass  end 

yes in YesClass  end 

{---} { 2025-07-08,15:14:02.506 }

Module in Class with 
   attribute
    imports : Module;
    exports : Proposition;
    contains : Proposition
end 

oHome in Module  end 

CB_User with 
   attribute
    homeModule : Module;
    profileTag : String
end 

AutoHomeModule isA Module with 
   attribute
    exception : CB_User
end 

Resource  end 

Module in Class isA Resource  end 

CB_Operation  end 

CB_ReadOperation isA CB_Operation  end 

CB_WriteOperation isA CB_Operation  end 

TELL in CB_WriteOperation  end 

TELL_MODEL in CB_WriteOperation  end 

UNTELL in CB_WriteOperation  end 

RETELL in CB_WriteOperation  end 

LPI_CALL in CB_WriteOperation  end 

ASK in CB_ReadOperation  end 

HYPO_ASK in CB_ReadOperation  end 

listModule in BuiltinQueryClass with 
   parameter
    module : Module
end 

Module in Class with 
   attribute
    saveView : QueryClass
end 

AnswerFormat in Class with 
   attribute
    fileType : String
end 

toLabel in Function isA Individual with 
   parameter
    s : String
  comment
    c : "returns s as a label without quotes and special character and creates it as individual object"
end 

concat in Function isA String with 
   parameter
    s1 : String;
    s2 : String
  comment
    c : "Appends string s2 to the end of string s1; same as ConcatenateStrings"
end 

Proposition in Proposition with 
   attribute
    immutable : Proposition
end 

DefaultIsAGT in JavaGraphicalType with 
   property
    edgeheadcolor : "255,255,255"
end 

ImplicitIsAGT in JavaGraphicalType with 
   property
    edgeheadcolor : "255,255,255"
end 

Proposition in Proposition with 
   attribute
    gproperty : Proposition
end 

listModuleReloadable in BuiltinQueryClass with 
   parameter
    module : Module
end 

System in Module with 
   comment
    author : "(C) 1987 ConceptBase Team, in particular Manfred Jeusfeld, Martin Staudt, Hans Nissen, Christoph Quix, Eva Krueger; all rights reserved.";
    license : "Use permitted under FreeBSD style license, see http://conceptbase.sourceforge.net/CB-FreeBSD-License.txt.";
    purpose : "The System module is the root module of ConceptBase. It contains the pre-defined objects and classes for ConceptBase."
end 

XBridgePalette 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 superpal,pal/JavaGraphicalPalette
                      (superpal isA XBridgePalette) and
                      (pal isA superpal) and (pal <> XBridgePalette) and
                      (superpal contains gt)
                  ==> (pal contains gt) $;
    inheritDef1 : $ forall gt/JavaGraphicalType superpal,pal/JavaGraphicalPalette
                      (superpal isA XBridgePalette) and
                      (pal isA superpal) and (pal <> XBridgePalette) and
                      (superpal defaultIndividual gt)
                  ==> (pal defaultIndividual gt) $;
    inheritDef2 : $ forall gt/JavaGraphicalType superpal,pal/JavaGraphicalPalette
                      (superpal isA XBridgePalette) and
                      (pal isA superpal) and (pal <> XBridgePalette) and
                      (superpal defaultLink gt)
                  ==> (pal defaultLink gt) $;
    inheritDef3 : $ forall gt/JavaGraphicalType superpal,pal/JavaGraphicalPalette
                      (superpal isA XBridgePalette) and
                      (pal isA superpal) and (pal <> XBridgePalette) and
                      (superpal implicitIsA gt)
                  ==> (pal implicitIsA gt) $;
    inheritDef4 : $ forall gt/JavaGraphicalType superpal,pal/JavaGraphicalPalette
                      (superpal isA XBridgePalette) and
                      (pal isA superpal) and (pal <> XBridgePalette) and
                      (superpal implicitInstanceOf gt)
                  ==> (pal implicitInstanceOf gt) $;
    inheritDef5 : $ forall gt/JavaGraphicalType superpal,pal/JavaGraphicalPalette
                      (superpal isA XBridgePalette) and
                      (pal isA superpal) and (pal <> XBridgePalette) and
                      (superpal implicitAttribute gt)
                  ==> (pal implicitAttribute gt) $
end 

TelosPalette in Class,JavaGraphicalPalette isA XBridgePalette with 
   comment
    description : "This is the preferred default graphical palette for ConceptBase 8.2 (released 2021). The previous DefaultJavaPalette is still supported. TelosPalette is closer to the symbols used in UML class diagrams and has better support for long strings."
  contains,defaultIndividual
    tp1 : INDIVIDUAL_TP_GT
end 

INDIVIDUAL_TP_GT in Class,JavaGraphicalType  end 

ATTR_TP_GT in Class,JavaGraphicalType  end 

TelosPalette in Class,JavaGraphicalPalette with 
   contains,defaultLink
    tp2 : ATTR_TP_GT
  contains,implicitIsA
    tp3 : ISADEDUCED_TP_GT
end 

ISADEDUCED_TP_GT in Class,JavaGraphicalType  end 

INSTOFDEDUCED_TP_GT in Class,JavaGraphicalType  end 

TelosPalette in Class,JavaGraphicalPalette with 
   contains,implicitInstanceOf
    tp4 : INSTOFDEDUCED_TP_GT
  contains,implicitAttribute
    tp5 : ATTRDEDUCED_TP_GT
end 

ATTRDEDUCED_TP_GT in JavaGraphicalType  end 

CLASS_TP_GT in Class,JavaGraphicalType  end 

TelosPalette in Class,JavaGraphicalPalette with 
   contains
    tp6 : CLASS_TP_GT;
    tp7 : QUERYCLASS_TP_GT
end 

QUERYCLASS_TP_GT in Class,JavaGraphicalType  end 

INSTOF_TP_GT in Class,JavaGraphicalType  end 

TelosPalette in Class,JavaGraphicalPalette with 
   contains
    tp8 : INSTOF_TP_GT;
    tp9 : ISA_TP_GT
end 

ISA_TP_GT in Class,JavaGraphicalType  end 

STRING_TP_GT in Class,JavaGraphicalType  end 

TelosPalette in Class,JavaGraphicalPalette with 
   contains
    tp10 : STRING_TP_GT;
    tp11 : VALUE_TP_GT
end 

VALUE_TP_GT in Class,JavaGraphicalType  end 

ASSERTION_TP_GT in Class,JavaGraphicalType  end 

TelosPalette in Class,JavaGraphicalPalette with 
   contains
    tp12 : ASSERTION_TP_GT
end 

INSTOF_TP_GT in JavaGraphicalType,Class with 
   property
    bgcolor : "0,180,0";
    textcolor : "0,0,0";
    edgecolor : "0,180,0";
    edgewidth : "2";
    edgeheadshape : "Caret";
    edgestyle : "ldashed";
    label : ""
  implementedBy
    implBy : "i5.cb.graph.cbeditor.CBLink"
  priority
    p : 6
  rule
    gtrule1 : $ forall a/InstanceOf (a graphtype INSTOF_TP_GT) $
end 

INSTOFDEDUCED_TP_GT in JavaGraphicalType,Class with 
   property
    bgcolor : "0,180,0";
    textcolor : "0,0,0";
    edgecolor : "0,180,0";
    edgewidth : "1";
    edgeheadshape : "Caret";
    edgestyle : "dashed";
    label : ""
  implementedBy
    implBy : "i5.cb.graph.cbeditor.CBLink"
  priority
    p : 7
end 

ISA_TP_GT in JavaGraphicalType,Class with 
   property
    bgcolor : "0,150,255";
    textcolor : "0,0,0";
    edgecolor : "0,50,255";
    edgeheadcolor : "255,255,255";
    edgeheadshape : "Arrow";
    edgewidth : "2";
    label : ""
  implementedBy
    implBy : "i5.cb.graph.cbeditor.CBLink"
  priority
    p : 6
  rule
    gtrule1 : $ forall a/IsA (a graphtype ISA_TP_GT) $
end 

ISADEDUCED_TP_GT in JavaGraphicalType,Class with 
   property
    bgcolor : "0,150,255";
    textcolor : "0,0,0";
    edgecolor : "0,50,255";
    edgewidth : "1";
    edgestyle : "dashed";
    label : "";
    edgeheadcolor : "255,255,255";
    edgeheadshape : "Arrow"
  implementedBy
    implBy : "i5.cb.graph.cbeditor.CBLink"
  priority
    p : 7
end 

ATTR_TP_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
    gtrule1 : $ forall x/Proposition!attribute (x graphtype ATTR_TP_GT) $
end 

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

INDIVIDUAL_TP_GT in Class,JavaGraphicalType with 
   property
    bgcolor : "255,255,255";
    textcolor : "0,0,0";
    linecolor : "0,0,0";
    shape : "Rect";
    size : "resizable";
    linewidth : "1"
  implementedBy
    implBy : "i5.cb.graph.cbeditor.CBIndividual"
  priority
    pr : 5
  rule
    gtrule1 : $ forall x/Individual (x graphtype INDIVIDUAL_TP_GT) $
end 

CLASS_TP_GT in Class,JavaGraphicalType with 
   property
    bgcolor : "250,250,250";
    textcolor : "0,0,0";
    linecolor : "0,0,0";
    shape : "Rect";
    size : "resizable";
    linewidth : "1"
  implementedBy
    implBy : "i5.cb.graph.cbeditor.CBIndividual"
  priority
    pr : 6
  rule
    gtrule1 : $ forall x/Class (x graphtype CLASS_TP_GT) $
end 

STRING_TP_GT in Class,JavaGraphicalType with 
   property
    bgcolor : "250,250,250";
    textcolor : "0,0,0";
    linecolor : "100,100,100";
    shape : "Rect";
    fontstyle : "italic";
    fontsize : "11";
    size : "wrap";
    labellength : "1000";
    linewidth : "0.3"
  implementedBy
    implBy : "i5.cb.graph.cbeditor.CBIndividual"
  priority
    pr : 7
  rule
    gtrule1 : $ forall x/String (x graphtype STRING_TP_GT) $
end 

VALUE_TP_GT in Class,JavaGraphicalType with 
   property
    bgcolor : "250,250,250";
    textcolor : "0,0,0";
    linecolor : "100,100,100";
    shape : "Rect";
    fontstyle : "italic";
    fontsize : "11";
    linewidth : "0.3"
  implementedBy
    implBy : "i5.cb.graph.cbeditor.CBIndividual"
  priority
    pr : 7
  rule
    gtrule1 : $ forall x/Integer (x graphtype VALUE_TP_GT) $;
    gtrule2 : $ forall x/Real (x graphtype VALUE_TP_GT) $
end 

ASSERTION_TP_GT in Class,JavaGraphicalType with 
   property
    bgcolor : "250,250,250";
    textcolor : "0,0,0";
    linecolor : "0,0,0";
    shape : "Rect";
    size : "wrap";
    fontstyle : "italic";
    fontsize : "11";
    labellength : "1000";
    linewidth : "1"
  implementedBy
    implBy : "i5.cb.graph.cbeditor.CBIndividual"
  priority
    pr : 8
  rule
    gtrule1 : $ forall x/MSFOLassertion (x graphtype ASSERTION_TP_GT) $
end 

QUERYCLASS_TP_GT in Class,JavaGraphicalType with 
   property
    bgcolor : "255,245,245";
    textcolor : "0,0,0";
    linecolor : "0,0,0";
    shape : "Rect";
    size : "resizable";
    linewidth : "1";
    fontstyle : "italic"
  implementedBy
    implBy : "i5.cb.graph.cbeditor.CBIndividual"
  priority
    pr : 8
  rule
    gtrule1 : $ forall x/QueryClass (x graphtype QUERYCLASS_TP_GT) $
end 

concatl in Function isA Label with 
   parameter
    s1 : Label;
    s2 : Label
  comment
    c : "Appends the labels2 to the label s1; result is a Label, i.e. not necessarily an object name"
end 

concatl4 in Function isA Label with 
   parameter
    s1 : Label;
    s2 : Label;
    s3 : Label;
    s4 : Label
  comment
    c : "Concats the labels s1,s2,s3,s4"
end 

concatl6 in Function isA Label with 
   parameter
    s1 : Label;
    s2 : Label;
    s3 : Label;
    s4 : Label;
    s5 : Label;
    s6 : Label
  comment
    c : "Concats the labels s1,s2,s3,s4,s5,s6"
end 

HiddenLabel isA HiddenObject,Label  end 

resultOf in Function isA HiddenLabel with 
   parameter
    a1 : GenericQueryClass;
    a2 : Proposition;
    a3 : AnswerFormat
end 

toString in Function isA String with 
   parameter
    obj : Proposition
  comment
    c : "convert the label of obj into a string with double quotes around it"
end 

length in Function isA Integer with 
   parameter
    obj : Proposition
  comment
    c : "compute the number of characters of the label of obj. The double quotes of strings are not counted."
end 

isLike in Function isA Boolean with 
   parameter
    label : Proposition;
    pattern : String
  comment
    c : "check wether the label (first parameter) is matching a pattern (2nd parameter); Use wildcard * in the pattern"
end 

GlobalVariable  end 

currentPalette in GlobalVariable  end 

valueOf in Function isA Proposition with 
   parameter
    variable : GlobalVariable
end 

{ -/- }