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 13168-13170 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13167-13167 | Advertising is a subclass of disseminating |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 26-26 | Web listing is a subclass of advertising |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1197-1197 | Web listing is a subclass of advertising |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1611-1611 | Web listing is a subclass of advertising |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 875-875 | Web listing is a subclass of advertising |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 408-408 | Web listing is a subclass of advertising |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 411-411 | Web listing is a subclass of advertising |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2559-2559 | Web listing is a subclass of advertising |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 827-827 | Web listing is a subclass of advertising |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 413-413 | Web listing is a subclass of advertising |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 447-447 | Web listing is a subclass of advertising |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 706-706 | Web listing is a subclass of advertising |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 896-896 | Web listing is a subclass of advertising |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 412-412 | Web listing is a subclass of advertising |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 426-426 | 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 1570-1581 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13172-13177 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 193-199 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2034-2041 |
|
![]() |
![]() |