I have a problem about the assertion inserting problem.
Below is the code snip for assertion construction and inserting:
"CycFormulaSentence gaf = CycFormulaSentence.makeCycFormulaSentence(
ELMt peopleDataMt = access.makeELMt(access.getKnownConstantByName("PeopleDataMt"));
boolean isValid = access.isGafValidAssertion(gaf, peopleDataMt);
String id = DefaultCycObject.toCompactExternalId(gaf, access);
The result is printed below:
The external id is already obtained.
But when I use the external id or (likesAsFriend BillClinton HillaryClinton) to query in the KB browser, there is no term founded.
While I use the ASK tool, I input (likesAsFriend BillClinton HillaryClinton), I can get the result
"query is proven True".
I think the two results are conflicted. So I'm really confused whether the assertion is inserted or not?
Anyone could explain this for me? Thanks very much~~