VERSION "23.08.1998";
////////////////////////////////// Thing's declarations
PROPERTY
	IS (PROPERTY),(LIST),(THING);
	NAME ALL;
;
PROPERTY
	IS (PROPERTY),(LIST),(THING);
	NAME #1;
;
PROPERTY
	IS (PROPERTY),(LIST),(THING);
	NAME #2;
;
THING
	IS (THING);
	NAME #Concept;
;
#Concept
	IS (#Concept);
	NAME Animal;
;
#Concept
	IS (#Concept);
	NAME FemaleAnimal;
;
#Concept
	IS (#Concept);
	NAME Tuna;
;
#Concept
	IS (#Concept);
	NAME Fish;
;
#Concept
	IS (#Concept);
	NAME Bird;
;
#Concept
	IS (#Concept);
	NAME Insect;
;
#Concept
	IS (#Concept);
	NAME BiologicalKingdom;
;
#Concept
	IS (#Concept);
	NAME BiologicalClass;
;
#Concept
	IS (#Concept);
	NAME Mammal;
;
#Concept
	IS (#Concept);
	NAME BiologicalSpecies;
;
#Concept
	IS (#Concept);
	NAME Fido;
;
#Concept
	IS (#Concept);
	NAME Dog;
;
THING
	IS (THING);
	NAME #Variable;
;
#Variable
	IS (#Variable);
	NAME ?A;
;
#Variable
	IS (#Variable);
	NAME ?M;
;
THING
	IS (THING);
	NAME Relation;
;
Relation
	IS (Relation);
	NAME UnaryRelation;
;
UnaryRelation
	IS (UnaryRelation);
	NAME and;
;
and
	IS (and);
	NAME "(and (mother ?A ?M) (isa ?M FemaleAnimal))";
;
UnaryRelation
	IS (UnaryRelation);
	NAME not;
;
not
	IS (not);
	NAME "(not (or (isa Tuna Insect) (isa Tuna Bird)))";
;
UnaryRelation
	IS (UnaryRelation);
	NAME or;
;
or
	IS (or);
	NAME "(or (isa Tuna Insect) (isa Tuna Bird))";
;
Relation
	IS (Relation);
	NAME BinaryRelation;
;
BinaryRelation
	IS (BinaryRelation);
	NAME mother;
;
mother
	IS (mother);
	NAME "(mother ?A ?M)";
;
BinaryRelation
	IS (BinaryRelation);
	NAME isa;
;
isa
	IS (isa);
	NAME "(isa ?M FemaleAnimal)";
;
isa
	IS (isa);
	NAME "(isa ?A Animal)";
;
isa
	IS (isa);
	NAME "(isa Tuna Fish)";
;
isa
	IS (isa);
	NAME "(isa Tuna Bird)";
;
isa
	IS (isa);
	NAME "(isa Tuna Insect)";
;
BinaryRelation
	IS (BinaryRelation);
	NAME implies;
;
implies
	IS (implies);
	NAME "(implies (isa ?A Animal) (thereExists ?M (and (mother ?A ?M) (isa ?M FemaleAnimal))))";
;
implies
	IS (implies);
	NAME "(implies (isa Tuna Fish)) (not (or (isa Tuna Insect) (isa Tuna Bird)))";
;
BinaryRelation
	IS (BinaryRelation);
	NAME thereExists;
;
thereExists
	IS (thereExists);
	NAME "(thereExists ?M (and (mother ?A ?M) (isa ?M FemaleAnimal)))";
;
BinaryRelation
	IS (BinaryRelation);
	NAME genls;
;
////////////////////////////////// Thing's definitions
Relation(UnaryRelation)
	HAS (#1);
;
and("(and (mother ?A ?M) (isa ?M FemaleAnimal))")
	#1 ("(mother ?A ?M)"),("(isa ?M FemaleAnimal)");
;
not("(not (or (isa Tuna Insect) (isa Tuna Bird)))")
	#1 ("(or (isa Tuna Insect) (isa Tuna Bird))");
;
or("(or (isa Tuna Insect) (isa Tuna Bird))")
	#1 ("(isa Tuna Insect)"),("(isa Tuna Bird)");
;
Relation(BinaryRelation)
	HAS (#1),(#2);
;
mother("(mother ?A ?M)")
	#1 (?A);
	#2 (?M);
;
isa("(isa ?M FemaleAnimal)")
	#1 (?M);
	#2 (FemaleAnimal);
;
isa("(isa ?A Animal)")
	#1 (?A);
	#2 (Animal);
;
isa("(isa Tuna Fish)")
	#1 (Tuna);
	#2 (Fish);
;
isa("(isa Tuna Bird)")
	#1 (Tuna);
	#2 (Bird);
;
isa("(isa Tuna Insect)")
	#1 (Tuna);
	#2 (Insect);
;
genls NAME "(genls Dog Mammal)";
	#1 (Dog);
	#2 (Mammal);
;
genls NAME "(genls Mammal Animal)";
	#1 (Mammal);
	#2 (Animal);
;
genls NAME "(genls Animal Thing)";
	#1 (Animal);
	#2 (THING);
;
implies("(implies (isa ?A Animal) (thereExists ?M (and (mother ?A ?M) (isa ?M FemaleAnimal))))")
	#1 ("(isa ?A Animal)");
	#2 ("(thereExists ?M (and (mother ?A ?M) (isa ?M FemaleAnimal)))");
;
implies("(implies (isa Tuna Fish)) (not (or (isa Tuna Insect) (isa Tuna Bird)))")
	#1 ("(isa Tuna Fish)");
	#2 ("(not (or (isa Tuna Insect) (isa Tuna Bird)))");
;
thereExists("(thereExists ?M (and (mother ?A ?M) (isa ?M FemaleAnimal)))")
	#1 (?M);
	#2 ("(and (mother ?A ?M) (isa ?M FemaleAnimal))");
;
isa NAME "(isa Animal BiologicalKingdom)";
	#1 (Animal);
	#2 (BiologicalKingdom);
;
isa NAME "(isa Mammal BiologicalClass)";
	#1 (Mammal);
	#2 (BiologicalClass);
;
isa NAME "(isa Dog BiologicalSpecies)";
	#1 (Dog);
	#2 (BiologicalSpecies);
;
isa NAME "(isa Fido Dog)";
	#1 (Fido);
	#2 (Dog);
;
////////////////////////////////// Views
VIEW
	NAME "Taxonomy Example";
;
VIEW
	NAME "Visual CycL Example";
;
VIEW
	NAME "3D CycL Example";
;
VIEW
	NAME "Higher-Order Example";
;
VIEW
	("Visual CycL Example")
	LINK "ALL";
	PROJECTOR "Plain";
	X "-21";
	Y "0";
	Z "-995";
	THETA "-6";
	PHI "11";
	NODES
		NODE X 541;	Y 341;	Z 0;	COLOR white;	IMAGE "ROUND";	THING ("?A");	,
		NODE X 67;	Y 340;	Z 0;	COLOR white;	IMAGE "ROUND";	THING ("?M");	,
		NODE X 541;	Y 45;	Z 0;	COLOR yellow;	IMAGE "OVAL";	THING (NAME Animal);	,
		NODE X 67;	Y 50;	Z 0;	COLOR yellow;	IMAGE "OVAL";	THING (NAME FemaleAnimal);	,
		NODE X 304;	Y 340;	Z 0;	COLOR pink;	IMAGE "RECT";	THING (NAME "(mother ?A ?M)");	,
		NODE X 67;	Y 195;	Z 0;	COLOR cyan;	IMAGE "RECT";	THING (NAME "(isa ?M FemaleAnimal)");	,
		NODE X 185;	Y 267;	Z 0;	COLOR orange;	IMAGE "RECT";	THING (NAME "(and (mother ?A ?M) (isa ?M FemaleAnimal))");	,
		NODE X 541;	Y 193;	Z 0;	COLOR cyan;	IMAGE "RECT";	THING (NAME "(isa ?A Animal)");	,
		NODE X 126;	Y 303;	Z 0;	COLOR magenta;	IMAGE "RECT";	THING (NAME "(thereExists ?M (and (mother ?A ?M) (isa ?M FemaleAnimal)))");	,
		NODE X 333;	Y 248;	Z 0;	COLOR red;	IMAGE "RECT";	THING (NAME "(implies (isa ?A Animal) (thereExists ?M (and (mother ?A ?M) (isa ?M FemaleAnimal))))");	
	;
;
VIEW
	("3D CycL Example")
	LINK "ALL";
	PROJECTOR "Camera";
	BACKCOLOR "0,0,0";
	LINKCOLOR "green";
	X "95";
	Y "60";
	Z "-678";
	THETA "5";
	PHI "11";
	NODES
		NODE X -57;	Y 190;	Z -263;	COLOR white;	IMAGE "ROUND"; THING ("?M");	,
		NODE X 130;	Y 165;	Z -374;	COLOR white;	IMAGE "ROUND"; THING ("?A");	,	
		NODE X 301;	Y 124;	Z 607;	COLOR yellow;	IMAGE "OVAL";	THING (NAME Animal);	,
		NODE X -126;	Y 96;	Z 724;	COLOR yellow;	IMAGE "OVAL";	THING (NAME FemaleAnimal);	,
		NODE X 36;	Y 177;	Z -318;	COLOR pink;	IMAGE "RECT";	THING (NAME "(mother ?A ?M)");	,
		NODE X -91;	Y 143;	Z 230;	COLOR cyan;	IMAGE "RECT";	THING (NAME "(isa ?M FemaleAnimal)");	,
		NODE X -27;	Y 160;	Z -44;	COLOR orange;	IMAGE "RECT";	THING (NAME "(and (mother ?A ?M) (isa ?M FemaleAnimal))");	,
		NODE X 215;	Y 144;	Z 116;	COLOR cyan;	IMAGE "RECT";	THING (NAME "(isa ?A Animal)");	,
		NODE X -42;	Y 175;	Z -153;	COLOR magenta;	IMAGE "RECT";	THING (NAME "(thereExists ?M (and (mother ?A ?M) (isa ?M FemaleAnimal)))");	,
		NODE X 86;	Y 159;	Z -18;	COLOR red;	IMAGE "RECT";	THING (NAME "(implies (isa ?A Animal) (thereExists ?M (and (mother ?A ?M) (isa ?M FemaleAnimal))))");	
	;
;
VIEW
	("Higher-Order Example")
	LINK "ALL";
	PROJECTOR "Plain";
	BACKCOLOR "180,255,255";
	X "-21";
	Y "0";
	Z "-995";
	THETA "-6";
	PHI "11";
	NODES
		NODE X 102;	Y 274;	Z 0;	COLOR magenta;	IMAGE "images/fish.gif";	THING (NAME Tuna);	,
		NODE X 102;	Y 54;	Z 0;	COLOR yellow;	IMAGE "OVAL";	THING (NAME Fish);	,
		NODE X 518;	Y 274;	Z 0;	COLOR yellow;	IMAGE "OVAL";	THING (NAME Bird);	,
		NODE X 310;	Y 356;	Z 0;	COLOR yellow;	IMAGE "OVAL";	THING (NAME Insect);	,
		NODE X 310;	Y 274;	Z 0;	COLOR cyan;	IMAGE "RECT";	THING (NAME "(isa Tuna Bird)");	,
		NODE X 206;	Y 315;	Z 0;	COLOR cyan;	IMAGE "RECT";	THING (NAME "(isa Tuna Insect)");	,
		NODE X 258;	Y 294;	Z 0;	COLOR green;	IMAGE "RECT";	THING (NAME "(or (isa Tuna Insect) (isa Tuna Bird))");	,
		NODE X 102;	Y 164;	Z 0;	COLOR cyan;	IMAGE "RECT";	THING (NAME "(isa Tuna Fish)");	,
		NODE X 258;	Y 184;	Z 0;	COLOR gray;	IMAGE "RECT";	THING (NAME "(not (or (isa Tuna Insect) (isa Tuna Bird)))");	,
		NODE X 180;	Y 174;	Z 0;	COLOR pink;	IMAGE "RECT";	THING (NAME "(implies (isa Tuna Fish)) (not (or (isa Tuna Insect) (isa Tuna Bird)))");	
	;
;
VIEW
	("Taxonomy Example")
	LINK "ALL";
	PROJECTOR "Plain";
	BACKCOLOR "180,255,180";
	X "-21";
	Y "0";
	Z "-995";
	THETA "-6";
	PHI "11";
	NODES
		NODE X 285;	Y 23;	Z 0;	COLOR yellow;	IMAGE "OVAL";	THING (NAME BiologicalKingdom);	,
		NODE X 413;	Y 117;	Z 0;	COLOR yellow;	IMAGE "OVAL";	THING (NAME Animal);	,
		NODE X 179;	Y 109;	Z 0;	COLOR yellow;	IMAGE "OVAL";	THING (NAME BiologicalClass);	,
		NODE X 307;	Y 211;	Z 0;	COLOR yellow;	IMAGE "OVAL";	THING (NAME Mammal);	,
		NODE X 89;	Y 207;	Z 0;	COLOR yellow;	IMAGE "OVAL";	THING (NAME BiologicalSpecies);	,
		NODE X 201;	Y 293;	Z 0;	COLOR yellow;	IMAGE "images/wolf.gif";	THING (NAME Dog);	,
		NODE X 315;	Y 373;	Z 0;	COLOR yellow;	IMAGE "OVAL";	THING (NAME Fido);	,
		NODE X 349;	Y 70;	Z 0;	COLOR green;	IMAGE "RECT";	THING (NAME "(isa Animal BiologicalKingdom)");	,
		NODE X 243;	Y 160;	Z 0;	COLOR green;	IMAGE "RECT";	THING (NAME "(isa Mammal BiologicalClass)");	,
		NODE X 145;	Y 250;	Z 0;	COLOR green;	IMAGE "RECT";	THING (NAME "(isa Dog BiologicalSpecies)");	,
		NODE X 258;	Y 333;	Z 0;	COLOR green;	IMAGE "RECT";	THING (NAME "(isa Fido Dog)");	,
		NODE X 254;	Y 252;	Z 0;	COLOR cyan;	IMAGE "RECT";	THING (NAME "(genls Dog Mammal)");	,
		NODE X 360;	Y 164;	Z 0;	COLOR cyan;	IMAGE "RECT";	THING (NAME "(genls Mammal Animal)");	,
		NODE X 464;	Y 72;	Z 0;	COLOR cyan;	IMAGE "RECT";	THING (NAME "(genls Animal Thing)");	,
		NODE X 515;	Y 27;	Z 0;	COLOR yellow;	IMAGE "OVAL";	THING (NAME THING);	
	;
;