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 2232-2233
(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 2231-2231	Cigar or cigarette is a subclass of smoking device

appearance as argument number 2

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

antecedent

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

Mid-level-ontology.kif 2234-2239

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 16289-16300

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: