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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - BinaryNumber
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 1945-1946
(externalImage BinaryNumber " 1/ 1a/ BinaryBackdrop.jpg") pictureList.kif 4963-4963
(externalImage BinaryNumber " 5/ 50/ Integer_representation_4bit.png") pictureList.kif 4865-4865
(externalImage BinaryNumber " a/ ac/ Leibniz_binary_system_1703.png") pictureList.kif 4964-4964
(subclass BinaryNumber RealNumber) Merge.kif 1943-1943 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


        (instance ?OBJ DigitalDataStorageDevice)
        (part ?PART ?OBJ)
        (instance ?PART DigitalData))
    (exists (?SCHEME ?LIST)
            (codeMapping ?SCHEME ?PART ?NUM)
            (represents ?LIST ?SCHEME)
                (inList ?NUM ?LIST)
                (instance ?NUM BinaryNumber)))))
Media.kif 801-812

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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners