eveningPhone |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3746-3748 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3744-3744 | The number 1 argument of evening phone is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3745-3745 | The number 2 argument of evening phone is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3743-3743 | evening phone is an instance of binary predicate |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 923-923 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 922-922 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 921-921 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22642-22642 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22641-22641 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22640-22640 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3753-3773 |
|
![]() |
![]() |