Fix minor error in domain data

acharal · Nov 12, 2013 · a44256d · a44256d
1 parent db849af
commit a44256d
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/examples/domain.pl b/examples/domain.pl
@@ -53,9 +53,17 @@
 	yadlr_instance( kb, panathinaikos ),
 	yadlr_instance( kb, napoli ),
 	yadlr_instance( kb, argentina ),
+	yadlr_instance( kb, ec88 ),
+	yadlr_instance( kb, ec92 ),
+	yadlr_instance( kb, uefa89 ),
+	yadlr_instance( kb, serieA87 ),
+	yadlr_instance( kb, serieA88 ),
+	yadlr_instance( kb, serieA89 ),
+	yadlr_instance( kb, serieA90 ),
 	yadlr_instance( kb, serieA91 ),
 	yadlr_instance( kb, superleague91 ).
 
+
 crisp_domain_axioms :-
 	yadlr_assert( kb, all(X, dlimplies(sports_club(X), team(X)) ), 1.0 ),
 	yadlr_assert( kb, all(X, dlimplies(national_team(X), team(X))), 1.0 ),