SampleTranscript/20180105

(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)