Java CycAccess.unassertGaf Examples

Example #1

File: IndexController.java Project: mourikousuke/SCROLLhtml

 /** Demonstrates usage of the unassertGaf api function. */
 protected void demo15() throws IOException, UnknownHostException, CycApiException {
   Log.current.println("Demonstrating usage of the unassertGaf api function.\n");
   CycFort mt = cycAccess.getKnownConstantByName("PeopleDataMt");
   CycFormulaSentence gaf =
       cycAccess.makeCycSentence("(#$likesAsFriend #$BillClinton #$JimmyCarter)");
   cycAccess.unassertGaf(gaf, mt);
 }