TreeView Knowledge Base Browser - WashingtonDCUnitedStates

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1050-1050	capitalCity WashingtonDCUnitedStates and UnitedStates
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2448-2448
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5555-5555
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5556-5556
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5194-5194
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5559-5559
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5561-5561
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5562-5562
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5558-5558
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5557-5557
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3669-3669	geographicSubregion WashingtonDCUnitedStates and UnitedStates
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2447-2447	WashingtonDCUnitedStates est une instance de AmericanCity

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 985-985	Maryland rencontre WashingtonDCUnitedStates
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 3670-3670	WashingtonDCUnitedStates s'appele nom "Washington DC."
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62277-62277
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62276-62276
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62275-62275