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