Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   BinaryNumber
|
|
|
| appearance as argument number 1 |
|
|
| (subclass BinaryNumber RealNumber) | Merge.kif 2107-2107 | 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 2109-2110 | 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 952-952 |
| antecedent |
|
|
| (=> (instance ?NUM BinaryNumber) (or (equal ?NUM 1) (equal ?NUM 0))) |
Merge.kif 2112-2116 | If X is an instance of binary number, then equal X and 1 or equal X and 0 |
| 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 799-810 | 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 |
|
