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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FargoNorthDakota

 Sigma KEE - FargoNorthDakota
FargoNorthDakota(fargo north dakota)
Fargo

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 Fargo north dakota is an instance of american city
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 835-835 Fargo north dakota is a part of north dakota

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