Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
CigarOrCigarette(cigar or cigarette)
|  | butt, cigar, cigar_butt, cigaret, cigarette, claro, coffin_nail, cubeb, cubeb_cigarette, fag, filter-tipped_cigarette, panatela, panetela, panetella, roll_of_tobacco, smoke, stogie, stogy |
| appearance as argument number 1 |
|
|
| (subclass CigarOrCigarette SmokingDevice) | Mid-level-ontology.kif 2837-2837 | Cigar or cigarette is a subclass of smoking device |
| (documentation CigarOrCigarette EnglishLanguage "A tube of thin paper containing finely ground tobacco that is smoked.") | Mid-level-ontology.kif 2838-2839 | Cigar or cigarette is a subclass of smoking device |
| (externalImage CigarOrCigarette "http://upload.wikimedia.org/wikipedia/commons/ thumb/ d/ da/ Cigaret_tobacco.JPG/ 200px_Cigaret_tobacco.JPG") | pictureList.kif 1296-1296 | Cigar or cigarette is a subclass of smoking device |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?C CigarOrCigarette) (exists (?T) (and (instance ?T Tobacco) (part ?T ?C)))) |
Mid-level-ontology.kif 2840-2845 | If X is an instance of cigar or cigarette, then there exists Y such that Y is an instance of tobacco and Y is a part of X |
| 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 17679-17690 | If X is an instance of smoking, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is a subprocess of X (3) Y is an instance of burning (4) Z is a resource for Y (5) Z is an instance of cigar or cigarette (6) V is a result of Y (7) V is a patient of W (8) W is an instance of breathing (9) W is a subprocess of X |
|