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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NewJersey

 Sigma KEE - NewJersey
NewJersey

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1045-1045
No TPTP formula. May not be expressible in strict first order. pictureList.kif 620-620
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1051-1051 geographicSubregion NewJersey and UnitedStates
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1041-1041 NewJersey est une instance de AmericanState
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1043-1043 NewJersey rencontre Delaware
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1042-1042 NewJersey rencontre NorthAtlanticOcean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1044-1044 NewJersey rencontre Pennsylvania

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1060-1060 NewYorkState rencontre NewJersey
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1052-1052 NewJersey s'appele nom "New Jersey"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40305-40305
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40304-40304
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40303-40303


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