|
|
   Repairing
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Repairing ChineseLanguage "这是一组 Process 的 Class，当中 agent 对一个 未能按照预期操作的 Object 作出一处或者一系列的改动，使得它能正常操作。") | chinese_format.kif 3147-3148 | |
| (documentation Repairing EnglishLanguage "The Class of Processes where the agent makes a modification or series of modifications to an Object that is not functioning as intended so that it works properly.") | Merge.kif 12084-12086 | |
| (relatedInternalConcept Repairing Maintaining) | Merge.kif 12083-12083 | |
| (subclass Repairing IntentionalProcess) | Merge.kif 12082-12082 |
| appearance as argument number 2 |
|
|
| (disjoint Damaging Repairing) | Merge.kif 12130-12130 | |
| (subclass TherapeuticProcess Repairing) | Merge.kif 12098-12098 | |
| (termFormat ChineseLanguage Repairing "修理") | chinese_format.kif 1157-1157 | |
| (termFormat EnglishLanguage Repairing "repairing") | english_format.kif 1531-1531 |
| antecedent |
|
|
| (=> (and (instance ?REPAIR Repairing) (patient ?REPAIR ?OBJ)) (exists (?DAMAGE) (and (instance ?DAMAGE Damaging) (patient ?DAMAGE ?OBJ) (earlier (WhenFn ?DAMAGE) (WhenFn ?REPAIR))))) |
Merge.kif 12088-12096 |
| consequent |
|
|
| (=> (attribute ?D DeviceDamaged) (exists (?DAM) (and (instance ?DAM Damaging) (patient ?DAM ?D) (not (exists (?R) (and (instance ?R Repairing) (patient ?R ?D) (earlier ?D ?R))))))) |
Mid-level-ontology.kif 29361-29372 | |
| (=> (attribute ?D DeviceNormal) (not (exists (?DAM) (and (instance ?DAM Damaging) (patient ?DAM ?D) (not (exists (?R) (and (instance ?R Repairing) (patient ?R ?D) (earlier ?D ?R)))))))) |
Mid-level-ontology.kif 29333-29345 | |
| (=> (lastRenovation ?OBJ ?YEAR) (exists (?TIME ?REPAIR) (and (instance ?REPAIR Repairing) (patient ?REPAIR ?OBJ) (instance ?TIME ?YEAR) (temporallyBetweenOrEqual (BeginFn ?TIME) (EndFn (WhenFn ?REPAIR)) (EndFn ?TIME))))) |
Hotel.kif 746-756 |
|
|
|