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 | Flag is a subclass of icon |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13262-13262 | National flag is a subclass of flag |
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 |
|