RightProximalPhalanxIBone
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2152-2152 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1203-1203 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3331-3331 | 奥伯特奥地利 是 奥地利 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2151-2151 | 奥伯特奥地利 是 城市 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3335-3335 | 奥伯特奥地利 的名 是 "Oberwart" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41526-41526 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41525-41525 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41524-41524 |