Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BinaryNumber
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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners