| Smoking
| |
| appearance as argument number 1 |
|
|
| (documentation Smoking EnglishLanguage "Inhaling and exhaling Smoke produced by a CigarOrCigarette.") | Mid-level-ontology.kif 13749-13750 | |
| (externalImage Smoking "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ signs_symbol/ BW/ BW_4/ smoking.png") | pictureList.kif 738-738 | |
| (subclass Smoking RecreationOrExercise) | Mid-level-ontology.kif 13748-13748 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Smoking "抽烟") | domainEnglishFormat.kif 53510-53510 | |
| (termFormat ChineseTraditionalLanguage Smoking "抽煙") | domainEnglishFormat.kif 53509-53509 | |
| (termFormat EnglishLanguage Smoking "smoking") | domainEnglishFormat.kif 53508-53508 |
| 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 13752-13763 |
| 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 2540-2549 | |
| (=> (and (instance ?POLICY SmokingAllowedPolicy) (policyLocationCoverage ?POLICY ?LOC) (policyOwner ?AGENT ?POLICY)) (confersNorm ?AGENT (exists (?SMOKE) (and (instance ?SMOKE Smoking) (located ?SMOKE ?LOC))) Permission)) |
Hotel.kif 2557-2566 | |
| (=> (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 2436-2452 | |
| (=> (instance ?D SmokingDevice) (hasPurpose ?D (exists (?S) (and (instance ?S Smoking) (instrument ?S ?D))))) |
Mid-level-ontology.kif 2473-2479 |
|
|
|