thereExistAtLeast

Help
Anonymous
2013-04-26
2013-05-28

  • Anonymous
    2013-04-26

    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.