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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 " US_States/ virginia.png") pictureList.kif 826-826
(instance Virginia AmericanState) CountriesAndRegions.kif 1130-1130
(meetsSpatially Virginia Kentucky) CountriesAndRegions.kif 1137-1137
(meetsSpatially Virginia NorthAtlanticOcean) CountriesAndRegions.kif 1134-1134
(meetsSpatially Virginia NorthCarolina) CountriesAndRegions.kif 1135-1135
(meetsSpatially Virginia Tennessee) CountriesAndRegions.kif 1136-1136
(meetsSpatially Virginia WashingtonDCUnitedStates) CountriesAndRegions.kif 1133-1133
(meetsSpatially Virginia WestVirginia) CountriesAndRegions.kif 1138-1138

appearance as argument number 2

(capitalCity RichmondVirginia Virginia) CountriesAndRegions.kif 775-775
(meetsSpatially Maryland Virginia) CountriesAndRegions.kif 983-983
(termFormat ChineseLanguage Virginia "弗吉尼亚州") domainEnglishFormat.kif 61724-61724
(termFormat ChineseTraditionalLanguage Virginia "弗吉尼亞州") domainEnglishFormat.kif 61723-61723
(termFormat EnglishLanguage Virginia "virginia") domainEnglishFormat.kif 61722-61722

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