Smoking |
appearance as argument number 1 |
(documentation Smoking EnglishLanguage "Inhaling and exhaling Smoke produced by a CigarOrCigarette.") | Mid-level-ontology.kif 16095-16096 | |
(externalImage Smoking "http://articulatesoftware.com/SUMOpictures/signs_symbol/ BW/ BW_4/ smoking.png") | pictureList.kif 738-738 | |
(subclass Smoking RecreationOrExercise) | Mid-level-ontology.kif 16094-16094 |
appearance as argument number 2 |
(termFormat ChineseLanguage Smoking "抽烟") | domainEnglishFormat.kif 53518-53518 | |
(termFormat ChineseTraditionalLanguage Smoking "抽煙") | domainEnglishFormat.kif 53517-53517 | |
(termFormat EnglishLanguage Smoking "smoking") | domainEnglishFormat.kif 53516-53516 |
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 16098-16109 |
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 2593-2602 | |
(=> (and (instance ?POLICY SmokingAllowedPolicy) (policyLocationCoverage ?POLICY ?LOC) (policyOwner ?AGENT ?POLICY)) (confersNorm ?AGENT (exists (?SMOKE) (and (instance ?SMOKE Smoking) (located ?SMOKE ?LOC))) Permission)) |
Hotel.kif 2610-2619 | |
(=> (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 2489-2505 | |
(=> (instance ?D SmokingDevice) (hasPurpose ?D (exists (?S) (and (instance ?S Smoking) (instrument ?S ?D))))) |
Mid-level-ontology.kif 2005-2011 |