abbreviatedDisplayTitle |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3157-3162 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3154-3154 | O argumento numero 1 de abbreviatedDisplayTitle e' uma instancia de Sequencia Simbolica |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3156-3156 | O argumento numero 3 de abbreviatedDisplayTitle e' uma instancia de Linguagem |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3155-3155 | O argumento numero 2 de abbreviatedDisplayTitle e' uma sub-classe de ContentBearingPhysical |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3153-3153 | abbreviatedDisplayTitle e' uma instancia de Predicado Ternario |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3163-3163 | abbreviatedDisplayTitle e' uma sub-relacao de displayTitle |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2646-2646 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2645-2645 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2644-2644 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65764-65764 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3165-3169 |
|