User contributions
From Public Domain Knowledge Bank
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 18:49, 10 October 2016 (diff | hist) . . (+1) . . m MELD features (→Second-order Quantification)
- 18:49, 10 October 2016 (diff | hist) . . (+71) . . m MELD features (→Second-order Quantification)
- 18:45, 10 October 2016 (diff | hist) . . (+100) . . m MELD features (→Second-order Quantification)
- 18:40, 10 October 2016 (diff | hist) . . (+75) . . m MELD features (→#$thereExistExactly, #$thereExistAtLeast, #$thereExistAtMost)
- 18:38, 10 October 2016 (diff | hist) . . (+272) . . m MELD features (→#$thereExistExactly, #$thereExistAtLeast, #$thereExistAtMost)
- 18:32, 10 October 2016 (diff | hist) . . (-10) . . m MELD features (→#$thereExists)
- 18:30, 10 October 2016 (diff | hist) . . (+15) . . m MELD features (→Unbound Variables)
- 18:29, 10 October 2016 (diff | hist) . . (+3) . . m MELD features (→Multiple Quantification)
- 18:28, 10 October 2016 (diff | hist) . . (+128) . . m MELD features (→Predicate Argument Types)
- 18:24, 10 October 2016 (diff | hist) . . (+9) . . m MELD features (→Predicate Argument Types)
- 18:22, 10 October 2016 (diff | hist) . . (+5,998) . . m MELD features
- 17:21, 10 October 2016 (diff | hist) . . (+7,555) . . m MELD features
- 16:49, 10 October 2016 (diff | hist) . . (+7,588) . . m MELD features
- 16:25, 10 October 2016 (diff | hist) . . (+71) . . m MELD features (→Predicate Argument Types)
- 15:12, 10 October 2016 (diff | hist) . . (-4) . . m MELD features (→Predicate Argument Types)
- 14:05, 10 October 2016 (diff | hist) . . (+164) . . m MELD features (→Predicate Arity)
- 13:59, 10 October 2016 (diff | hist) . . (+2) . . m MELD features (→Constant Names)
- 13:59, 10 October 2016 (diff | hist) . . (+1) . . m MELD features (→Contents:)
- 13:57, 10 October 2016 (diff | hist) . . (-1) . . MELD features (→Constant Names)
- 13:56, 10 October 2016 (diff | hist) . . (+60) . . m MELD features (→Constants)
- 13:54, 10 October 2016 (diff | hist) . . (+16) . . MELD features (→Constants)
- 13:52, 10 October 2016 (diff | hist) . . (+227) . . m MELD features
- 15:24, 8 October 2016 (diff | hist) . . (+2,059) . . N Micro-tale-spin/Log/Log1 (Created page with "Micro-tale-spin Here’s a sample output, in this case under-specifying some of the variables (for example whether or not Joe and Irving trust each other. CL-USER 219...")
- 15:23, 8 October 2016 (diff | hist) . . (-2,030) . . Micro-tale-spin/Log (Replaced content with "Log1")
- 14:53, 8 October 2016 (diff | hist) . . (-14) . . MELD features (removed <pre></pre>)
- 18:07, 7 October 2016 (diff | hist) . . (+1,011) . . MELD features
- 17:33, 7 October 2016 (diff | hist) . . (+127,941) . . N MELD features (initial load from Internet)
- 16:40, 28 September 2016 (diff | hist) . . (+166) . . N Multiple-value-list (Created page with "=== Example of use === ('''multiple-value-list''' (read-from-string-ignoring-errors (cyclify-string ?Source ) ) )") (current)
- 16:22, 28 September 2016 (diff | hist) . . (+166) . . N Symbol-value (Created page with "The '''symbol-value''' function allows you to extract the value stored at the symbol storage place. CYC(61): (fboundp 'symbol-value) [Time: 26.011 µsecs] T") (current)
- 16:19, 28 September 2016 (diff | hist) . . (+4) . . SubL Functions (current)
- 16:15, 28 September 2016 (diff | hist) . . (+59) . . SubL Functions
- 16:15, 28 September 2016 (diff | hist) . . (+4) . . SubL Functions
- 16:14, 28 September 2016 (diff | hist) . . (+208) . . N SubL Functions (Created page with "SubL Functions are basically Lisp Functions. For example you can retrieve their values with the symbol-value function. CYC(n): (symbol-value '*the-cyclist*) [Time:...")
- 15:56, 28 September 2016 (diff | hist) . . (+4) . . Cyc Logging (current)
- 15:51, 28 September 2016 (diff | hist) . . (+156) . . Cyc Logging
- 20:23, 27 September 2016 (diff | hist) . . (+3,116) . . N Cyc Logging (Created page with "Web Browsing, I found this information at stack overflow http://stackoverflow.com/questions/36726262/exception-for-the-log-settings-while-starting-cyc-instance Exception for...")
- 16:01, 26 September 2016 (diff | hist) . . (+3,601) . . N Ontologist Job Description (Created page with " Cycorp, Inc. Job Opportunities October 2016 Ontologist Job Openings - Austin TX Ontologist Position This position requires demonstrated experience in practical automated...") (current)
- 16:46, 24 September 2016 (diff | hist) . . (0) . . KE-Text (→Special Handling for TheAssertionSentence)
- 16:46, 24 September 2016 (diff | hist) . . (+11) . . KE-Text (→Special Handling for TheAssertionSentence)
- 16:45, 24 September 2016 (diff | hist) . . (+16) . . KE-Text (→Special Handling for TheAssertionSentence)
- 16:43, 24 September 2016 (diff | hist) . . (+3) . . KE-Text (→Special Handling for TheAssertionSentence)
- 16:42, 24 September 2016 (diff | hist) . . (+4) . . m KE-Text (→Special Handling for TheAssertionSentence)
- 16:41, 24 September 2016 (diff | hist) . . (-2) . . m KE-Text (→Special Handling for TheAssertionSentence)
- 16:41, 24 September 2016 (diff | hist) . . (+113) . . KE-Text (→Special Handling for TheAssertionSentence)
- 16:34, 24 September 2016 (diff | hist) . . (+4) . . m KE-Text (→Strings)
- 16:34, 24 September 2016 (diff | hist) . . (+8) . . KE-Text (→Constants)
- 15:57, 24 September 2016 (diff | hist) . . (+52) . . m Micro-tale-spin/Log
- 15:56, 24 September 2016 (diff | hist) . . (+1,986) . . N Micro-tale-spin/Log (Example generated story from micro-tale-spin)
- 15:55, 24 September 2016 (diff | hist) . . (+426) . . N PDKB Enhanced Tale-Spin (Created page with "Tail-Spin is a program that generates a story from a set of facts. The original story was written by James Meehan. A micro version was written by Warren Sack about in the boo...") (current)
- 21:34, 23 September 2016 (diff | hist) . . (+26,313) . . N Soap KB/2 (Created page with "Sabrina is found dead. Julian catches a huge break Michael and Felix discover Sabrina's body, Lulu confides in Kevin, and Scott turns up evidence that could help Julian's c...") (current)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
