TreeView 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 e' uma sub-classe de Recreacao ou Exercicio

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

Processo e' uma instancia de Smoking
Processo Objeto, Processo and Entidade Processo e' um sub-processo de Processo Processo e' uma instancia de Combustao Objeto e' um recurso para Processo Objeto e' uma instancia de CigarOrCigarette Entidade e' o resultado de Processo Entidade e' um patient de Processo Processo e' uma instancia de Respirar Processo e' um sub-processo de Processo

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	Policy e' uma instancia de NoSmokingPolicy policyLocationCoverage Policy and Objeto policyOwner Organizacao and Policy deprivesNorm Organizacao, Entidade Entidade e' uma instancia de Smoking Entidade e' situado em Objeto 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	Policy e' uma instancia de SmokingAllowedPolicy policyLocationCoverage Policy and Objeto policyOwner Organizacao and Policy confersNorm Organizacao, Entidade Entidade e' uma instancia de Smoking Entidade e' situado em Objeto 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	Policy e' uma instancia de SmokingPolicy policyLocationCoverage Policy and Objeto Policy contem informacao o argumento Entidade Entidade e' uma instancia de Smoking Entidade e' situado em Objeto tem a forca modal de Permission Policy contem informacao o argumento Entidade Entidade e' uma instancia de Smoking Entidade e' situado em Objeto tem a forca modal de Prohibition
(=> (instance ?D SmokingDevice) (hasPurpose ?D (exists (?S) (and (instance ?S Smoking) (instrument ?S ?D)))))	Mid-level-ontology.kif 2005-2011	Fisico e' uma instancia de SmokingDevice Fisico tem por fim Entidade Entidade e' uma instancia de Smoking Fisico e' um instrumento para Entidade

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: