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