Flag(旗) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13252-13253 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 436-436 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 94-94 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13251-13251 | 旗 是 图标 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13262-13262 | 国旗 是 旗 的 subclass |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24134-24134 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24133-24133 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24132-24132 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13255-13260 |