isa: HumanCyclist CulturalAnthropologist.
In Mt: NaiveBiologicalDescentMt.
In Mt: LanguageAndWritingSystemMt.
(languageSpoken ?person EasternPahariLanguage)
(likesAsFriend Siegel ?person)).
Evaluation of the expressions above would result in the four assertions being added to the Cyc KB. In the BaseKB, we would have:
In the NaiveBiologicalDescentMt, we would have:
(#$children #$Siegel #$SimoneSiegel)
And in the LanguageAndWritingSystemMt, with direction :forward (forward propagation), we would have: