![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2408-2408 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3385-3385 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3624-3624 | Um al fahm以色列 是 以色列 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2407-2407 | Um al fahm以色列 是 城市 的 instance |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3625-3625 | Um al fahm以色列 的名 是 "Um al-Fahm" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59822-59822 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59821-59821 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59820-59820 |
![]() |
![]() |