![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3251-3252 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12851-12853 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12850-12850 | Advertising is a subclass of disseminating |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 30-30 | Web listing is a subclass of advertising |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1197-1197 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1611-1611 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 536-536 | The number 1 argument of web store advertisement is an instance of advertising |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1777-1788 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12855-12860 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 250-256 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2243-2250 |
|
![]() |
![]() |