| 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 | 巴尔的摩马里兰州 是 美国城市 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 714-714 | 巴尔的摩马里兰州 是 马里兰 的 part |
| 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 |
|
|
|