appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 93-94 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 92-92 | Check is a subclass of financial instrument |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 170-170 | Pay check is a subclass of check |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14241-14241 | Pay check is a subclass of check |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14240-14240 | Pay check is a subclass of check |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14239-14239 | Pay check is a subclass of check |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 244-244 | The number 1 argument of check account is an instance of check |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3474-3474 | The number 1 argument of check number is an instance of check |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 139-148 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 150-155 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 342-353 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 101-104 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 96-99 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1145-1158 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 335-340 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 370-375 |
|
![]() |
![]() |