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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FrenchLanguage

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 14974-14975
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 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 7009-7009
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6590-6590
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7005-7005
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 24986-24986
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24985-24985
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24984-24984

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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