Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Repairing(repairing) |  | amend, band_aid, bodywork, cannibalise, cannibalize, cobble, condition, darning, fix, fixing, fixture, freshen_up, gentrification, gentrify, heel, inspection_and_repair, interim_overhaul, mend, mending, modernise, modernize, overhaul, patch, patch_up, patched, patching, piece, point, quick_fix, quickie, quicky, re-establishment, recondition, reconstruct, rectify, redevelopment, redo, refit, refurbish, reheel, remediate, remedy, remodel, remold, remould, renovate, renovation, repair, reparation, repoint... |
| appearance as argument number 1 |
|
|
| (subclass Repairing IntentionalProcess) | Merge.kif 12509-12509 | Repairing is a subclass of intentional process |
| (relatedInternalConcept Repairing Maintaining) | Merge.kif 12510-12510 | Repairing is internally related to maintaining |
| (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 12511-12513 | Repairing is internally related to maintaining |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?REPAIR Repairing) (patient ?REPAIR ?OBJ)) (exists (?DAMAGE) (and (instance ?DAMAGE Damaging) (patient ?DAMAGE ?OBJ) (earlier (WhenFn ?DAMAGE) (WhenFn ?REPAIR))))) |
Merge.kif 12515-12523 | If X is an instance of repairing and Y is a patient of X, then there exists Z such that Z is an instance of damaging, Y is a patient of Z, and the time of existence of Z happens earlier than the time of existence of X |
| consequent |
|
|
| (=> (and (instance ?A Artifact) (attribute ?A Repairable)) (exists (?R) (and (instance ?R Repairing) (patient ?R ?A)))) |
Mid-level-ontology.kif 8056-8063 | If X is an instance of artifact and repairable is an attribute of X, then there exists Y such that Y is an instance of repairing and X is a patient of Y |
| (=> (and (instance ?A Artifact) (attribute ?A NonRepairable)) (not (exists (?R) (and (instance ?R Repairing) (patient ?R ?A))))) |
Mid-level-ontology.kif 8069-8077 | If X is an instance of artifact and non repairable is an attribute of X, then there doesn't exist Y such that Y is an instance of repairing and X is a patient of Y |
| (=> (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 32036-32048 | If device normal is an attribute of X, then there doesn't exist Y such that Y is an instance of damaging, X is a patient of Y, there doesn't exist Z such that Z is an instance of repairing, X is a patient of Z, and the time of existence of Y happens earlier than the time of existence of Z |
| (=> (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 32056-32067 | If device damaged is an attribute of X, then there exists Y such that Y is an instance of damaging, X is a patient of Y, there doesn't exist Z such that Z is an instance of repairing, X is a patient of Z, and the time of existence of Y happens earlier than the time of existence of Z |
| (=> (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 750-760 | If the last renovation of X was in Y, then there exist Z, W such that W is an instance of repairing, X is a patient of W, Z is an instance of Y, the end of the time of existence of W is between or at the beginning of Z, and the end of Z |
|