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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NorthDakota

Sigma KEE - NorthDakota
NorthDakota(north dakota)
ND, North_Dakota, Peace_Garden_State

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1071-1071
No TPTP formula. May not be expressible in strict first order. pictureList.kif 632-632
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1067-1067 North dakota is an instance of american state
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1070-1070 North dakota meets canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1068-1068 North dakota meets Montana
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1069-1069 North dakota meets South Dakota

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1004-1004 Minnesota meets north dakota
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 835-835 Fargo north dakota is a part of north dakota
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41001-41001
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41000-41000
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40999-40999


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