TreeView Knowledge Base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage Smoking "smoking")	domainEnglishFormat.kif 53511-53511
(termFormat ChineseTraditionalLanguage Smoking "抽煙")	domainEnglishFormat.kif 53512-53512
(termFormat ChineseLanguage Smoking "抽烟")	domainEnglishFormat.kif 53513-53513

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 17679-17690

If X is an instance of smoking, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is a subprocess of X (3) Y is an instance of burning (4) Z is a resource for Y (5) Z is an instance of cigar or cigarette (6) V is a result of Y (7) V is a patient of W (8) W is an instance of breathing (9) W is a subprocess of X

consequent

(=> (instance ?D SmokingDevice) (hasPurpose ?D (exists (?S) (and (instance ?S Smoking) (instrument ?S ?D)))))	Mid-level-ontology.kif 2611-2617	If X is an instance of smoking device, then X has the purpose there exists Y such that Y is an instance of smoking and X is an instrument for Y
(=> (and (instance ?POLICY SmokingPolicy) (policyLocationCoverage ?POLICY ?LOC)) (or (containsFormula ?POLICY (modalAttribute (exists (?SMOKE1) (and (instance ?SMOKE1 Smoking) (located ?SMOKE1 ?LOC))) Permission)) (containsFormula ?POLICY (modalAttribute (exists (?SMOKE2) (and (instance ?SMOKE2 Smoking) (located ?SMOKE2 ?LOC))) Prohibition))))	Hotel.kif 2507-2523	If X is an instance of smoking policy and X covers Y, then X contains the formula the statement there exists Z such that Z is an instance of smoking and Z is located at Y has the modal force of permission or X contains the formula the statement there exists W such that W is an instance of smoking and W is located at Y has the modal force of prohibition
(=> (and (instance ?POLICY NoSmokingPolicy) (policyLocationCoverage ?POLICY ?LOC) (policyOwner ?AGENT ?POLICY)) (deprivesNorm ?AGENT Permission (exists (?SMOKE) (and (instance ?SMOKE Smoking) (located ?SMOKE ?LOC)))))	Hotel.kif 2611-2620	If X is an instance of no smoking policy, X covers Y, and Z enacts policy X, then Z deprives norm permission for there exists W such that W is an instance of smoking and W is located at Y
(=> (and (instance ?POLICY SmokingAllowedPolicy) (policyLocationCoverage ?POLICY ?LOC) (policyOwner ?AGENT ?POLICY)) (confersNorm ?AGENT Permission (exists (?SMOKE) (and (instance ?SMOKE Smoking) (located ?SMOKE ?LOC)))))	Hotel.kif 2628-2637	If X is an instance of smoking allowed policy, X covers Y, and Z enacts policy X, then Z confers norm permission for there exists W such that W is an instance of smoking and W is located at Y

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

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: