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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - JapaneseLanguage
JapaneseLanguage(japanese language)
Japanese, japanese_language, 日語, 日语

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Languages.kif 11323-11340
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6644-6644 "http://upload.wikimedia.org/wikipedia/commons/5/51/ Ja_da_ya.png" is a URL depicting japanese language
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7126-7126 "http://upload.wikimedia.org/wikipedia/commons/8/85/ Nihongo.png" is a URL depicting japanese language
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7127-7127 "http://upload.wikimedia.org/wikipedia/commons/e/ea/ Nihongo_ichiran_01.png" is a URL depicting japanese language
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2603-2603
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1511-1511
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1646-1646
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1538-1538
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1685-1685
No TPTP formula. May not be expressible in strict first order. Languages.kif 11322-11322 Japanese language is an instance of japanese proper language
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1219-1219 "2G ネットワーク" is the printable form of 2G network in japanese language
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1214-1214 "2G" is the printable form of 2G network in japanese language
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1265-1265 "3G" is the printable form of &"3G"GNetwork$"3G network" in japanese language
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1311-1311 "4G ネットワーク" is the printable form of &GNetwork$"4G network" in japanese language
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1307-1307 "4G" is the printable form of &GNetwork$"4G network" in japanese language
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1384-1384 "5G ネットワーク" is the printable form of 5G network in japanese language
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1379-1379 "5G" is the printable form of 5G network in japanese language
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2153-2153 "AVCTP" is the printable form of Audio/Video Control Transport Protocol in japanese language
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2158-2158 "オーディオ/ビデオ制御トランスポートプロトコル" is the printable form of Audio/Video Control Transport Protocol in japanese language
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1745-1745 "ActiveSync" is the printable form of ActiveSync in japanese language
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2915-2915 "Adobe Computer Corporation" is the printable form of Adobe in japanese language
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2920-2920 "Adobe" is the printable form of Adobe in japanese language
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2959-2959 "Adobe Flash Player" is the printable form of Flash in japanese language
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2954-2954 "Adobe Flash" is the printable form of Flash in japanese language
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2964-2964 "Flash Player" is the printable form of Flash in japanese language

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1204-1208
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1248-1255
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1298-1301
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1350-1352
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2145-2147
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1736-1740
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2943-2949
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1599-1609
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1828-1831
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1869-1873
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1767-1775
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1933-1933
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1958-1959
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 911-915
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 926-930
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3043-3048
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 620-621
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 635-636
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 120-122
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 145-145
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 799-799
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 850-851
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 824-825
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 837-838
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 811-812

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Languages.kif 14756-14756 "ja" in ISO-639-1 denotes japanese language


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