Skip to content
[Jenkins]Jenkins
log in
Builds
No builds

Workspace of logicmoo_workspace on Built-In Node

logicmoo_workspace / prologmud_server / ontologyportal_sumo / tests /
TPTP
RCC.kifNov 10, 2022, 6:31:22 AM9.86 KiB
SP01.kif.tqNov 10, 2022, 6:31:22 AM663 B
SP02.kifNov 10, 2022, 6:31:22 AM473 B
SP02.kif.tqNov 10, 2022, 6:31:22 AM469 B
SP03.kif.tqNov 10, 2022, 6:31:22 AM564 B
SP04.kifNov 10, 2022, 6:31:22 AM1.83 KiB
SP04.kif.tqNov 10, 2022, 6:31:22 AM1.03 KiB
SP26.kif.tqNov 10, 2022, 6:31:22 AM569 B
SP37.kif.tqNov 10, 2022, 6:31:22 AM1.23 KiB
SpatialQs.txtNov 10, 2022, 6:31:22 AM37.78 KiB
tq_notes.txtNov 10, 2022, 6:31:22 AM15.07 KiB
TQG1.kif.tqNov 10, 2022, 6:31:22 AM1.92 KiB
TQG10.kif.tqNov 10, 2022, 6:31:22 AM5.15 KiB
TQG11.kif.tqNov 10, 2022, 6:31:22 AM260 B
TQG12.kif.tqNov 10, 2022, 6:31:22 AM933 B
TQG13.kif.tqNov 10, 2022, 6:31:22 AM1.89 KiB
TQG14.kif.tqNov 10, 2022, 6:31:22 AM332 B
TQG15.kif.tqNov 10, 2022, 6:31:22 AM910 B
TQG16.kif.tqNov 10, 2022, 6:31:22 AM3.99 KiB
TQG17.kif.tqNov 10, 2022, 6:31:22 AM344 B
TQG18.kif.tqNov 10, 2022, 6:31:22 AM3.86 KiB
TQG19.kif.tqNov 10, 2022, 6:31:22 AM305 B
TQG2.kif.tqNov 10, 2022, 6:31:22 AM15.96 KiB
TQG20.kif.tqNov 10, 2022, 6:31:22 AM582 B
TQG21.kif.tqNov 10, 2022, 6:31:22 AM1.35 KiB
TQG22.kif.tqNov 10, 2022, 6:31:22 AM1.14 KiB
TQG23.kif.tqNov 10, 2022, 6:31:22 AM1.63 KiB
TQG24.kif.tqNov 10, 2022, 6:31:22 AM1.85 KiB
TQG25.kif.tqNov 10, 2022, 6:31:22 AM335 B
TQG26.kif.tqNov 10, 2022, 6:31:22 AM3.77 KiB
TQG27.kif.tqNov 10, 2022, 6:31:22 AM316 B
TQG28.kif.tqNov 10, 2022, 6:31:22 AM867 B
TQG29.kif.tqNov 10, 2022, 6:31:22 AM584 B
TQG3.kif.tqNov 10, 2022, 6:31:22 AM3.55 KiB
TQG30.kif.tqNov 10, 2022, 6:31:22 AM1.43 KiB
TQG31.kif.tqNov 10, 2022, 6:31:22 AM1.98 KiB
TQG32.kif.tqNov 10, 2022, 6:31:22 AM2.05 KiB
TQG33.kif.tqNov 10, 2022, 6:31:22 AM331 B
TQG34.kif.tqNov 10, 2022, 6:31:22 AM212 B
TQG35.kif.tqNov 10, 2022, 6:31:22 AM545 B
TQG36.kif.tqNov 10, 2022, 6:31:22 AM965 B
TQG37.kif.tqNov 10, 2022, 6:31:22 AM608 B
TQG38.kif.tqNov 10, 2022, 6:31:22 AM970 B
TQG39.kif.tqNov 10, 2022, 6:31:22 AM1.15 KiB
TQG4.kif.tqNov 10, 2022, 6:31:22 AM3.18 KiB
TQG40.kif.tqNov 10, 2022, 6:31:22 AM740 B
TQG41.kif.tqNov 10, 2022, 6:31:22 AM531 B
TQG42.kif.tqNov 10, 2022, 6:31:22 AM606 B
TQG43.kif.tqNov 10, 2022, 6:31:22 AM672 B
TQG44.kif.tqNov 10, 2022, 6:31:22 AM4.89 KiB
TQG45.kif.tqNov 10, 2022, 6:31:22 AM790 B
TQG46.kif.tqNov 10, 2022, 6:31:22 AM819 B
TQG47.kif.tqNov 10, 2022, 6:31:22 AM818 B
TQG48.kif.tqNov 10, 2022, 6:31:22 AM1.56 KiB
TQG49.kif.tqNov 10, 2022, 6:31:22 AM1.56 KiB
TQG5.kif.tqNov 10, 2022, 6:31:22 AM3.73 KiB
TQG50.kif.tqNov 10, 2022, 6:31:22 AM5.01 KiB
TQG6.kif.tqNov 10, 2022, 6:31:22 AM861 B
TQG7.kif.tqNov 10, 2022, 6:31:22 AM652 B
TQG8.kif.tqNov 10, 2022, 6:31:22 AM3.59 KiB
TQG9.kif.tqNov 10, 2022, 6:31:22 AM774 B