Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Smoking
Smoking

appearance as argument number 1
-------------------------


(documentation Smoking EnglishLanguage "Inhaling and exhaling Smoke produced by a CigarOrCigarette.") Mid-level-ontology.kif 12774-12775
(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 12773-12773

appearance as argument number 2
-------------------------


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

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 12777-12788

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 2553-2562
(=>
    (and
        (instance ?POLICY SmokingAllowedPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (confersNorm ?AGENT
        (exists (?SMOKE)
            (and
                (instance ?SMOKE Smoking)
                (located ?SMOKE ?LOC))) Permission))
Hotel.kif 2570-2579
(=>
    (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 2449-2465
(=>
    (instance ?D SmokingDevice)
    (hasPurpose ?D
        (exists (?S)
            (and
                (instance ?S Smoking)
                (instrument ?S ?D)))))
Mid-level-ontology.kif 1949-1955


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