Another Example

Constant: Siegel.

isa: HumanCyclist CulturalAnthropologist.

In Mt: NaiveBiologicalDescentMt.

children: SimoneSiegel.

In Mt: LanguageAndWritingSystemMt.

Direction: :forward.

F: (implies

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

(#$isa #$Siegel #$HumanCyclist)

(#$isa #$Siegel #$CulturalAnthropologist)

In the NaiveBiologicalDescentMt, we would have:

(#$children #$Siegel #$SimoneSiegel)

And in the LanguageAndWritingSystemMt, with direction :forward (forward propagation), we would have:

(#$implies

(#$languageSpoken ?person #$EasternPahariLanguage)

(#$likesAsFriend #$Siegel ?person))

Order of Expressions Home Processing KE Text in the Cyc Web Interface