Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Clean(clean) |  | clean, dry-cleaned, fresh, immaculate, neat, orderly, pristine, scrubbed, speckless, spic, spic-and-span, spick, spick-and-span, spotless, uncontaminated, unpolluted, unsoiled, unspotted, unstained, washed, water-washed |
| appearance as argument number 1 |
|
|
| (instance Clean SubjectiveAssessmentAttribute) | Mid-level-ontology.kif 27857-27857 | Clean is an instance of subjective assessment attribute |
| (documentation Clean EnglishLanguage "Clean describes how something is free from dirt or impurities") | Mid-level-ontology.kif 27858-27859 | Clean is an instance of subjective assessment attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Clean "clean") | Mid-level-ontology.kif 27860-27860 | |
| (contraryAttribute Dirty Clean) | Mid-level-ontology.kif 27875-27875 | Dirty is the opposite of clean |
| antecedent |
|
|
| (=> (attribute ?X Clean) (instance ?X Object)) |
Mid-level-ontology.kif 27867-27869 | If clean is an attribute of X, then X is an instance of object |
| consequent |
|
|
| (=> (instance ?X Cleaning) (exists (?OBJ) (and (patient ?X ?OBJ) (holdsDuring (EndFn (WhenFn ?X)) (attribute ?OBJ Clean))))) |
Mid-level-ontology.kif 6674-6681 | If X is an instance of cleaning, then there exists Y such that Y is a patient of X and clean is an attribute of Y holds during the end of the time of existence of X |
| (=> (instance ?SVC LaundryService) (exists (?CLOTHES ?WASH ?DRY ?IRON) (and (instance ?CLOTHES Clothing) (patient ?SVC ?CLOTHES) (subProcess ?WASH ?SVC) (instance ?WASH Washing) (patient ?WASH ?CLOTHES) (holdsDuring (ImmediateFutureFn (WhenFn ?WASH)) (attribute ?CLOTHES Clean)) (subProcess ?DRY ?SVC) (instance ?DRY Drying) (patient ?DRY ?CLOTHES) (instance ?IRON Ironing) (subProcess ?IRON ?SVC) (patient ?IRON ?CLOTHES) (before (BeginFn (WhenFn ?WASH)) (BeginFn (WhenFn ?DRY))) (before (BeginFn (WhenFn ?DRY)) (BeginFn (WhenFn ?IRON)))))) |
Hotel.kif 1796-1816 | If X is an instance of laundry service, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of clothing (3) Y is a patient of X (4) Z is a subprocess of X (5) Z is an instance of washing (6) Y is a patient of Z (7) clean is an attribute of Y holds during immediately after the time of existence of Z (8) W is a subprocess of X (9) W is an instance of drying (10) Y is a patient of W (11) V is an instance of ironing (12) V is a subprocess of X (13) Y is a patient of V (14) the beginning of the time of existence of Z happens before the beginning of the time of existence of W (15) the beginning of the time of existence of W happens before the beginning of the time of existence of V |
| (=> (instance ?SVC DryCleaningService) (exists (?CLOTHES ?WATER ?CHEM) (and (instance ?CLOTHES Clothing) (not (instrument ?SVC ?WATER)) (instance ?WATER Water) (instance ?CHEM ChemicalProduct) (instrument ?SVC ?CHEM) (patient ?SVC ?CLOTHES) (holdsDuring (ImmediateFutureFn (WhenFn ?SVC)) (attribute ?CLOTHES Clean))))) |
Hotel.kif 1823-1836 | If X is an instance of dry-clean, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of clothing (3) Z is not an instrument for X (4) Z is an instance of water (5) W is an instance of chemical product (6) W is an instrument for X (7) Y is a patient of X (8) clean is an attribute of Y holds during immediately after the time of existence of X |
| (=> (instance ?DEVICE WaterPurifier) (hasPurpose ?DEVICE (exists (?WATER ?PROCESS) (and (instance ?WATER Water) (instance ?PROCESS Process) (patient ?PROCESS ?WATER) (holdsDuring (EndFn (WhenFn ?PROCESS)) (attribute ?WATER Clean)))))) |
HouseholdAppliances.kif 999-1010 | If X is an instance of water purifier, then X has the purpose there exist Y, Z such that Y is an instance of water, Z is an instance of process, Y is a patient of Z, and clean is an attribute of Y holds during the end of the time of existence of Z |
|