Java 如何从Cyc KB中删除NART

当我删除NART并在KB中搜索NART字符串时，仍然可以看到它。纳特和常数有什么不同。为什么我不能删除它们。

下面的代码创建了三个NART和一个NAUT，演示了各种方法。如果您取消最后一行的注释，您将看到我们不再有带有revenueForPeriodByAccountingCOC的断言。这是NART已被删除的证据。但请注意，如果您在浏览器中搜索术语（FiscalYearFn Walmart CommercialOrganization 2012），您将看到基本NAUT及其#$isa，但它不会有任何断言。对于常量，您将看到一个明确的通知，表明它不在KB中。这是因为非原子术语仅通过其语法表示就可以显示非常基本的信息。不是因为它们在KB中

@Test public void testUnreifiableFunctionWithDateInput2() throws KBApiException { KBFunctionImpl f1 = KBFunctionImpl.get ("USDollarFn"); KBFunctionImpl f2 = f1.findOrCreateFunctionalTerm(KBFunctionImpl.class, 2012); f2.addResultIsa(KBCollectionImpl.get("MonetaryValue"), ContextImpl.get("UniversalVocabularyMt")); FactImpl.findOrCreate(new SentenceImpl(KBPredicateImpl.get("argsIsa"), f2, KBCollectionImpl.get("NumericInterval"))); KBIndividual i1 = f2.findOrCreateFunctionalTerm(KBIndividualImpl.class, 10000000); KBPredicate p = KBPredicateImpl.get("revenueForPeriodByAccountingCOC"); KBIndividualImpl w = KBIndividualImpl.get("Walmart-CommercialOrganization"); KBFunctionImpl fy = KBFunctionImpl.get("FiscalYearFn"); KBIndividual i2 = fy.findOrCreateFunctionalTerm(KBIndividualImpl.class, w, 2012); KBIndividual coc = KBIndividualImpl.findOrCreate("(#$AccountingCodeOfTypeTypicallyUsedByAgentFn #$GenerallyAcceptedAccountingPrinciples #$Walmart-CommercialOrganization)"); w.addFact(Constants.uvMt(), p, 1, i1, i2, coc); // i2.delete(); } @试验 带有DateInput2（）的公共void TestUnreifiableFunction引发KBApiException{ KBFunctionImpl f1=KBFunctionImpl.get（“USDollarFn”）； KBFunctionImpl f2=f1.findOrCreateFunctionalTerm（KBFunctionImpl.class，2012）； f2.addResultIsa（KBCollectionImpl.get（“货币价值”）、ContextImpl.get（“通用可撤销性”）； FactImpl.findOrCreate（新语句impl（KBPredicateImpl.get（“argsIsa”）、f2、KBCollectionImpl.get（“NumericiInterval”）； kbindividuali1=f2.findOrCreateFunctionalTerm（KBIndividualImpl.class，10000000）； KBPredicate p=KBPredicateImpl.get（“RevenueForPerPeriodByAccountingCoc”）； KBIndividualImpl w=KBIndividualImpl.get（“沃尔玛商业组织”）； KBFunctionImpl fy=KBFunctionImpl.get（“财政年度”）； KBIndividualI2=fy.findOrCreateFunctionalTerm（KBIndividualImpl.class，w，2012）； KBIndividual coc=KBIndividualImpl.findOrCreate（（#$AccountingCodeofTypeTypeCallYusedByAgentFn#$GenerallyAcceptedAccountingPrinciples#$Walmart CommercialOrganization））； w、 addFact（常量.uvMt（），p，1，i1，i2，coc）； //i2.删除（）； }

---

有关更多信息，请访问：

更多代码示例如下：