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 2444-2444
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1425-1425
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1560-1560
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1452-1452
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1599-1599
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 1133-1133 "2G ネットワーク" is the printable form of 2G network in japanese language
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1128-1128 "2G" is the printable form of 2G network in japanese language
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1179-1179 "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 1225-1225 "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 1221-1221 "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 1298-1298 "5G ネットワーク" is the printable form of 5G network in japanese language
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1293-1293 "5G" is the printable form of 5G network in japanese language
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1994-1994 "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 1999-1999 "オーディオ/ビデオ制御トランスポートプロトコル" is the printable form of Audio/Video Control Transport Protocol in japanese language
No TPTP formula. May not be expressible in strict first order. english_format.kif 621-621 "抽象的な" is the printable form of abstract in japanese language
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1659-1659 "ActiveSync" is the printable form of ActiveSync in japanese language
No TPTP formula. May not be expressible in strict first order. english_format.kif 1165-1165 "形容詞" is the printable form of adjective in japanese language
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2745-2745 "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 2750-2750 "Adobe" is the printable form of Adobe in japanese language
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2789-2789 "Adobe 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 1118-1122
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1162-1169
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1212-1215
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1264-1266
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1986-1988
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1650-1654
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2773-2779
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1513-1523
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1742-1745
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1783-1787
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1681-1689
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1847-1847
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1872-1873
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 825-829
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 840-844
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2873-2878
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 612-613
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 627-628
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 144-144
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 119-121
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 713-713
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 764-765
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 738-739
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 751-752
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 725-726

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