structure of the HL formula in SubL?

zhao zhe
2011-03-17
2013-05-28
  • zhao zhe
    zhao zhe
    2011-03-17

    Hi,
    I don't know the structure of the HL formula in SubL? 
    For example , how can I use the "assertion-p" to judge the assertion '(#$isa #$BillClinton #$MaleHuman) ?
    I know I can not use the (asstion-p '(#$isa #$BillClinton #$MaleHuman)) , because '(#$isa #$BillClinton #$MaleHuman) is a list ,not HL formula. So, how to change the list to became the HL formula ?
    I also know I can use the "cyc-assert" to judge the '(#$isa #$BillClinton #$MaleHuman) . Because cyc-assert needs a sentence as its argument.
    But now I do want  to know the structure of the HL formula , that is
    1. how to use the "assertion-p" to judge the assertion?
    2. what is the structure of the HL formula in SubL?
    Thanks for your answer.

     
  • Use find-gaf:
    (assertion-p (find-gaf '(#$isa #$BillClinton #$Individual) #$UniversalVocabularyMt)))
    => T