Skip to contentWorkspace of logicmoo_workspace on Built-In Node
| alphaConversionDRT.pl | Oct 10, 2021, 7:14:08 AM | 4.15 KiB | |
| backgroundKnowledge.pl | Oct 10, 2021, 7:14:08 AM | 4.97 KiB | |
| betaConversionDRT.pl | Oct 10, 2021, 7:14:08 AM | 3.26 KiB | |
| bindingViolation.pl | Oct 10, 2021, 7:14:08 AM | 2.08 KiB | |
| bliksem.in | Oct 10, 2021, 7:14:08 AM | 1.70 KiB | |
| callInference.pl | Oct 10, 2021, 7:14:08 AM | 10.26 KiB | |
| comsemPredicates.pl | Oct 10, 2021, 7:14:08 AM | 12.12 KiB | |
| COPYING | Oct 10, 2021, 7:14:08 AM | 17.58 KiB | |
| curtDRT.pl | Oct 10, 2021, 7:14:08 AM | 7.33 KiB | |
| curtPDRT.pl | Oct 10, 2021, 7:14:08 AM | 7.29 KiB | |
| curtPPDRT.pl | Oct 10, 2021, 7:14:08 AM | 9.04 KiB | |
| curtPredicates.pl | Oct 10, 2021, 7:14:08 AM | 5.40 KiB | |
| curtTDRT.pl | Oct 10, 2021, 7:14:08 AM | 7.32 KiB | |
| drs2fol.pl | Oct 10, 2021, 7:14:08 AM | 3.21 KiB | |
| englishGrammar.pl | Oct 10, 2021, 7:14:08 AM | 8.83 KiB | |
| englishLexicon.pl | Oct 10, 2021, 7:14:08 AM | 12.10 KiB | |
| fol2bliksem.pl | Oct 10, 2021, 7:14:08 AM | 3.09 KiB | |
| fol2otter.pl | Oct 10, 2021, 7:14:08 AM | 3.87 KiB | |
| fol2tptp.pl | Oct 10, 2021, 7:14:08 AM | 2.73 KiB | |
| freeVarCheck.pl | Oct 10, 2021, 7:14:08 AM | 3.06 KiB | |
| interfaceTPandMB.perl | Oct 10, 2021, 7:14:08 AM | 4.15 KiB | |
| lambdaDRT.pl | Oct 10, 2021, 7:14:08 AM | 3.47 KiB | |
| lambdaTestSuite.pl | Oct 10, 2021, 7:14:08 AM | 3.09 KiB | |
| lexicalKnowledge.pl | Oct 10, 2021, 7:14:08 AM | 11.07 KiB | |
| logicmooCURT_all.pl | Oct 10, 2021, 7:14:08 AM | 141.98 KiB | |
| logicmooCURT.pl | Oct 10, 2021, 7:14:08 AM | 9.08 KiB | |
| mace.in | Oct 10, 2021, 7:14:08 AM | 1.83 KiB | |
| menu.pl | Oct 10, 2021, 7:14:08 AM | 4.46 KiB | |
| mergeDRT.pl | Oct 10, 2021, 7:14:08 AM | 1.95 KiB | |
| presupDRT.pl | Oct 10, 2021, 7:14:08 AM | 7.51 KiB | |
| presupTestSuite.pl | Oct 10, 2021, 7:14:08 AM | 1.95 KiB | |
| printDrs.pl | Oct 10, 2021, 7:14:08 AM | 9.74 KiB | |
| pronounDRT.pl | Oct 10, 2021, 7:14:08 AM | 6.34 KiB | |
| pronounTDRT.pl | Oct 10, 2021, 7:14:08 AM | 6.30 KiB | |
| pronounTestSuite.pl | Oct 10, 2021, 7:14:08 AM | 1.60 KiB | |
| readLine.pl | Oct 10, 2021, 7:14:08 AM | 3.39 KiB | |
| README | Oct 10, 2021, 7:14:08 AM | 889 B | |
| semLexLambdaDRT.pl | Oct 10, 2021, 7:14:08 AM | 2.55 KiB | |
| semLexPresupDRT.pl | Oct 10, 2021, 7:14:08 AM | 3.35 KiB | |
| semLexPronounDRT.pl | Oct 10, 2021, 7:14:08 AM | 2.71 KiB | |
| semRulesDRT.pl | Oct 10, 2021, 7:14:08 AM | 2.27 KiB | |
| sentenceTestSuite.pl | Oct 10, 2021, 7:14:08 AM | 3.22 KiB | |
| situationalKnowledge.pl | Oct 10, 2021, 7:14:08 AM | 1.38 KiB | |
| sortalCheck.pl | Oct 10, 2021, 7:14:08 AM | 4.83 KiB | |
| superSubDRT.pl | Oct 10, 2021, 7:14:08 AM | 2.29 KiB | |
| tpmb.out | Oct 10, 2021, 7:14:08 AM | 527 B | |
| worldKnowledge.pl | Oct 10, 2021, 7:14:08 AM | 1.71 KiB | |
|