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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Virginia

 Sigma KEE - Virginia
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 est une instance de AmericanState
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1137-1137 Virginia rencontre Kentucky
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1134-1134 Virginia rencontre NorthAtlanticOcean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1135-1135 Virginia rencontre NorthCarolina
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1136-1136 Virginia rencontre Tennessee
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1133-1133 Virginia rencontre WashingtonDCUnitedStates
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1138-1138 Virginia rencontre WestVirginia

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 775-775 capitalCity RichmondVirginia and Virginia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 983-983 Maryland rencontre 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