flagImage |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4752-4754 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4749-4749 | 国旗图像 的 1 数量 是 地缘政治区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4750-4750 | 国旗图像 的 2 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1116-1116 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4748-4748 | 国旗图像 是 二元谓语 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1045-1045 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1044-1044 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1043-1043 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24146-24146 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24145-24145 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24144-24144 |