| BinaryNumber(binary number)
|
| appearance as argument number 1 |
|
| (subclass BinaryNumber RealNumber) | Merge.kif 2038-2038 | Binary number is a subclass of real number |
| (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 2040-2041 | Binary number is a subclass of real number |
| (externalImage BinaryNumber "http://upload.wikimedia.org/wikipedia/commons/ 5/ 50/ Integer_representation_4bit.png") | pictureList.kif 4863-4863 | Binary number is a subclass of real number |
| (externalImage BinaryNumber "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1a/ BinaryBackdrop.jpg") | pictureList.kif 4961-4961 | Binary number is a subclass of real number |
| (externalImage BinaryNumber "http://upload.wikimedia.org/wikipedia/commons/ a/ ac/ Leibniz_binary_system_1703.png") | pictureList.kif 4962-4962 | Binary number is a subclass of real number |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BinaryNumber "binary number") | english_format.kif 948-948 |
| 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 | If X is an instance of digital data storage device, Y is a part of X, and Y is an instance of digital data, then there exist Z, W, V such that Y in Z denotes V, W expresses Z, and V is a member of WV is an instance of binary number |
|
|
|