CigarOrCigarette - Sigma Knowledge base Browser

appearance as argument number 1

(documentation CigarOrCigarette EnglishLanguage "A tube of thin paper containing finely ground tobacco that is smoked.")	Mid-level-ontology.kif 2305-2306
(externalImage CigarOrCigarette "http://upload.wikimedia.org/wikipedia/commons/ thumb/ d/ da/ Cigaret_tobacco.JPG/ 200px_Cigaret_tobacco.JPG")	pictureList.kif 1296-1296
(subclass CigarOrCigarette SmokingDevice)	Mid-level-ontology.kif 2304-2304	Cigar or cigarette is a subclass of smoking device

appearance as argument number 2

(termFormat ChineseLanguage CigarOrCigarette "雪茄或香烟")	domainEnglishFormat.kif 14853-14853
(termFormat ChineseTraditionalLanguage CigarOrCigarette "雪茄或香煙")	domainEnglishFormat.kif 14852-14852
(termFormat EnglishLanguage CigarOrCigarette "cigar or cigarette")	domainEnglishFormat.kif 14851-14851

antecedent

(=>
    (instance ?C CigarOrCigarette)
    (exists (?T)
        (and
            (instance ?T Tobacco)
            (part ?T ?C))))

Mid-level-ontology.kif 2307-2312

If an object is an instance of cigar or cigarette,
then there exists another object such that the other object is an instance of tobacco and the other object is a part of the object

consequent

(=>
    (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 16999-17010

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 burning 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

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: