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 15493-15494
(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 15492-15492	Smoking is a subclass of recreation or exercise

appearance as argument number 2

(termFormat ChineseLanguage Smoking "抽烟")	domainEnglishFormat.kif 53499-53499
(termFormat ChineseTraditionalLanguage Smoking "抽煙")	domainEnglishFormat.kif 53498-53498
(termFormat EnglishLanguage Smoking "smoking")	domainEnglishFormat.kif 53497-53497

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 15496-15507

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 combustion 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 2566-2575	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 2583-2592	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 2462-2478	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 1967-1973	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: