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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FrenchLanguage
FrenchLanguage(french language)
more pictures...
Anglo-French, Anglo-Norman, Canadian_French, French, french_language

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12416-12417
No TPTP formula. May not be expressible in strict first order. Languages.kif 9778-9901
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7008-7008 "http://upload.wikimedia.org/wikipedia/commons/2/27/ French_in_the_United_States.png" is a URL depicting french language
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7009-7009 "http://upload.wikimedia.org/wikipedia/commons/5/50/ New-Map-Francophone_World.PNG" is a URL depicting french language
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7010-7010 "http://upload.wikimedia.org/wikipedia/commons/7/75/ Knowledge_French_EU_map.png" is a URL depicting french language
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6591-6591 "http://upload.wikimedia.org/wikipedia/commons/8/8a/ Bilingualstopsign.jpg" is a URL depicting french language
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7006-7006 "http://upload.wikimedia.org/wikipedia/commons/b/b0/ Yoff-Tonghor.jpg" is a URL depicting french language
No TPTP formula. May not be expressible in strict first order. french_format.kif 417-417
No TPTP formula. May not be expressible in strict first order. french_format.kif 145-145
No TPTP formula. May not be expressible in strict first order. french_format.kif 414-414
No TPTP formula. May not be expressible in strict first order. french_format.kif 197-197
No TPTP formula. May not be expressible in strict first order. french_format.kif 146-146
No TPTP formula. May not be expressible in strict first order. french_format.kif 261-261
No TPTP formula. May not be expressible in strict first order. french_format.kif 462-462
No TPTP formula. May not be expressible in strict first order. french_format.kif 296-296
No TPTP formula. May not be expressible in strict first order. french_format.kif 418-418
No TPTP formula. May not be expressible in strict first order. french_format.kif 293-293
No TPTP formula. May not be expressible in strict first order. french_format.kif 419-419
No TPTP formula. May not be expressible in strict first order. french_format.kif 468-468
No TPTP formula. May not be expressible in strict first order. french_format.kif 271-271
No TPTP formula. May not be expressible in strict first order. french_format.kif 420-420
No TPTP formula. May not be expressible in strict first order. french_format.kif 395-395
No TPTP formula. May not be expressible in strict first order. french_format.kif 416-416
No TPTP formula. May not be expressible in strict first order. french_format.kif 329-329
No TPTP formula. May not be expressible in strict first order. french_format.kif 262-262

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. domainEnglishFormat.kif 4586-4586 "french language" is the printable form of french language in english language

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14705-14705 "fr" in ISO-639-1 denotes french 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners