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 迪南法国 是 城市 的 instance

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2782-2782 迪南法国 的名 是 "Dinan"
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