|
|
   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 est une sous-classe de icone |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13262-13262 | NationalFlag est une sous-classe de 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 |
|
|
|
