![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Axioms.owl.n3 | 2023-12-11 05:31 | 2.9K | |
| Owls.n3.db | 2023-12-11 05:31 | 7.6K | |
| Owls.n3.pr | 2023-12-11 05:31 | 8.6K | |
| allValuesFrom.n3 | 2023-12-11 05:31 | 778 | |
| altT.l.n3 | 2023-12-11 05:31 | 52 | |
| altT.q.n3 | 2023-12-11 05:31 | 42 | |
| animal-result.n3 | 2023-12-11 05:31 | 1.8K | |
| animal-simple.n3 | 2023-12-11 05:31 | 711 | |
| animal.n3 | 2023-12-11 05:31 | 657 | |
| authen.axiom.n3 | 2023-12-11 05:31 | 626 | |
| authen.axiom.n3.db | 2023-12-11 05:31 | 2.9K | |
| authen.axiom.n3.dbs | 2023-12-11 05:31 | 4.9K | |
| authen.axiom.pro | 2023-12-11 05:31 | 146 | |
| authen.check.n3 | 2023-12-11 05:31 | 921 | |
| authen.lemma.n3 | 2023-12-11 05:31 | 558 | |
| authen.lemma.pro | 2023-12-11 05:31 | 27 | |
| authen.lemma1.n3 | 2023-12-11 05:31 | 322 | |
| authen.par | 2023-12-11 05:31 | 115 | |
| authen.proof.n3 | 2023-12-11 05:31 | 1.2K | |
| authenR.axiom.n3 | 2023-12-11 05:31 | 643 | |
| authenR.lemma.n3 | 2023-12-11 05:31 | 274 | |
| avf.axiom.n3 | 2023-12-11 05:31 | 489 | |
| avf.query.n3 | 2023-12-11 05:31 | 18 | |
| bless.axiom.n3 | 2023-12-11 05:31 | 1.8K | |
| bless.check.n3 | 2023-12-11 05:31 | 15K | |
| bless.lemma.n3 | 2023-12-11 05:31 | 287 | |
| bless.proof.n3 | 2023-12-11 05:31 | 8.8K | |
| boole.axiom.n3 | 2023-12-11 05:31 | 1.8K | |
| boole.axiom.n3.db | 2023-12-11 05:31 | 24K | |
| boole.axiom.pro | 2023-12-11 05:31 | 1.4K | |
| boole.lemma.n3 | 2023-12-11 05:31 | 137 | |
| boole.lemma.pro | 2023-12-11 05:31 | 29 | |
| booleW.a.n3 | 2023-12-11 05:31 | 1.5K | |
| booleW.q.n3 | 2023-12-11 05:31 | 89 | |
| builtins-result.n3 | 2023-12-11 05:31 | 5.0K | |
| builtins.n3 | 2023-12-11 05:31 | 1.9K | |
| builtinsE.n3 | 2023-12-11 05:31 | 1.9K | |
| buitins.n3 | 2023-12-11 05:31 | 0 | |
| conclusions001.n3 | 2023-12-11 05:31 | 1.7K | |
| conclusions002.n3 | 2023-12-11 05:31 | 1.1K | |
| conclusions003.n3 | 2023-12-11 05:31 | 1.7K | |
| conclusions004.n3 | 2023-12-11 05:31 | 1.1K | |
| conclusions005.n3 | 2023-12-11 05:31 | 1.4K | |
| conclusions006.n3 | 2023-12-11 05:31 | 889 | |
| conclusions007.n3 | 2023-12-11 05:31 | 587 | |
| danb-query.n3 | 2023-12-11 05:31 | 789 | |
| danb-query.n3.old | 2023-12-11 05:31 | 711 | |
| danb-result.n3 | 2023-12-11 05:31 | 3.0K | |
| danb.n3 | 2023-12-11 05:31 | 2.1K | |
| danb.n3.db | 2023-12-11 05:31 | 23K | |
| danb.n3.dbs | 2023-12-11 05:31 | 22K | |
| danb.n3.old | 2023-12-11 05:31 | 2.1K | |
| danc-query.n3 | 2023-12-11 05:31 | 357 | |
| danc-result.n3 | 2023-12-11 05:31 | 1.3K | |
| danc.n3 | 2023-12-11 05:31 | 765 | |
| danc.n3.db | 2023-12-11 05:31 | 14K | |
| danc.n3.ld | 2023-12-11 05:31 | 23K | |
| dancq.n3 | 2023-12-11 05:31 | 566 | |
| deb.in.n3 | 2023-12-11 05:31 | 671 | |
| deb.n3 | 2023-12-11 05:31 | 158 | |
| deb.out.n3 | 2023-12-11 05:31 | 4.0K | |
| debC.n3 | 2023-12-11 05:31 | 376 | |
| debE.n3 | 2023-12-11 05:31 | 1.2K | |
| debF.n3 | 2023-12-11 05:31 | 173 | |
| debP.n3 | 2023-12-11 05:31 | 221 | |
| debQ.n3 | 2023-12-11 05:31 | 337 | |
| define.axiom.n3 | 2023-12-11 05:31 | 372 | |
| define.check.n3 | 2023-12-11 05:31 | 464 | |
| define.lemma.n3 | 2023-12-11 05:31 | 125 | |
| define.proof.n3 | 2023-12-11 05:31 | 362 | |
| dtC.n3 | 2023-12-11 05:31 | 2.0K | |
| dtE.n3 | 2023-12-11 05:31 | 4.3K | |
| dtP.n3 | 2023-12-11 05:31 | 1.5K | |
| easterC.n3 | 2023-12-11 05:31 | 731 | |
| easterE.n3 | 2023-12-11 05:31 | 15K | |
| easterP.n3 | 2023-12-11 05:31 | 2.2K | |
| einstein.in.n3 | 2023-12-11 05:31 | 1.3K | |
| einstein.n3 | 2023-12-11 05:31 | 828 | |
| einsteinE.n3 | 2023-12-11 05:31 | 6.3K | |
| einsteinP.n3 | 2023-12-11 05:31 | 5.3K | |
| einsteinQ.n3 | 2023-12-11 05:31 | 462 | |
| einsteinT.n3 | 2023-12-11 05:31 | 5.5K | |
| energy_unit.owl.n3 | 2023-12-11 05:31 | 4.3K | |
| equal.a.n3 | 2023-12-11 05:31 | 743 | |
| equal.a.n3.dbs | 2023-12-11 05:31 | 0 | |
| equal.q.n3 | 2023-12-11 05:31 | 753 | |
| equiv.axiom.n3 | 2023-12-11 05:31 | 247 | |
| equiv.check.n3 | 2023-12-11 05:31 | 348 | |
| equiv.lemma.n3 | 2023-12-11 05:31 | 108 | |
| equiv.proof.n3 | 2023-12-11 05:31 | 311 | |
| etc.n3 | 2023-12-11 05:31 | 847 | |
| etc001-proof.n3 | 2023-12-11 05:31 | 15K | |
| etc001.n3 | 2023-12-11 05:31 | 2.1K | |
| etc1-proof.n3 | 2023-12-11 05:31 | 157K | |
| etc1.n3 | 2023-12-11 05:31 | 58K | |
| etc2-proof.n3 | 2023-12-11 05:31 | 2.0M | |
| etc2.n3 | 2023-12-11 05:31 | 136K | |
| etc3-proof.n3 | 2023-12-11 05:31 | 220K | |
| etc3.n3 | 2023-12-11 05:31 | 8.7K | |
| etc4-proof.n3 | 2023-12-11 05:31 | 873K | |
| etc4.n3 | 2023-12-11 05:31 | 626 | |
| etc5-proof.n3 | 2023-12-11 05:31 | 2.1M | |
| etc5.n3 | 2023-12-11 05:31 | 796 | |
| example001P.n3 | 2023-12-11 05:31 | 905 | |
| example002P.n3 | 2023-12-11 05:31 | 1.4K | |
| example003E.n3 | 2023-12-11 05:31 | 1.0K | |
| example003P.n3 | 2023-12-11 05:31 | 4.8K | |
| example003Q.n3 | 2023-12-11 05:31 | 548 | |
| extra.axiom.n3 | 2023-12-11 05:31 | 385 | |
| extra.check.n3 | 2023-12-11 05:31 | 713 | |
| extra.lemma.n3 | 2023-12-11 05:31 | 172 | |
| extra.proof.n3 | 2023-12-11 05:31 | 512 | |
| filgn | 2023-12-11 05:31 | 4.5K | |
| gedcom-all.n3 | 2023-12-11 05:31 | 12K | |
| gedcom-check.n3 | 2023-12-11 05:31 | 25K | |
| gedcom-facts.n3 | 2023-12-11 05:31 | 2.3K | |
| gedcom-facts.n3.db | 2023-12-11 05:31 | 106K | |
| gedcom-filter.n3 | 2023-12-11 05:31 | 1.6K | |
| gedcom-proof-cwm.n3 | 2023-12-11 05:31 | 238K | |
| gedcom-proof.n3 | 2023-12-11 05:31 | 30K | |
| gedcom-qsimple.n3 | 2023-12-11 05:31 | 487 | |
| gedcom-query.n3 | 2023-12-11 05:31 | 956 | |
| gedcom-relations-res..> | 2023-12-11 05:31 | 272 | |
| gedcom-relations-tes..> | 2023-12-11 05:31 | 4.9K | |
| gedcom-relations.n3 | 2023-12-11 05:31 | 2.4K | |
| gedcom-relations.n3.pr | 2023-12-11 05:31 | 19K | |
| gedcom-simple.n3 | 2023-12-11 05:31 | 634 | |
| gedcom-simple.n3.db | 2023-12-11 05:31 | 85K | |
| gedcom.all.n3 | 2023-12-11 05:31 | 72K | |
| gedcom.in.n3 | 2023-12-11 05:31 | 1.0K | |
| gedcom.out.n3 | 2023-12-11 05:31 | 24K | |
| gedcom.par | 2023-12-11 05:31 | 155 | |
| gedcom.query1.n3 | 2023-12-11 05:31 | 1.0K | |
| graph.axiom.n3 | 2023-12-11 05:31 | 585 | |
| graph.check.n3 | 2023-12-11 05:31 | 5.3K | |
| graph.filter.n3 | 2023-12-11 05:31 | 566 | |
| graph.in.n3 | 2023-12-11 05:31 | 1.3K | |
| graph.lemma.n3 | 2023-12-11 05:31 | 473 | |
| graph.out.n3 | 2023-12-11 05:31 | 6.8K | |
| graph.proof.n3 | 2023-12-11 05:31 | 2.4K | |
| health.owl.n3 | 2023-12-11 05:31 | 1.9K | |
| health2.owl.n3 | 2023-12-11 05:31 | 1.5K | |
| hol.n3 | 2023-12-11 05:31 | 958 | |
| hol.q.n3 | 2023-12-11 05:31 | 320 | |
| inconsistent.n3 | 2023-12-11 05:31 | 62 | |
| induction.axiom.n3 | 2023-12-11 05:31 | 277 | |
| induction.query.n3 | 2023-12-11 05:31 | 136 | |
| janet-result.n3 | 2023-12-11 05:31 | 1.5K | |
| janet-test.n3 | 2023-12-11 05:31 | 679 | |
| janet.n3 | 2023-12-11 05:31 | 687 | |
| lf.n3 | 2023-12-11 05:31 | 322 | |
| lfF.n3 | 2023-12-11 05:31 | 158 | |
| lists-query.n3 | 2023-12-11 05:31 | 475 | |
| lists-result.n3 | 2023-12-11 05:31 | 2.6K | |
| lists.axiom.n3 | 2023-12-11 05:31 | 445 | |
| lists.check.n3 | 2023-12-11 05:31 | 2.8K | |
| lists.lemma.n3 | 2023-12-11 05:31 | 209 | |
| lists.n3 | 2023-12-11 05:31 | 466 | |
| lists.proof.n3 | 2023-12-11 05:31 | 1.6K | |
| lite.n3 | 2023-12-11 05:31 | 1.8K | |
| log-facts.n3 | 2023-12-11 05:31 | 246 | |
| log-query.n3 | 2023-12-11 05:31 | 882 | |
| log-rules.n3 | 2023-12-11 05:31 | 7.2K | |
| logic.a.n3 | 2023-12-11 05:31 | 2.3K | |
| logic.q.n3 | 2023-12-11 05:31 | 1.2K | |
| lots.n3 | 2023-12-11 05:31 | 30K | |
| med.n3 | 2023-12-11 05:31 | 889 | |
| med3.n3 | 2023-12-11 05:31 | 1.3K | |
| medE.n3 | 2023-12-11 05:31 | 4.0K | |
| medF.n3 | 2023-12-11 05:31 | 655 | |
| medI.n3 | 2023-12-11 05:31 | 3.7K | |
| medP.n3 | 2023-12-11 05:31 | 963 | |
| medQ.n3 | 2023-12-11 05:31 | 890 | |
| medT.n3 | 2023-12-11 05:31 | 345 | |
| medic.n3 | 2023-12-11 05:31 | 1.8K | |
| medicF.n3 | 2023-12-11 05:31 | 305 | |
| medmio.n3 | 2023-12-11 05:31 | 1.5K | |
| medmioF.n3 | 2023-12-11 05:31 | 318 | |
| name.owl.n3 | 2023-12-11 05:31 | 1.2K | |
| notTest.n3 | 2023-12-11 05:31 | 638 | |
| notTest.q.n3 | 2023-12-11 05:31 | 105 | |
| ontology.axiom.n3 | 2023-12-11 05:31 | 597 | |
| ontology.axiom.n3.db | 2023-12-11 05:31 | 4.9K | |
| ontology.query.n3 | 2023-12-11 05:31 | 224 | |
| ontology1.axiom.n3 | 2023-12-11 05:31 | 744 | |
| ontology1.axiom.n3.db | 2023-12-11 05:31 | 6.3K | |
| ontology1.query.n3 | 2023-12-11 05:31 | 297 | |
| ontology2.axiom.n3 | 2023-12-11 05:31 | 612 | |
| owl-2066.n3 | 2023-12-11 05:31 | 2.7K | |
| owl-etc.n3 | 2023-12-11 05:31 | 36K | |
| owl-facts.n3 | 2023-12-11 05:31 | 887 | |
| owl-query.n3 | 2023-12-11 05:31 | 1.0K | |
| owl-result.n3 | 2023-12-11 05:31 | 7.7K | |
| owl-rules-20.n3 | 2023-12-11 05:31 | 1.5K | |
| owl-rules-66.n3 | 2023-12-11 05:31 | 1.3K | |
| owl-rules-200.n3 | 2023-12-11 05:31 | 1.2K | |
| owl-rules-660.n3 | 2023-12-11 05:31 | 1.3K | |
| owl-rules.n3 | 2023-12-11 05:31 | 32K | |
| owlParsetest.owl.n3 | 2023-12-11 05:31 | 1.5K | |
| owlParsetest1.owl.n3 | 2023-12-11 05:31 | 6.7K | |
| owls.n3 | 2023-12-11 05:31 | 2.4K | |
| owls.query.n3 | 2023-12-11 05:31 | 407 | |
| premises001.n3 | 2023-12-11 05:31 | 1.1K | |
| premises002.n3 | 2023-12-11 05:31 | 1.7K | |
| premises003.n3 | 2023-12-11 05:31 | 1.1K | |
| premises004.n3 | 2023-12-11 05:31 | 1.7K | |
| premises005.n3 | 2023-12-11 05:31 | 633 | |
| premises006.n3 | 2023-12-11 05:31 | 1.4K | |
| premises007.n3 | 2023-12-11 05:31 | 919 | |
| project.a1.n3 | 2023-12-11 05:31 | 677 | |
| project.q1.n3 | 2023-12-11 05:31 | 107 | |
| project1.par | 2023-12-11 05:31 | 110 | |
| puzzle.in.n3 | 2023-12-11 05:31 | 2.5K | |
| pychinko.output.n3 | 2023-12-11 05:31 | 0 | |
| qed.n3 | 2023-12-11 05:31 | 108 | |
| rdf-facts.n3 | 2023-12-11 05:31 | 125 | |
| rdf-query.n3 | 2023-12-11 05:31 | 360 | |
| rdf-result.n3 | 2023-12-11 05:31 | 676 | |
| rdf-rules.n3 | 2023-12-11 05:31 | 472 | |
| rdfc25May-result.n3 | 2023-12-11 05:31 | 13K | |
| rdfc25May-test.n3 | 2023-12-11 05:31 | 11K | |
| rdfc25May.n3 | 2023-12-11 05:31 | 11K | |
| rdfd-facts.n3 | 2023-12-11 05:31 | 502 | |
| rdfd-query.n3 | 2023-12-11 05:31 | 530 | |
| rdfd-rules.n3 | 2023-12-11 05:31 | 775 | |
| rdfd-theory.n3 | 2023-12-11 05:31 | 892 | |
| rdfr-theory.n3 | 2023-12-11 05:31 | 1.4K | |
| rdfs-facts.n3 | 2023-12-11 05:31 | 506 | |
| rdfs-query.n3 | 2023-12-11 05:31 | 1.7K | |
| rdfs-result.n3 | 2023-12-11 05:31 | 16K | |
| rdfs-rules.n3 | 2023-12-11 05:31 | 2.7K | |
| rdfs-rules1.n3 | 2023-12-11 05:31 | 1.7K | |
| rdfsfacts.n3 | 2023-12-11 05:31 | 216 | |
| rdfsquery.n3 | 2023-12-11 05:31 | 1.7K | |
| rdfsresult.n3 | 2023-12-11 05:31 | 4.1K | |
| rdfsrules.n3 | 2023-12-11 05:31 | 2.3K | |
| reg.a.n3 | 2023-12-11 05:31 | 160 | |
| reg.par | 2023-12-11 05:31 | 101 | |
| reg.q.n3 | 2023-12-11 05:31 | 390 | |
| rpo-rules.n3 | 2023-12-11 05:31 | 3.9K | |
| rpo-rules2.n3 | 2023-12-11 05:31 | 3.4K | |
| russell.axiom.n3 | 2023-12-11 05:31 | 604 | |
| russell.check.n3 | 2023-12-11 05:31 | 245 | |
| russell.lemma.n3 | 2023-12-11 05:31 | 647 | |
| russell.n3 | 2023-12-11 05:31 | 0 | |
| russell.proof.n3 | 2023-12-11 05:31 | 251 | |
| russellE.n3 | 2023-12-11 05:31 | 5.4K | |
| russellW.n3 | 2023-12-11 05:31 | 15K | |
| simulteq.axiom.n3 | 2023-12-11 05:31 | 1.2K | |
| simulteq.check.n3 | 2023-12-11 05:31 | 2.7K | |
| simulteq.lemma.n3 | 2023-12-11 05:31 | 145 | |
| simulteq.proof.n3 | 2023-12-11 05:31 | 1.0K | |
| socrates.n3 | 2023-12-11 05:31 | 328 | |
| socratesE.n3 | 2023-12-11 05:31 | 3.2K | |
| socratesF.n3 | 2023-12-11 05:31 | 705 | |
| socratesQ.n3 | 2023-12-11 05:31 | 425 | |
| socratesW.n3 | 2023-12-11 05:31 | 5.8K | |
| steamroller.in.n3 | 2023-12-11 05:31 | 1.4K | |
| steamroller.n3 | 2023-12-11 05:31 | 1.5K | |
| steamroller.out.n3 | 2023-12-11 05:31 | 12K | |
| steamrollerF.n3 | 2023-12-11 05:31 | 410 | |
| subclass-query.n3 | 2023-12-11 05:31 | 315 | |
| subclass-result.n3 | 2023-12-11 05:31 | 1.2K | |
| subclass.n3 | 2023-12-11 05:31 | 262 | |
| subprop-query.n3 | 2023-12-11 05:31 | 268 | |
| subprop-result.n3 | 2023-12-11 05:31 | 1.4K | |
| subprop.n3 | 2023-12-11 05:31 | 319 | |
| test-prop-lemma.n3 | 2023-12-11 05:31 | 2.3K | |
| test-prop-proof-cwm.n3 | 2023-12-11 05:31 | 3.9K | |
| test-prop-proof.n3 | 2023-12-11 05:31 | 4.1K | |
| test-prop.n3 | 2023-12-11 05:31 | 520 | |
| test-result.n3 | 2023-12-11 05:31 | 11K | |
| test-rules.n3 | 2023-12-11 05:31 | 4.4K | |
| test-test.n3 | 2023-12-11 05:31 | 2.2K | |
| test.n3 | 2023-12-11 05:31 | 2.6K | |
| test.n3.sav1 | 2023-12-11 05:31 | 185 | |
| testC.n3 | 2023-12-11 05:31 | 266 | |
| testLF.n3 | 2023-12-11 05:31 | 465 | |
| testLFQ.n3 | 2023-12-11 05:31 | 280 | |
| testP.n3 | 2023-12-11 05:31 | 101 | |
| testbuiltins.n3 | 2023-12-11 05:31 | 3.4K | |
| testdata.n3 | 2023-12-11 05:31 | 679 | |
| think.n3 | 2023-12-11 05:31 | 413 | |
| tlogic.a.n3 | 2023-12-11 05:31 | 2.5K | |
| tlogic.q.n3 | 2023-12-11 05:31 | 1.0K | |
| tpoint-all.n3 | 2023-12-11 05:31 | 21K | |
| tpoint-all.n3.db | 2023-12-11 05:31 | 197K | |
| tpoint-check.n3 | 2023-12-11 05:31 | 11K | |
| tpoint-facts.n3 | 2023-12-11 05:31 | 514 | |
| tpoint-proof.n3 | 2023-12-11 05:31 | 11K | |
| tpoint-query.n3 | 2023-12-11 05:31 | 243 | |
| tpoint-result.n3 | 2023-12-11 05:31 | 11K | |
| tpoint.n3 | 2023-12-11 05:31 | 2.8K | |
| try.n3 | 2023-12-11 05:31 | 2.5K | |
| type1.axiom.n3 | 2023-12-11 05:31 | 927 | |
| type1.query.n3 | 2023-12-11 05:31 | 404 | |
| unif.n3 | 2023-12-11 05:31 | 281 | |
| unif.q.n3 | 2023-12-11 05:31 | 138 | |
| varprop-query.n3 | 2023-12-11 05:31 | 215 | |
| varprop-result.n3 | 2023-12-11 05:31 | 617 | |
| varprop.n3 | 2023-12-11 05:31 | 310 | |
| vogel.l.n3 | 2023-12-11 05:31 | 378 | |
| vogel.l.n3.db | 2023-12-11 05:31 | 5.7K | |
| vogel.n3 | 2023-12-11 05:31 | 368 | |
| vogel.q.n3 | 2023-12-11 05:31 | 150 | |
| water.a.owl.n3 | 2023-12-11 05:31 | 2.2K | |
| wine.owl.n3 | 2023-12-11 05:31 | 54K | |
| wol-facts.n3 | 2023-12-11 05:31 | 587 | |
| wol-query.n3 | 2023-12-11 05:31 | 756 | |
| wol-result.n3 | 2023-12-11 05:31 | 4.0K | |
| wol-rules.n3 | 2023-12-11 05:31 | 2.2K | |
| xsd-query.n3 | 2023-12-11 05:31 | 390 | |
| xsd-rules.n3 | 2023-12-11 05:31 | 6.2K | |
| ziv-query.n3 | 2023-12-11 05:31 | 380 | |
| ziv-result.n3 | 2023-12-11 05:31 | 2.7K | |
| ziv.n3 | 2023-12-11 05:31 | 2.0K | |