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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Language
Language(language)
Amharic, Aramaic, Bantoid, Catalan, Creole, Cyrillic, Demotic, Germanic, Gothic, Hebraic, Hebraical, Hebrew, Indo-European, Indo-Germanic, Italic, Latin, Malayo-Polynesian, Modern, New, Nilotic, Nordic, Old, Romance, Semitic, Siamese, Singhalese, Sinhala, Sinhalese, Slav, Slavic, Slavonic, Sotho, Tai, Tamil, Thai, agglutinative, analytic, cockney, dead_language, early, hieroglyphically, idiolect, indigenous_language, isolating, language, late, lingually, linguistic_communication, linguistically, metalanguage...

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1406-1406 Language is disjointly decomposed into animal language, human language, and computer language
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1658-1659
No TPTP formula. May not be expressible in strict first order. Merge.kif 1408-1411
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 246-248
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 290-293
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6658-6658
No TPTP formula. May not be expressible in strict first order. Merge.kif 1405-1405 Language is a subclass of linguistic expression

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Military.kif 341-341 US airforce ranking system is an instance of language
No TPTP formula. May not be expressible in strict first order. Military.kif 340-340 US army ranking system is an instance of language
No TPTP formula. May not be expressible in strict first order. Military.kif 344-344 US coast guard ranking system is an instance of language
No TPTP formula. May not be expressible in strict first order. Military.kif 342-342 US marine corps ranking system is an instance of language
No TPTP formula. May not be expressible in strict first order. Military.kif 343-343 US navy ranking system is an instance of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1415-1415 Animal language is a subclass of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1429-1429 Artificial language is a subclass of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1446-1446 Human language is a subclass of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1413-1413 Written language is a subclass of language
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 839-839
No TPTP formula. May not be expressible in strict first order. english_format.kif 880-880
No TPTP formula. May not be expressible in strict first order. french_format.kif 515-515
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 18-18
No TPTP formula. May not be expressible in strict first order. terms-it.txt 20-20
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2200-2200
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 467-467
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 21-21
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 82-82
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 536-536
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 21-21

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 3156-3156 The number 3 argument of abbreviated display title is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3124-3124 The number 3 argument of alternative title is an instance of language
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24581-24581 The number 2 argument of canonical place name is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3145-3145 The number 3 argument of display title is an instance of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 4618-4618 The number 2 argument of expressed in language is an instance of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 380-380 The number 1 argument of format is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3195-3195 The number 3 argument of grouping title is an instance of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1500-1500 The number 2 argument of language is an instance of language
No TPTP formula. May not be expressible in strict first order. People.kif 1563-1563 The number 1 argument of language percent in region is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3217-3217 The number 3 argument of misspelled title is an instance of language
No TPTP formula. May not be expressible in strict first order. Music.kif 1455-1455 The number 2 argument of original expressed in language is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3185-3185 The number 3 argument of original title is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3174-3174 The number 3 argument of reference title is an instance of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 628-628 The number 3 argument of related external concept is an instance of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 4479-4479 The number 3 argument of represents in language is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3134-3134 The number 3 argument of sorting title is an instance of language
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 737-737 The number 2 argument of speaks language is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3053-3053 The number 3 argument of spelling in language is an instance of language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14477-14477 The number 1 argument of sub language is an instance of language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14478-14478 The number 2 argument of sub language is an instance of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 665-665 The number 3 argument of subsumed external concept is an instance of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 659-659 The number 3 argument of subsuming external concept is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3227-3227 The number 3 argument of subtitle is an instance of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 638-638 The number 3 argument of synonymous external concept is an instance of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 387-387 The number 1 argument of term format is an instance of language

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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