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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Repairing

Sigma KEE - Repairing
Repairing

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 12087-12089
(relatedInternalConcept Repairing Maintaining) Merge.kif 12086-12086
(subclass Repairing IntentionalProcess) Merge.kif 12085-12085

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


(disjoint Damaging Repairing) Merge.kif 12133-12133
(subclass TherapeuticProcess Repairing) Merge.kif 12101-12101
(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 12091-12099

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 29360-29371
(=>
    (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 29332-29344
(=>
    (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


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners