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 1416-1416 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 Language is disjointly decomposed into animal language, human language, and computer language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1418-1421 Language is disjointly decomposed into animal language, human language, and computer language
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 246-248 Language is disjointly decomposed into animal language, human language, and computer language
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 290-293 Language is disjointly decomposed into animal language, human language, and computer language
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6657-6657 Language is disjointly decomposed into animal language, human language, and computer language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1415-1415 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 418-418 US airforce ranking system is an instance of language
No TPTP formula. May not be expressible in strict first order. Military.kif 417-417 US army ranking system is an instance of language
No TPTP formula. May not be expressible in strict first order. Military.kif 421-421 US coast guard ranking system is an instance of language
No TPTP formula. May not be expressible in strict first order. Military.kif 419-419 US marine corps ranking system is an instance of language
No TPTP formula. May not be expressible in strict first order. Military.kif 420-420 US navy ranking system is an instance of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1425-1425 Animal language is a subclass of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1439-1439 Artificial language is a subclass of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1456-1456 Human language is a subclass of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1423-1423 Written language is a subclass of language
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 839-839 Written language is a subclass of language
No TPTP formula. May not be expressible in strict first order. english_format.kif 880-880 Written language is a subclass of language
No TPTP formula. May not be expressible in strict first order. french_format.kif 515-515 Written language is a subclass of language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 18-18 Written language is a subclass of language
No TPTP formula. May not be expressible in strict first order. terms-it.txt 20-20 Written language is a subclass of language
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2200-2200 Written language is a subclass of language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 467-467 Written language is a subclass of language
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 21-21 Written language is a subclass of language
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 82-82 Written language is a subclass of language
No TPTP formula. May not be expressible in strict first order. terms-de.txt 341-341 Written language is a subclass of language
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 536-536 Written language is a subclass of language
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 21-21 Written language is a subclass of language

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


No TPTP formula. May not be expressible in strict first order. Media.kif 3140-3140 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 3108-3108 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 26243-26243 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 3129-3129 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 4646-4646 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 373-373 The number 1 argument of format is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3179-3179 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 1510-1510 The number 2 argument of language is an instance of language
No TPTP formula. May not be expressible in strict first order. People.kif 1564-1564 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 3201-3201 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 1457-1457 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 3169-3169 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 3158-3158 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 621-621 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 4507-4507 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 3118-3118 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 730-730 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 3037-3037 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 658-658 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 652-652 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 3211-3211 The number 3 argument of subtitle is an instance of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 631-631 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 380-380 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