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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DinanFrance

 Sigma KEE - DinanFrance
DinanFrance(迪南法國)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1667-1667
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3977-3977
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2781-2781 迪南法國 是 法國 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1666-1666 例 迪南法國 and City

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2782-2782 名 "Dinan" and 迪南法國
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19566-19566
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19565-19565
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19564-19564


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