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 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	Smoking ist eine teilkategorie von RecreationOrExercise

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

Wenn Process ist ein fall von Smoking %n{nicht},
dann es gibt ** Process, Object,, , ** Process, and und Entity um ** ** Process ist ein subProzess von ** Process und ** ** Process ist ein fall von Combustion %n{nicht} und ** Object ist ein hilfmittel fuer ** ** Process %n{nicht} und ** Object ist ein fall von CigarOrCigarette %n{nicht} und ** Entity ist ein resultat von ** ** Process %n{nicht} und ** Entity ist ein patient von ** ** Process %n{nicht} und ** ** Process ist ein fall von Breathing %n{nicht} und ** ** Process ist ein subProzess von ** 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	Wenn Policy ist ein fall von NoSmokingPolicy %n{nicht} und policyLocationCoverage Policy and Object und policyOwner Organization and Policy, dann deprivesNorm Organization, es gibt entity um entity ist ein fall von Smoking %n{nicht} und ** entity befindet sich an %n{nicht} and 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	Wenn Policy ist ein fall von SmokingAllowedPolicy %n{nicht} und policyLocationCoverage Policy and Object und policyOwner Organization and Policy, dann confersNorm Organization, es gibt entity um entity ist ein fall von Smoking %n{nicht} und ** entity befindet sich an %n{nicht} and 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	Wenn Policy ist ein fall von SmokingPolicy %n{nicht} und policyLocationCoverage Policy and Object, dann Policy enthaelt Informationen ueber die Aussage es gibt entity um entity ist ein fall von Smoking %n{nicht} und entity befindet sich an %n{nicht} hat die modale Kraft von Permission oder Policy enthaelt Informationen ueber die Aussage es gibt entity um entity ist ein fall von Smoking %n{nicht} und entity befindet sich an %n{nicht} hat die modale Kraft von Prohibition
(=> (instance ?D SmokingDevice) (hasPurpose ?D (exists (?S) (and (instance ?S Smoking) (instrument ?S ?D)))))	Mid-level-ontology.kif 2005-2011	Wenn Physical ist ein fall von SmokingDevice %n{nicht}, dann Physical hat Zweck von es gibt entity um entity ist ein fall von Smoking %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} %n{nicht}

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: