Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Repairing
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, repairing, reparation...

VerbNet: butter-9.9|heel, butter-9.9|patch, butter-9.9|patch, butter-9.9|heel, butter-9.9|sole, butter-9.9|sole,


appearance as argument number 1
-------------------------


(documentation Repairing ChineseLanguage "这是一组 ProcessClass,当中 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 11237-11239
(relatedInternalConcept Repairing Maintaining) Merge.kif 11236-11236 Repairing is internally related to maintaining
(subclass Repairing IntentionalProcess) Merge.kif 11235-11235 Repairing is a subclass of intentional process

appearance as argument number 2
-------------------------


(disjoint Damaging Repairing) Merge.kif 11283-11283 Damaging is disjoint from repairing
(subclass TherapeuticProcess Repairing) Merge.kif 11251-11251 Therapeutic process is a subclass of repairing
(termFormat ChineseLanguage Repairing "修理") chinese_format.kif 1157-1157 "修理" is the printable form of repairing in ChineseLanguage
(termFormat EnglishLanguage Repairing "repairing") english_format.kif 1536-1536 "repairing" is the printable form of repairing in english language

antecedent
-------------------------


(=>
    (and
        (instance ?REPAIR Repairing)
        (patient ?REPAIR ?OBJ))
    (exists (?DAMAGE)
        (and
            (instance ?DAMAGE Damaging)
            (patient ?DAMAGE ?OBJ)
            (earlier
                (WhenFn ?DAMAGE)
                (WhenFn ?REPAIR)))))
Merge.kif 11241-11249

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 27586-27597
(=>
    (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 27558-27570
(=>
    (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 719-729


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners