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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16365-16366
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 7006-7006
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7007-7007
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7008-7008
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6589-6589
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7004-7004
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 25014-25014
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25013-25013
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25012-25012

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14727-14727 "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 3.0 is open source software produced by Articulate Software and its partners