Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo
The example given is
(thereExistAtLeast 7 ?X (isa ?X Sea))
yet when I try with an obviously wrong number:
(thereExistAtLeast 700000000000 ?X (isa ?X Sea))
It says the Query is True because
Full Justification :
(isa ArcticOcean Ocean) in WorldNaturalGeographyVocabularyMt
(genls Ocean Sea) in UniversalVocabularyMt
Is there a bug here?
Let's call this a bug. Will be fixed in a subsequent release.