| Flag(flag)
| | American_flag, Old_Glory, Star-Spangled_Banner, Stars_and_Stripes, 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 |
|
|
|
|