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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EnglishLanguage

 Sigma KEE - EnglishLanguage
EnglishLanguage(english language)
AAVE, African_American_English, African_American_Vernacular_English, American, American_English, American_language, Anglian, Anglo-Saxon, Black_English, Black_English_Vernacular, Black_Vernacular, Black_Vernacular_English, East_Midland, Ebonics, English, English_language, Jutish, Kentish, King's_English, Middle_English, Modern_English, Old_English, Oxford_English, Queen's_English, Received_Pronunciation, Scots, Scots_English, Scottish, Southwestern, West_Midland, West_Saxon, cockney, geordie

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


No TPTP formula. May not be expressible in strict first order. Food.kif 908-912
No TPTP formula. May not be expressible in strict first order. Food.kif 902-903
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1679-1680
No TPTP formula. May not be expressible in strict first order. Food.kif 837-840
No TPTP formula. May not be expressible in strict first order. Merge.kif 1539-1541
No TPTP formula. May not be expressible in strict first order. Languages.kif 7335-7574
No TPTP formula. May not be expressible in strict first order. Weather.kif 568-571
No TPTP formula. May not be expressible in strict first order. Food.kif 872-874
No TPTP formula. May not be expressible in strict first order. Food.kif 854-858
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5704-5706
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 270-272
No TPTP formula. May not be expressible in strict first order. Food.kif 941-944
No TPTP formula. May not be expressible in strict first order. Food.kif 932-936
No TPTP formula. May not be expressible in strict first order. Food.kif 896-897
No TPTP formula. May not be expressible in strict first order. Food.kif 956-958
No TPTP formula. May not be expressible in strict first order. Food.kif 924-927
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 318-320
No TPTP formula. May not be expressible in strict first order. Weather.kif 1849-1851
No TPTP formula. May not be expressible in strict first order. Weather.kif 1830-1833
No TPTP formula. May not be expressible in strict first order. Food.kif 720-722
No TPTP formula. May not be expressible in strict first order. Weather.kif 577-580
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5989-5989
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6483-6483
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2648-2648

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. FinancialOntology.kif 2521-2521
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1172-1175
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1650-1658
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3222-3223
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4419-4421
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26389-26390
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3294-3307
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1125-1134
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1206-1231
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1139-1151
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1891-1896
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1179-1185
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2131-2136
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25605-25606
No TPTP formula. May not be expressible in strict first order. Communications.kif 295-296
No TPTP formula. May not be expressible in strict first order. Communications.kif 237-239
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3351-3353
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2900-2902
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1576-1585
No TPTP formula. May not be expressible in strict first order. Languages.kif 5380-5389
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3267-3268
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3584-3588
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3660-3660
No TPTP formula. May not be expressible in strict first order. Cars.kif 4801-4802
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2123-2130

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 14724-14724 "en" in ISO-639-1 denotes english language


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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