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 2005-2006
(documentation BinaryNumber JapaneseLanguage "ベース 2 を持つ記数法からの要素。 すべての BinaryNumber は、数字 1 と 0 のシーケンスとして表される。") japanese_format.kif 364-365
(externalImage BinaryNumber "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1a/ BinaryBackdrop.jpg") pictureList.kif 4962-4962
(externalImage BinaryNumber "http://upload.wikimedia.org/wikipedia/commons/ 5/ 50/ Integer_representation_4bit.png") pictureList.kif 4864-4864
(externalImage BinaryNumber "http://upload.wikimedia.org/wikipedia/commons/ a/ ac/ Leibniz_binary_system_1703.png") pictureList.kif 4963-4963
(subclass BinaryNumber RealNumber) Merge.kif 2003-2003 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
(termFormat FrenchLanguage BinaryNumber "nombre binaire") french_format.kif 549-549
(termFormat Hindi BinaryNumber "dvi-aadhaarI anka") terms-hindi.txt 79-79
(termFormat ItalianLanguage BinaryNumber "NumeroBinario") terms-it.txt 82-82
(termFormat JapaneseLanguage BinaryNumber "2進数") japanese_format.kif 2234-2234
(termFormat PortugueseLanguage BinaryNumber "Numero Binario") portuguese_format.kif 501-501
(termFormat cz BinaryNumber "binary number") terms-cz.txt 116-116
(termFormat ro BinaryNumber "numãr binar") relations-ro.kif 570-570
(termFormat tg BinaryNumber "") terms-tg.txt 83-83

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


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