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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NewYorkState

Sigma KEE - NewYorkState
NewYorkState(new york state)
more pictures...
Empire_State, NY, New_York, New_York_State

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1054-1054
No TPTP formula. May not be expressible in strict first order. pictureList.kif 622-622
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5387-5387
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5389-5389
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5151-5151
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5388-5388
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5390-5390
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5386-5386
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1055-1055 New york state is a geographic subregion of united states
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1053-1053 New york state is an instance of american state
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1058-1058 New york state meets canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1060-1060 New york state meets new jersey united states
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1061-1061 New york state meets north atlantic ocean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1059-1059 New york state meets pennsylvania

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 991-991 Massachusetts meets new york state
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1126-1126 Vermont meets new york state
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1056-1056 New york state has name "New York"
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 832-832 Hudson river is a part of new york state
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 805-805 Long island is a part of new york state
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40413-40413
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40412-40412
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40411-40411


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