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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Virginia

 Sigma KEE - Virginia
Virginia(virginia)
Old_Dominion, Old_Dominion_State, VA, Virginia

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1131-1132
No TPTP formula. May not be expressible in strict first order. pictureList.kif 826-826
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1130-1130 Virginia is an instance of american state
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1137-1137 Virginia meets kentucky
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1134-1134 Virginia meets north atlantic ocean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1135-1135 Virginia meets north carolina
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1136-1136 Virginia meets tennessee
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1133-1133 Virginia meets washingtonDC united states
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1138-1138 Virginia meets West virginia

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 775-775 Virginia is a capital city of richmond virginia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 983-983 Maryland meets virginia
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61724-61724
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61723-61723
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61722-61722


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