Smoking(smoking)![]() | ![]() | chain-smoke, drag, fire_up, inhale, light, light_up, puff, puffing, pull, smoke, smoking, toke |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17455-17456 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 738-738 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17454-17454 | Smoking is a subclass of recreation or exercise |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53520-53520 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53519-53519 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53518-53518 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17458-17469 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2604-2613 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2621-2630 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2500-2516 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2475-2481 |
|
![]() |
![]() |