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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - NewJersey

appearance as argument number 1

(documentation NewJersey EnglishLanguage "A state in the eastern UnitedStates.") CountriesAndRegions.kif 1045-1045
(externalImage NewJersey " US_States/ new_jersey.png") pictureList.kif 620-620
(geographicSubregion NewJersey UnitedStates) CountriesAndRegions.kif 1051-1051
(instance NewJersey AmericanState) CountriesAndRegions.kif 1041-1041
(meetsSpatially NewJersey Delaware) CountriesAndRegions.kif 1043-1043
(meetsSpatially NewJersey NorthAtlanticOcean) CountriesAndRegions.kif 1042-1042
(meetsSpatially NewJersey Pennsylvania) CountriesAndRegions.kif 1044-1044

appearance as argument number 2

(meetsSpatially NewYorkState NewJersey) CountriesAndRegions.kif 1060-1060
(names "New Jersey" NewJersey) CountriesAndRegions.kif 1052-1052
(termFormat ChineseLanguage NewJersey "新泽西州美国") domainEnglishFormat.kif 40305-40305
(termFormat ChineseTraditionalLanguage NewJersey "新澤西州美國") domainEnglishFormat.kif 40304-40304
(termFormat EnglishLanguage NewJersey "new jersey united states") domainEnglishFormat.kif 40303-40303

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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