Difference between revisions of "SampleTranscript/20180105"
From Public Domain Knowledge Bank
DavidWhitten (talk | contribs) (Created page with " (Guest "3530-cyc-20180102101510-0" 20180102 (FI-ASSERT '(languageHasRootLexicon EnglishLanguage GeneralEnglishMt) 'GeneralLexiconMt ':DEFAULT 'NIL)) (Guest "3530-cyc-20...") |
(No difference)
|
Latest revision as of 23:16, 5 January 2018
(Guest "3530-cyc-20180102101510-0" 20180102
(FI-ASSERT '(languageHasRootLexicon EnglishLanguage GeneralEnglishMt) 'GeneralLexiconMt ':DEFAULT 'NIL))
(Guest "3530-cyc-20180102101510-0" 20180102
(FI-TIMESTAMP-ASSERTION 'Guest '20180102 'NIL '101512))
(Guest "3530-cyc-20180102101510-0" 20180102
(FI-ASSERT '(languageCodeDigraph EnglishLanguage "en") 'CrossLinguisticLexicalMt ':DEFAULT 'NIL))
(Guest "3530-cyc-20180102101510-0" 20180102
(FI-TIMESTAMP-ASSERTION 'Guest '20180102 'NIL '101513))
(Guest "3530-cyc-20180102101510-0" 20180102
(FI-ASSERT '(validatedLexicalPSCForLanguage EnglishLanguage AllEnglishValidatedLexicalMicrotheoryPSC) 'LanguageAndWritingSystemMt ':DEFAULT 'NIL))
(Guest "3530-cyc-20180102101510-0" 20180102
(FI-TIMESTAMP-ASSERTION 'Guest '20180102 'NIL '101513))
(Guest "3530-cyc-20180102101510-0" 20180103
(FI-ASSERT '(isa SamplePerson Pumpkin-Foodstuff) 'BaseKB ':DEFAULT 'NIL))
(Guest "3530-cyc-20180102101510-0" 20180103
(FI-TIMESTAMP-ASSERTION 'DavidWhitten '20180103 'NIL '84734))
(Guest "3530-cyc-20180102101510-0" 20180103
(FI-ASSERT '(isa SamplePerson HumanCyclist) 'CyclistDefinitionalMt ':MONOTONIC 'NIL))
(Guest "3530-cyc-20180102101510-0" 20180103
(FI-TIMESTAMP-ASSERTION 'DavidWhitten '20180103 'NIL '85506))
at Cyc: prompt
(FI-ASSERT
'(#$isa #$SamplePerson #$Pumpkin-Foodstuff) #$BaseKB ':DEFAULT 'NIL)
