Advertisement
logicmoo

Untitled

Aug 28th, 2020
2,684
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Prolog 7.60 KB | None | 0 0
  1. do_mws( 1,
  2.   [ tok( 1, 'NNP', 'Rydell', "Rydell",
  3.       [ 'ANIMATE',
  4.         'MALE', 'NNP', 'PROPER', 'SINGULAR', iNNPPennTag, nameSpelling, xtNoun, xtProperNoun
  5.         cycWord( nartR(xNameFn,"Rydell")),
  6.         y_skip(friv),
  7.         ner='PERSON',
  8.         coREF( 2,
  9.           #(RYDELL__2)),
  10.         cyckb_h( properNounSemTrans, nartR(xNameFn,"Rydell"), 0, xRegularNounFrame,
  11.            and(
  12.               isa(':NOUN',iClassificationOf_HomoSapiens),
  13.               lastName(':NOUN',"Rydell"))),
  14.         cyckb_h( properNounSemTrans, nartR(xNameFn,"Rydell"), 0, xRegularNounFrame,
  15.            and(
  16.               isa(':NOUN',tClazzHomoSapiens),
  17.               lastName(':NOUN',"Rydell")))  ]),
  18.     tok( 2, 'VBD', use, "used",
  19.        [ 'VBD',
  20.          iVBDPennTag, 'past tense', xtVerb
  21.          cycWord(xUseTheWord),
  22.          y_skip(friv),
  23.          y_skip(mws),
  24.          y_skip(violate),
  25.          y_violate( cyckb_h(nonGradableAdjectiveForm,xUseTheWord,"used")),
  26.          y_violate( cyckb_h(regularDegree,xUseTheWord,"used")),
  27.          cyckb_h( nounPrep, xUseTheWord, xOfTheWord,
  28.             isa(':NOUN',uR(actUsingAFn,':OBLIQUE-OBJECT'))),
  29.          cyckb_h(denotation,xUseTheWord,xtVerb,0,actUsingAnObject),
  30.          cyckb_h(denotation,xUseTheWord,xtVerb,1,tDecreaseAction),
  31.          cyckb_h(denotation,xUseTheWord,xtVerb,12,deviceUsed),
  32.          cyckb_h(denotationRelatedTo,xUseTheWord,xtVerb,0,actUsingAFn),
  33.          cyckb_h(denotationRelatedTo,xUseTheWord,xtVerb,0,actUsingAForFn),
  34.          cyckb_h(denotationRelatedTo,xUseTheWord,xtVerb,0,usesIn),
  35.          cyckb_h( verbSemTrans, xUseTheWord, 0, xTransitiveNPFrame,
  36.             usesObject(':SUBJECT',':OBJECT')),
  37.          cyckb_h( verbSemTrans, xUseTheWord, 0, xTransitiveNPFrame,
  38.             and( isa(':ACTION',actUsingAnObject), performedBy(':ACTION',':SUBJECT'),
  39.                instrumentGeneric(':ACTION',':OBJECT'))),
  40.          cyckb_h( verbSemTrans, xUseTheWord, 0, xTransitiveSubjectControlFrame,
  41.             and( isa(':ACTION',actAchievingSomething), performedBy(':ACTION',':SUBJECT'),
  42.                instrumentGeneric(':ACTION',':OBJECT'),
  43.                achievedSitType(':ACTION',':INF-COMP'))),
  44.          cyckb_h( verbSemTrans, xUseTheWord, 1, xTransitiveSubjectControlFrame,
  45.             and(
  46.                performedBy(':ACTION',':SUBJECT'),
  47.                isa(':ACTION',uR(actUsingInstForFn,':OBJECT',':INF-COMP',instrumentGeneric)))),
  48.          cyckb_h( verbSemTrans, xUseTheWord, 2, xTransitiveNPFrame,
  49.             instrumentGeneric(':SUBJECT',':OBJECT')),
  50.          cyckb_h( verbSemTransCanonical, xUseTheWord, 0, xTransitiveNPFrame, actUsingAnObject,
  51.             [ performedBy,
  52.               instrumentGeneric  ])  ]),
  53.     tok( 3, 'PRP$', he, "his",
  54.        [ 'ANIMATE',
  55.          'INANIMATE', 'MALE', 'NOMINAL', 'PRONOMINAL', 'PRP$', 'Possessive', 'SINGULAR', determinerStrings, iPRPDPennTag, pronounStrings, xtMasculinePronoun, xtNoun, xtPossessivePronoun, xtPossessivePronounPost, xtPossessivePronounPre, xtPronoun, xtSingularPronoun
  56.          cycWord(xHisTheWord),
  57.          y_skip(friv),
  58.          coREF( 3,
  59.            #(HIS_STRAW__3)),
  60.          coREF( 4,
  61.            #(HIS__4)),
  62.          cyckb_h(determinerAgreement,xHisTheWord,nounStrings),
  63.          cyckb_h( denotation, xHisTheWord, xtPossessivePronounPost, 0,
  64.             nartR(iPronounFn,iThirdPersonNLAttr,iSingularNLAttr,iMasculineNLAttr,xtPossessivePronounPost)),
  65.          cyckb_h( denotation, xHisTheWord, xtPossessivePronounPre, 0,
  66.             nartR(iPronounFn,iThirdPersonNLAttr,iSingularNLAttr,iMasculineNLAttr,xtPossessivePronounPre))  ]),
  67.     tok( 4, 'NN', straw, "straw",
  68.        [ 'NN',
  69.          iNNPennTag, massNumber, xtCommonNoun, xtCountNoun, xtMassNoun, xtNoun
  70.          cycWord(xStrawTheWord),
  71.          y_skip(friv),
  72.          coREF( 3,
  73.            #(HIS_STRAW__3)),
  74.          cyckb_h(denotation,xStrawTheWord,xtMassNoun,0,tStraw)  ]),
  75.     tok( 5, 'TO', to, "to",
  76.        [ 'TO',
  77.          iTOPennTag, prepositionStrings, xtInfinitiveComp, xtPreposition, xtPrepositionDirectional
  78.          cycWord(xToTheWord),
  79.          y_skip(friv),
  80.          y_skip(violate),
  81.          cyckb_h(amendableLexicalGapForWordSpeechPart,xToTheWord,xtInfinitiveComp),
  82.          cyckb_h(denotation,xToTheWord,xtPreposition,1,toUnderspecifiedlocation),
  83.          cyckb_h( prepSemTrans, xToTheWord, 0, xPostNounPhraseModifyingFrame,
  84.             toUnderspecifiedlocation(':NOUN',':OBJECT')),
  85.          cyckb_h( prepSemTrans, xToTheWord, 0, xVerbPhraseModifyingFrame,
  86.             toUnderspecifiedlocation(':ACTION',':OBJECT')),
  87.          cyckb_h( prepSemTrans, xToTheWord, 3, xVerbPhraseModifyingFrame,
  88.             toGeneric(':ACTION',':OBJECT'))  ]),
  89.     tok( 6, 'VB', stir, "stir",
  90.        [ 'VB',
  91.          baseForms, iVBPennTag, infinitive, xtVerb
  92.          cycWord(xStirTheWord),
  93.          y_skip(friv),
  94.          y_skip(violate),
  95.          y_violate( cyckb_h(singular,xStirTheWord,"stir")),
  96.          cyckb_h( keIrrelevantTermExperimentalvocabulary,
  97.            nartR(tColOfThingDescribableAsFn,xStirTheWord,xtAdjectiveGradable)),
  98.          cyckb_h(denotation,xStirTheWord,xtVerb,0,actStirring),
  99.          cyckb_h( verbSemTrans, xStirTheWord, 0, xTransitiveNPFrame,
  100.             and( isa(':ACTION',actStirring), performedBy(':ACTION',':SUBJECT'),
  101.                objectActedOn(':ACTION',':OBJECT'))),
  102.          cyckb_h( verbSemTransCanonical, xStirTheWord, 0, xTransitiveNPFrame, actStirring,
  103.             [ performedBy,
  104.               objectActedOn  ])  ]),
  105.     tok( 7, 'DT', the, "the",
  106.        [ 'DT',
  107.          'INANIMATE', 'LIST', 'PLURAL', 'UNKNOWN', determinerStrings, iDTPennTag, xtDeterminer, xtDeterminerDefinite
  108.          cycWord(xTheTheWord),
  109.          y_skip(friv),
  110.          y_skip(mws),
  111.          coREF( 5,
  112.            #(THE_FOAM_AND_ICE__5)),
  113.          cyckb_h(determinerAgreement,xTheTheWord,nounStrings),
  114.          cyckb_h(genKeyword,xTheTheWord,':THE-THE-WORD'),
  115.          cyckb_h(denotation,xTheTheWord,xtDeterminerDefinite,0,xDefiniteNLAttr)  ]),
  116.     tok( 8, 'NN', foam, "foam",
  117.        [ 'NN',
  118.          iNNPennTag, massNumber, xtCommonNoun, xtCountNoun, xtMassNoun, xtNoun
  119.          cycWord(xFoamTheWord),
  120.          y_skip(friv),
  121.          y_skip(mws),
  122.          y_skip(violate),
  123.          y_violate( cyckb_h(infinitive,xFoamTheWord,"foam")),
  124.          coREF( 5,
  125.            #(THE_FOAM_AND_ICE__5)),
  126.          cyckb_h(denotation,xFoamTheWord,xtMassNoun,0,tFoam)  ]),
  127.     tok( 9, 'CC', and, "and",
  128.        [ 'And_or',
  129.          'CC', iCCPennTag, xtCoordinatingConjunction
  130.          cycWord(xAndTheWord),
  131.          y_skip(friv),
  132.          coREF( 5,
  133.            #(THE_FOAM_AND_ICE__5))  ]),
  134.     tok( 10, 'NN', ice, "ice",
  135.        [ 'NN',
  136.          iNNPennTag, massNumber, xtCommonNoun, xtCountNoun, xtMassNoun, xtNoun
  137.          cycWord(xIceTheWord),
  138.          y_skip(friv),
  139.          y_skip(mws),
  140.          y_skip(violate),
  141.          coREF( 5,
  142.            #(THE_FOAM_AND_ICE__5)),
  143.          cyckb_h( keIrrelevantTermExperimentalvocabulary,
  144.            nartR(tColOfThingDescribableAsFn,xIceTheWord,xtAdjectiveGradable)),
  145.          cyckb_h( denotation, xIceTheWord, xtMassNoun, 0,
  146.             nartR(tColOfSolidFn,tWater))  ]),
  147.     tok( 11, '.', '.', ".",
  148.        [ '.',
  149.          iPERPennTag, punc, xtPunctuationSP
  150.          cycWord(xPeriodTheSymbol),
  151.          y_skip(friv),
  152.          y_skip(mws),
  153.          y_skip(violate),
  154.          cyckb_h(definingMt,xPeriodTheSymbol,iWritingSystemCharactersVocabularyMt),
  155.          cyckb_h(genStringAssertion,xPeriodTheSymbol,703949),
  156.          cyckb_h( genStringAssertion, xPeriodTheSymbol,
  157.             ist( iGeneralEnglishMt,
  158.               denotation(xPeriodTheWord,xtCountNoun,0,xPeriodTheSymbol)))  ])  ])
  159.  
  160.  
  161. true.
  162.  
  163. baseKB:  ?-
  164.  
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement