Virginia - Sigma Knowledge base Browser

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