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

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
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7126-7126
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7127-7127
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
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1214-1214
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1265-1265
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1311-1311
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1307-1307
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1384-1384
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1379-1379
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2153-2153
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2158-2158
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1745-1745
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2915-2915
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2920-2920
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2959-2959
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2954-2954
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2964-2964

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