| 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 12271-12273 | |
| (relatedInternalConcept Repairing Maintaining) | Merge.kif 12270-12270 | |
| (subclass Repairing IntentionalProcess) | Merge.kif 12269-12269 |
| appearance as argument number 2 |
|
|
| (disjoint Damaging Repairing) | Merge.kif 12317-12317 | |
| (subclass TherapeuticProcess Repairing) | Merge.kif 12285-12285 | |
| (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 370-370 | |
| (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 12275-12283 |
| consequent |
|
|
| (=> (and (instance ?A Artifact) (attribute ?A NonRepairable)) (not (exists (?R) (and (instance ?R Repairing) (patient ?R ?A))))) |
Mid-level-ontology.kif 6971-6979 | |
| (=> (and (instance ?A Artifact) (attribute ?A Repairable)) (exists (?R) (and (instance ?R Repairing) (patient ?R ?A)))) |
Mid-level-ontology.kif 6958-6965 | |
| (=> (attribute ?D DeviceDamaged) (exists (?DAM) (and (instance ?DAM Damaging) (patient ?DAM ?D) (not (exists (?R) (and (instance ?R Repairing) (patient ?R ?D) (earlier (WhenFn ?DAM) (WhenFn ?R)))))))) |
Mid-level-ontology.kif 29729-29740 | |
| (=> (attribute ?D DeviceNormal) (not (exists (?DAM) (and (instance ?DAM Damaging) (patient ?DAM ?D) (not (exists (?R) (and (instance ?R Repairing) (patient ?R ?D) (earlier (WhenFn ?DAM) (WhenFn ?R))))))))) |
Mid-level-ontology.kif 29701-29713 | |
| (=> (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 |
|
|
|