BaltimoreMaryland
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 715-715 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4527-4527 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 713-713 | BaltimoreMaryland est une instance de AmericanCity |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 714-714 | BaltimoreMaryland est une partie de Maryland |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9732-9732 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9731-9731 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9730-9730 |