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	WestVirginia 是美国国家的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1145-1145	WestVirginia 接上肯塔基
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1146-1146	WestVirginia 接上俄亥俄州

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 984-984	马里兰接上 WestVirginia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1088-1088	宾夕法尼亚接上 WestVirginia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1138-1138	弗吉尼亚州接上 WestVirginia
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65732-65732