keyName |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3270-3272 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3267-3267 | The number 1 argument of keyName is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3268-3268 | The number 2 argument of keyName is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3264-3264 | keyName is an instance of antisymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3263-3263 | keyName is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3266-3266 | keyName is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3265-3265 | keyName is an instance of reflexive relation |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3269-3269 | keyName is a subrelation of subString |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3723-3723 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3722-3722 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3721-3721 |
antecedent |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3440-3445 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 3449-3454 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 3358-3360 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3390-3392 |
![]() |
![]() |