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

Formal Language: 



KB Term:  Term intersection
English Word: 

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. chinese_format.kif 1679-1680
No TPTP formula. May not be expressible in strict first order. Merge.kif 1516-1518
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 584-587
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5670-5672
No TPTP formula. May not be expressible in strict first order. Weather.kif 1866-1868
No TPTP formula. May not be expressible in strict first order. Weather.kif 1847-1850
No TPTP formula. May not be expressible in strict first order. Weather.kif 593-596
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5990-5990
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6484-6484
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2648-2648
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2824-2824
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. MilitaryProcesses.kif 2689-2689
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22-22
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2692-2692
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2690-2690
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26-26
No TPTP formula. May not be expressible in strict first order. english_format.kif 690-690
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 34-34
No TPTP formula. May not be expressible in strict first order. english_format.kif 684-684
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54-54
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2708-2708
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2720-2720

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 2535-2535
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 3428-3429
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4625-4627
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26265-26266
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. Mid-level-ontology.kif 25444-25445
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 3170-3172
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2913-2915
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 3473-3474
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3597-3601
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3673-3673
No TPTP formula. May not be expressible in strict first order. Cars.kif 4816-4817
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2148-2154
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2123-2130
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2156-2158

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 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 3.0 is open source software produced by Articulate Software and its partners