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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NewYorkState

 Sigma KEE - NewYorkState
NewYorkState
more pictures...

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 geographicSubregion NewYorkState and UnitedStates
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1053-1053 NewYorkState est une instance de AmericanState
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1058-1058 NewYorkState rencontre Canada
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 1061-1061 NewYorkState rencontre NorthAtlanticOcean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1059-1059 NewYorkState rencontre Pennsylvania

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 991-991 Massachusetts rencontre NewYorkState
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1126-1126 Vermont rencontre NewYorkState
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1056-1056 NewYorkState s'appele nom "New York"
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 832-832 HudsonRiver est une partie de NewYorkState
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 805-805 LongIsland est une partie de NewYorkState
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