"defining-mt"SubL 명령은 미시 이론을 정의 할 때 "NIL"을 반환합니다.

Question

주어진 Cyc 개념에 대해 정의할만한 미시 이론을 찾으려고합니다. 일부 개념의 경우 "definitions-mt"SubL 명령은 미시 이론이 존재할 때 "NIL"을 반환합니다 (# $ definingMt 조건 자로 확인할 수 있음). -> NIL

CYC 쿼리 (? # $ definingMt # $ 사람 MT) -> # $ BiologyMt

• subl 코드 (정의 - 후지산 # $ 사람) : 예를 들어

  이 경우 "define-mt"SubL 명령 출력 # $ BiologyMt을 어떻게 만들 수 있습니까?

  Research Cyc 4.0q KB를 사용 중입니다.

Answer 1

KB보다 앞서 API를 얻은 사례가 발생했습니다. 쿼리에 대한 정당화를 보면이 특정 경우에, 당신이이 규칙에 호소하는 것을 볼 수 있습니다 :

(implies 
    (and 
    (genls ?COLL ?TYPE) 
    (defaultDefiningMtForSpecs ?TYPE ?MT)) 
    (definingMt ?COLL ?MT)) 

당신이 사용중인 SubL 코드는 간단한 조회를하지 않습니다, 그래서 할 수 없습니다 그 규칙을 이용하십시오. 사용중인 코드베이스와 KB를 감안할 때 가장 좋은 방법은 가지고있는 쿼리를 계속 사용하는 것입니다.