|
|
   BinaryNumber
|
|
|
| appearance as argument number 1 |
|
|
| (documentation BinaryNumber ChineseLanguage "这是二进制数字系统的元素。 所有的 BinaryNumber 都是以1而0的排列来表示的。") | chinese_format.kif 1755-1756 | |
| (documentation BinaryNumber EnglishLanguage "Elements from the number system with base 2. Every BinaryNumber is expressed as a sequence of the digits 1 and 0.") | Merge.kif 1945-1946 | |
| (externalImage BinaryNumber "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1a/ BinaryBackdrop.jpg") | pictureList.kif 4963-4963 | |
| (externalImage BinaryNumber "http://upload.wikimedia.org/wikipedia/commons/ 5/ 50/ Integer_representation_4bit.png") | pictureList.kif 4865-4865 | |
| (externalImage BinaryNumber "http://upload.wikimedia.org/wikipedia/commons/ a/ ac/ Leibniz_binary_system_1703.png") | pictureList.kif 4964-4964 | |
| (subclass BinaryNumber RealNumber) | Merge.kif 1943-1943 | Binary number is a subclass of real number |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage BinaryNumber "二进制数") | chinese_format.kif 873-873 | |
| (termFormat EnglishLanguage BinaryNumber "binary number") | english_format.kif 948-948 |
| consequent |
|
|
| (=> (and (instance ?OBJ DigitalDataStorageDevice) (part ?PART ?OBJ) (instance ?PART DigitalData)) (exists (?SCHEME ?LIST) (and (codeMapping ?SCHEME ?PART ?NUM) (represents ?LIST ?SCHEME) (=> (inList ?NUM ?LIST) (instance ?NUM BinaryNumber))))) |
Media.kif 801-812 |
|
|
|
|
