| BinaryNumber(binary number)
| | 2進数, binary_number, 二进制数 |
| 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 1912-1913 | |
| (externalImage BinaryNumber "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1a/ BinaryBackdrop.jpg") | pictureList.kif 4963-4963 | "http://upload.wikimedia.org/wikipedia/commons/1/1a/ BinaryBackdrop.jpg" is a URL depicting binary number |
| (externalImage BinaryNumber "http://upload.wikimedia.org/wikipedia/commons/ 5/ 50/ Integer_representation_4bit.png") | pictureList.kif 4865-4865 | "http://upload.wikimedia.org/wikipedia/commons/5/50/ Integer_representation_4bit.png" is a URL depicting binary number |
| (externalImage BinaryNumber "http://upload.wikimedia.org/wikipedia/commons/ a/ ac/ Leibniz_binary_system_1703.png") | pictureList.kif 4964-4964 | "http://upload.wikimedia.org/wikipedia/commons/a/ac/ Leibniz_binary_system_1703.png" is a URL depicting binary number |
| (subclass BinaryNumber RealNumber) | Merge.kif 1910-1910 | Binary number is a subclass of real number |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage BinaryNumber "二进制数") | chinese_format.kif 873-873 | "二进制数" is the printable form of binary number in ChineseLanguage |
| (termFormat EnglishLanguage BinaryNumber "binary number") | english_format.kif 953-953 | "binary number" is the printable form of binary number in english language |
| 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 |
|
|
|
|