WestVirginia - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1147-1147
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5574-5574
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5577-5577
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5572-5572
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5576-5576
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5575-5575
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1144-1144	West virginia is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1145-1145	West virginia meets kentucky
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1146-1146	West virginia meets ohio

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 984-984	Maryland meets West virginia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1088-1088	Pennsylvania meets West virginia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1138-1138	Virginia meets West virginia
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65732-65732