0
주어진 Cyc 개념에 대해 정의할만한 미시 이론을 찾으려고합니다. 일부 개념의 경우 "definitions-mt"SubL 명령은 미시 이론이 존재할 때 "NIL"을 반환합니다 (# $ definingMt 조건 자로 확인할 수 있음). -> NIL "defining-mt"SubL 명령은 미시 이론을 정의 할 때 "NIL"을 반환합니다.
- subl 코드 (정의 - 후지산 # $ 사람) : 예를 들어
이 경우 "define-mt"SubL 명령 출력 # $ BiologyMt을 어떻게 만들 수 있습니까?
Research Cyc 4.0q KB를 사용 중입니다.