| 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 12118-12120 | |
| (relatedInternalConcept Repairing Maintaining) | Merge.kif 12117-12117 | |
| (subclass Repairing IntentionalProcess) | Merge.kif 12116-12116 |
| appearance as argument number 2 |
|
|
| (disjoint Damaging Repairing) | Merge.kif 12164-12164 | |
| (subclass TherapeuticProcess Repairing) | Merge.kif 12132-12132 | |
| (termFormat ChineseLanguage Repairing "修理") | chinese_format.kif 1157-1157 | |
| (termFormat EnglishLanguage Repairing "repairing") | english_format.kif 1531-1531 | |
| (termFormat FrenchLanguage Repairing "r�parer") | french_format.kif 835-835 | |
| (termFormat Hindi Repairing "marammata") | terms-hindi.txt 367-367 | |
| (termFormat ItalianLanguage Repairing "Riparare") | terms-it.txt 368-368 | |
| (termFormat JapaneseLanguage Repairing "修理") | japanese_format.kif 2519-2519 | |
| (termFormat PortugueseLanguage Repairing "Consertar") | portuguese_format.kif 787-787 | |
| (termFormat cb Repairing "pag-ayo") | terms-cb.txt 372-372 | |
| (termFormat cz Repairing "repairing") | terms-cz.txt 406-406 | |
| (termFormat ro Repairing "reparare") | relations-ro.kif 856-856 | |
| (termFormat tg Repairing "pagsasaayos") | terms-tg.txt 371-371 |
| antecedent |
|
|
| (=> (and (instance ?REPAIR Repairing) (patient ?REPAIR ?OBJ)) (exists (?DAMAGE) (and (instance ?DAMAGE Damaging) (patient ?DAMAGE ?OBJ) (earlier (WhenFn ?DAMAGE) (WhenFn ?REPAIR))))) |
Merge.kif 12122-12130 |
| 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 |
|
|
|