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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NewHampshire

 Sigma KEE - NewHampshire
NewHampshire

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1039-1040
No TPTP formula. May not be expressible in strict first order. pictureList.kif 619-619
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1033-1033 NewHampshire est une instance de AmericanState
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1035-1035 NewHampshire rencontre Canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1038-1038 NewHampshire rencontre Massachusetts
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1036-1036 NewHampshire rencontre NorthAtlanticOcean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1037-1037 NewHampshire rencontre Vermont
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1034-1034 NewHampshire est une partie de NewEngland

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 977-977 Maine rencontre NewHampshire
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 731-731 ManchesterNewHampshire est une partie de NewHampshire
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40299-40299
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40298-40298
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40297-40297


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