Smoking(smoking) | chain-smoke, drag, fire_up, inhale, light, light_up, puff, puffing, pull, smoke, smoking, toke |
appearance as argument number 1 |
(documentation Smoking EnglishLanguage "Inhaling and exhaling Smoke produced by a CigarOrCigarette.") | Mid-level-ontology.kif 16067-16068 | |
(externalImage Smoking "http://articulatesoftware.com/SUMOpictures/signs_symbol/ BW/ BW_4/ smoking.png") | pictureList.kif 738-738 | |
(subclass Smoking RecreationOrExercise) | Mid-level-ontology.kif 16066-16066 | Smoking is a subclass of recreation or exercise |
appearance as argument number 2 |
(termFormat ChineseLanguage Smoking "抽烟") | domainEnglishFormat.kif 53516-53516 | |
(termFormat ChineseTraditionalLanguage Smoking "抽煙") | domainEnglishFormat.kif 53515-53515 | |
(termFormat EnglishLanguage Smoking "smoking") | domainEnglishFormat.kif 53514-53514 |
antecedent |
(=> (instance ?SMOKING Smoking) (exists (?BURN ?CIGAR ?BREATHE ?SMOKE) (and (subProcess ?BURN ?SMOKING) (instance ?BURN Combustion) (resource ?BURN ?CIGAR) (instance ?CIGAR CigarOrCigarette) (result ?BURN ?SMOKE) (patient ?BREATHE ?SMOKE) (instance ?BREATHE Breathing) (subProcess ?BREATHE ?SMOKING)))) |
Mid-level-ontology.kif 16070-16081 |
|
consequent |