added cycle_path_subgraph_nonisolated in tripartite_incidence for mos…

…t verification
gruninger · Oct 30, 2018 · 4e093d6 · 4e093d6
1 parent d0bfcbb
commit 4e093d6
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/ontologies/tripartite_incidence/cycle_path_subgraph_nonisolated.clif b/ontologies/tripartite_incidence/cycle_path_subgraph_nonisolated.clif
@@ -0,0 +1,7 @@
+(cl-text http://colore.oor.net/tripartite_incidence/cycle_path_subgraph_nonisolated.clif
+
+(cl-imports http://colore.oor.net/tripartite_incidence/cycle_path_subgraph.clif)
+
+(cl-imports http://colore.oor.net/bipartite_incidence/nonisolated_loopless.clif)
+
+)