Bidet
|
|
appearance as argument number 1 |
(documentation Bidet EnglishLanguage "Bidet is a WashingDevice intended for washing genitals and the anal area while on the toilet") | Mid-level-ontology.kif 2178-2179 | |
(subclass Bidet WashingDevice) | Mid-level-ontology.kif 2177-2177 | Bidet は WashingDevice の subclass では %n |
appearance as argument number 2 |
(termFormat EnglishLanguage Bidet "bidet") | Mid-level-ontology.kif 2180-2180 |
antecedent |
(=> (instance ?X Bidet) (hasPurpose ?X (exists (?PROC ?WASH ?PART) (and (or (instance ?PROC Defecation) (instance ?PROC Urination)) (instrument ?PROC ?PART) (instance ?WASH Washing) (objectTransferred ?WASH ?PART) (instrument ?WASH ?X) (before (BeginFn (WhenFn ?PROC)) (BeginFn (WhenFn ?WASH))))))) |
Mid-level-ontology.kif 2182-2196 |
|