referenceTitle |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3175-3179 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3172-3172 | O argumento numero 1 de referenceTitle e' uma instancia de Sequencia Simbolica |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3174-3174 | O argumento numero 3 de referenceTitle e' uma instancia de Linguagem |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3173-3173 | O argumento numero 2 de referenceTitle e' uma sub-classe de ContentBearingPhysical |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3171-3171 | referenceTitle e' uma instancia de Predicado Ternario |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3180-3180 | referenceTitle e' uma sub-relacao de titleInLanguage |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4362-4362 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4361-4361 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4360-4360 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65922-65922 |
![]() |
![]() |