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, english_language, geordie

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1547-1548
No TPTP formula. May not be expressible in strict first order. Merge.kif 1544-1546
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. pictureList.kif 5990-5990 "http://upload.wikimedia.org/wikipedia/commons/0/08/ Beowulf.firstpage.jpeg" is a URL depicting english language
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6484-6484 "http://upload.wikimedia.org/wikipedia/commons/3/33/ English_dialects1997.png" is a URL depicting english language
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 671-671
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 715-715
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14-14
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2656-2656
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15-15
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2659-2659
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2657-2657
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16-16
No TPTP formula. May not be expressible in strict first order. english_format.kif 428-428
No TPTP formula. May not be expressible in strict first order. Cars.kif 1271-1272
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18-18
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 680-680
No TPTP formula. May not be expressible in strict first order. english_format.kif 425-425
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23-23
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 686-686
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 689-689
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32-32
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 694-694
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 696-696
No TPTP formula. May not be expressible in strict first order. english_format.kif 207-207

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 1095-1104
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1142-1151
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1188-1198
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1234-1240
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2444-2444
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1171-1174
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1649-1657
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3429-3430
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4614-4616
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24411-24412
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1124-1133
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1205-1230
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1138-1150
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1890-1895
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1178-1184
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23447-23448
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 3114-3116
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2820-2822
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1575-1584
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 3472-3473
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3475-3479
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3552-3552

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 14702-14702 "en" in ISO-639-1 denotes english language
No TPTP formula. May not be expressible in strict first order. Communications.kif 48-48 The concept of "main telephone line" in language english language is synonymous with the concept of main telephone line


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners