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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FargoNorthDakota

 Sigma KEE - FargoNorthDakota
FargoNorthDakota(法戈北達科他州)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 836-836
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4681-4681
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 834-834 例 法戈北達科他州 and 美國城市
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 835-835 部分 法戈北達科他州 and 北達科他州

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23266-23266
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23265-23265
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23264-23264


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