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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Language
Language(langage)

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1406-1406 Langage est disjointement decompos� en langage animal, langage humain, + langage de programmation
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 Langage est une sous-classe de expression linguistique

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


No TPTP formula. May not be expressible in strict first order. Military.kif 341-341 USAirforceRankingSystem est une instance de langage
No TPTP formula. May not be expressible in strict first order. Military.kif 340-340 USArmyRankingSystem est une instance de langage
No TPTP formula. May not be expressible in strict first order. Military.kif 344-344 USCoastGuardRankingSystem est une instance de langage
No TPTP formula. May not be expressible in strict first order. Military.kif 342-342 USMarineCorpsRankingSystem est une instance de langage
No TPTP formula. May not be expressible in strict first order. Military.kif 343-343 USNavyRankingSystem est une instance de langage
No TPTP formula. May not be expressible in strict first order. Merge.kif 1415-1415 Langage animal est une sous-classe de langage
No TPTP formula. May not be expressible in strict first order. Merge.kif 1429-1429 Language artificiel est une sous-classe de langage
No TPTP formula. May not be expressible in strict first order. Merge.kif 1446-1446 Langage humain est une sous-classe de langage
No TPTP formula. May not be expressible in strict first order. Merge.kif 1413-1413 WrittenLanguage est une sous-classe de langage
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 3138-3138 Le nombre 3 argument de abbreviatedDisplayTitle est une instance de langage
No TPTP formula. May not be expressible in strict first order. Media.kif 3106-3106 Le nombre 3 argument de alternativeTitle est une instance de langage
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24638-24638 Le nombre 2 argument de canonicalPlaceName est une instance de langage
No TPTP formula. May not be expressible in strict first order. Media.kif 3127-3127 Le nombre 3 argument de displayTitle est une instance de langage
No TPTP formula. May not be expressible in strict first order. Merge.kif 4619-4619 Le nombre 2 argument de expressedInLanguage est une instance de langage
No TPTP formula. May not be expressible in strict first order. Merge.kif 380-380 Le nombre 1 argument de format est une instance de langage
No TPTP formula. May not be expressible in strict first order. Media.kif 3177-3177 Le nombre 3 argument de groupingTitle est une instance de langage
No TPTP formula. May not be expressible in strict first order. Merge.kif 1500-1500 Le nombre 2 argument de language est une instance de langage
No TPTP formula. May not be expressible in strict first order. People.kif 1563-1563 Le nombre 1 argument de languagePercentInRegion est une instance de langage
No TPTP formula. May not be expressible in strict first order. Media.kif 3199-3199 Le nombre 3 argument de misspelledTitle est une instance de langage
No TPTP formula. May not be expressible in strict first order. Music.kif 1455-1455 Le nombre 2 argument de originalExpressedInLanguage est une instance de langage
No TPTP formula. May not be expressible in strict first order. Media.kif 3167-3167 Le nombre 3 argument de originalTitle est une instance de langage
No TPTP formula. May not be expressible in strict first order. Media.kif 3156-3156 Le nombre 3 argument de referenceTitle est une instance de langage
No TPTP formula. May not be expressible in strict first order. Merge.kif 628-628 Le nombre 3 argument de relatedExternalConcept est une instance de langage
No TPTP formula. May not be expressible in strict first order. Merge.kif 4480-4480 Le nombre 3 argument de representsInLanguage est une instance de langage
No TPTP formula. May not be expressible in strict first order. Media.kif 3116-3116 Le nombre 3 argument de sortingTitle est une instance de langage
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 730-730 Le nombre 2 argument de speaksLanguage est une instance de langage
No TPTP formula. May not be expressible in strict first order. Media.kif 3035-3035 Le nombre 3 argument de spellingInLanguage est une instance de langage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14477-14477 Le nombre 1 argument de subLanguage est une instance de langage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14478-14478 Le nombre 2 argument de subLanguage est une instance de langage
No TPTP formula. May not be expressible in strict first order. Merge.kif 665-665 Le nombre 3 argument de subsumedExternalConcept est une instance de langage
No TPTP formula. May not be expressible in strict first order. Merge.kif 659-659 Le nombre 3 argument de subsumingExternalConcept est une instance de langage
No TPTP formula. May not be expressible in strict first order. Media.kif 3209-3209 Le nombre 3 argument de subtitle est une instance de langage
No TPTP formula. May not be expressible in strict first order. Merge.kif 638-638 Le nombre 3 argument de synonymousExternalConcept est une instance de langage
No TPTP formula. May not be expressible in strict first order. Merge.kif 387-387 Le nombre 1 argument de termFormat est une instance de langage

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