| Smoking
| |
| appearance as argument number 1 |
|
|
| (documentation Smoking EnglishLanguage "Inhaling and exhaling Smoke produced by a CigarOrCigarette.") | Mid-level-ontology.kif 17455-17456 | |
| (externalImage Smoking "http://articulatesoftware.com/SUMOpictures/signs_symbol/ BW/ BW_4/ smoking.png") | pictureList.kif 738-738 | |
| (subclass Smoking RecreationOrExercise) | Mid-level-ontology.kif 17454-17454 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Smoking "抽烟") | domainEnglishFormat.kif 53520-53520 | |
| (termFormat ChineseTraditionalLanguage Smoking "抽煙") | domainEnglishFormat.kif 53519-53519 | |
| (termFormat EnglishLanguage Smoking "smoking") | domainEnglishFormat.kif 53518-53518 |
| 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 17458-17469 |
| consequent |
|
|
| (=> (and (instance ?POLICY NoSmokingPolicy) (policyLocationCoverage ?POLICY ?LOC) (policyOwner ?AGENT ?POLICY)) (deprivesNorm ?AGENT (exists (?SMOKE) (and (instance ?SMOKE Smoking) (located ?SMOKE ?LOC))) Permission)) |
Hotel.kif 2604-2613 | |
| (=> (and (instance ?POLICY SmokingAllowedPolicy) (policyLocationCoverage ?POLICY ?LOC) (policyOwner ?AGENT ?POLICY)) (confersNorm ?AGENT (exists (?SMOKE) (and (instance ?SMOKE Smoking) (located ?SMOKE ?LOC))) Permission)) |
Hotel.kif 2621-2630 | |
| (=> (and (instance ?POLICY SmokingPolicy) (policyLocationCoverage ?POLICY ?LOC)) (or (containsInformation ?POLICY (modalAttribute (exists (?SMOKE1) (and (instance ?SMOKE1 Smoking) (located ?SMOKE1 ?LOC))) Permission)) (containsInformation ?POLICY (modalAttribute (exists (?SMOKE2) (and (instance ?SMOKE2 Smoking) (located ?SMOKE2 ?LOC))) Prohibition)))) |
Hotel.kif 2500-2516 | |
| (=> (instance ?D SmokingDevice) (hasPurpose ?D (exists (?S) (and (instance ?S Smoking) (instrument ?S ?D))))) |
Mid-level-ontology.kif 2475-2481 |
|
|
|