| BinaryNumber(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 2005-2006 | |
| (documentation BinaryNumber JapaneseLanguage "ベース 2 を持つ記数法からの要素。 すべての BinaryNumber は、数字 1 と 0 のシーケンスとして表される。") | japanese_format.kif 364-365 | |
| (externalImage BinaryNumber "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1a/ BinaryBackdrop.jpg") | pictureList.kif 4962-4962 | |
| (externalImage BinaryNumber "http://upload.wikimedia.org/wikipedia/commons/ 5/ 50/ Integer_representation_4bit.png") | pictureList.kif 4864-4864 | |
| (externalImage BinaryNumber "http://upload.wikimedia.org/wikipedia/commons/ a/ ac/ Leibniz_binary_system_1703.png") | pictureList.kif 4963-4963 | |
| (subclass BinaryNumber RealNumber) | Merge.kif 2003-2003 | 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 | |
| (termFormat FrenchLanguage BinaryNumber "nombre binaire") | french_format.kif 549-549 | |
| (termFormat Hindi BinaryNumber "dvi-aadhaarI anka") | terms-hindi.txt 79-79 | |
| (termFormat ItalianLanguage BinaryNumber "NumeroBinario") | terms-it.txt 82-82 | |
| (termFormat JapaneseLanguage BinaryNumber "2進数") | japanese_format.kif 2234-2234 | |
| (termFormat PortugueseLanguage BinaryNumber "Numero Binario") | portuguese_format.kif 501-501 | |
| (termFormat cz BinaryNumber "binary number") | terms-cz.txt 116-116 | |
| (termFormat ro BinaryNumber "numãr binar") | relations-ro.kif 570-570 | |
| (termFormat tg BinaryNumber "") | terms-tg.txt 83-83 |
| consequent |
|
|
| (=> (and (instance ?OBJ DigitalDataStorageDevice) (part ?PART ?OBJ) (instance ?PART DigitalData)) (exists (?SCHEME ?LIST ?NUM) (and (codeMapping ?SCHEME ?PART ?NUM) (represents ?LIST ?SCHEME) (=> (inList ?NUM ?LIST) (instance ?NUM BinaryNumber))))) |
Media.kif 801-812 |
|
|
|
|