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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - BinaryNumber

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 1917-1918
(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 1915-1915

appearance as argument number 2

(termFormat ChineseLanguage BinaryNumber "二进制数") chinese_format.kif 873-873
(termFormat EnglishLanguage BinaryNumber "binary number") english_format.kif 953-953


        (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 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 3.0 is open source software produced by Articulate Software and its partners