Smoking - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Smoking EnglishLanguage "Inhaling and exhaling Smoke produced by a CigarOrCigarette.")	Mid-level-ontology.kif 16040-16041
(externalImage Smoking "http://articulatesoftware.com/SUMOpictures/signs_symbol/ BW/ BW_4/ smoking.png")	pictureList.kif 738-738
(subclass Smoking RecreationOrExercise)	Mid-level-ontology.kif 16039-16039	Smoking is a subclass of recreation or exercise

appearance as argument number 2

(termFormat ChineseLanguage Smoking "抽烟")	domainEnglishFormat.kif 53528-53528
(termFormat ChineseTraditionalLanguage Smoking "抽煙")	domainEnglishFormat.kif 53527-53527
(termFormat EnglishLanguage Smoking "smoking")	domainEnglishFormat.kif 53526-53526

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 16043-16054

If a process is an instance of smoking,
then there exist another process, an object,, , a third process and an entity such that the other process is a subprocess of the process and the other process is an instance of burning and the object is a resource for the other process and the object is an instance of cigar or cigarette and the entity is a result of the other process and the entity is a patient of the third process and the third process is an instance of breathing and the third process is a subprocess of the process

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	If a policy is an instance of no smoking policy and the policy covers an object and an organization enacts policy the policy, then the organization deprives norm there exists an entity such that the entity is an instance of smoking and the entity is located at the object for permission
(=> (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	If a policy is an instance of smoking allowed policy and the policy covers an object and an organization enacts policy the policy, then the organization confers norm there exists an entity such that the entity is an instance of smoking and the entity is located at the object for permission
(=> (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	If a policy is an instance of smoking policy and the policy covers an object, then the policy contains information the statement there exists an entity such that the entity is an instance of smoking and the entity is located at the object has the modal force of permission or the policy contains information the statement there exists another entity such that the other entity is an instance of smoking and the other entity is located at the object has the modal force of prohibition
(=> (instance ?D SmokingDevice) (hasPurpose ?D (exists (?S) (and (instance ?S Smoking) (instrument ?S ?D)))))	Mid-level-ontology.kif 1984-1990	If a physical is an instance of smoking device, then the physical has the purpose there exists an entity such that the entity is an instance of smoking and the physical is an instrument for the entity

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: