/**
* Return the KBCollection as a KBObject of the Cyc term that underlies this class.
*
* @return KBCollectionImpl.get("#$Thing");
*/
public static KBObject getClassType() {
try {
return KBCollectionImpl.get(getClassTypeString());
} catch (KBApiException kae) {
throw new KBApiRuntimeException(kae.getMessage(), kae);
}
}
/* (non-Javadoc)
* @see com.cyc.kb.KBTerm#provablyNotInstanceOf(java.lang.String, java.lang.String)
*/
@Override
public boolean provablyNotInstanceOf(String colStr, String ctxStr) {
ContextImpl ctx;
KBCollectionImpl col;
try {
ctx = ContextImpl.get(ctxStr);
col = KBCollectionImpl.get(colStr);
} catch (KBApiException kae) {
throw new IllegalArgumentException(kae.getMessage(), kae);
}
return provablyNotInstanceOf(col, ctx);
}