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


KB Term:  Term intersection
English Word: 

  Virginia

 Sigma KEE - Virginia
Virginia
Old_Dominion, Old_Dominion_State, VA, Virginia

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


(documentation Virginia EnglishLanguage "A state in the southeastern UnitedStates that borders on WashingtonDC.") CountriesAndRegions.kif 1131-1132
(externalImage Virginia "http://articulatesoftware.com/SUMOpictures/geography/ US_States/ virginia.png") pictureList.kif 826-826
(instance Virginia AmericanState) CountriesAndRegions.kif 1130-1130 Virginia is an instance of AmericanState
(meetsSpatially Virginia Kentucky) CountriesAndRegions.kif 1137-1137 Virginia meets Kentucky
(meetsSpatially Virginia NorthAtlanticOcean) CountriesAndRegions.kif 1134-1134 Virginia meets NorthAtlanticOcean
(meetsSpatially Virginia NorthCarolina) CountriesAndRegions.kif 1135-1135 Virginia meets NorthCarolina
(meetsSpatially Virginia Tennessee) CountriesAndRegions.kif 1136-1136 Virginia meets Tennessee
(meetsSpatially Virginia WashingtonDCUnitedStates) CountriesAndRegions.kif 1133-1133 Virginia meets WashingtonDCUnitedStates
(meetsSpatially Virginia WestVirginia) CountriesAndRegions.kif 1138-1138 Virginia meets WestVirginia

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


(capitalCity RichmondVirginia Virginia) CountriesAndRegions.kif 775-775 capitalCity RichmondVirginia and Virginia
(meetsSpatially Maryland Virginia) CountriesAndRegions.kif 983-983 Maryland meets Virginia
(termFormat ChineseLanguage Virginia "弗吉尼亚州") domainEnglishFormat.kif 61717-61717 Maryland meets Virginia
(termFormat ChineseTraditionalLanguage Virginia "弗吉尼亞州") domainEnglishFormat.kif 61716-61716 Maryland meets Virginia
(termFormat EnglishLanguage Virginia "virginia") domainEnglishFormat.kif 61715-61715 Maryland meets Virginia


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