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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Repairing
Repairing(Riparare)

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 Riparare è interamente correlato a Mantenere
(subclass Repairing IntentionalProcess) Merge.kif 12269-12269 Riparare è una sottoclasse di ProcessoIntenzionale

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


(disjoint Damaging Repairing) Merge.kif 12317-12317 Danneggiare è disgiunto da Riparare
(subclass TherapeuticProcess Repairing) Merge.kif 12285-12285 ProcessoTerapeutico è una sottoclasse di Riparare
(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
-------------------------


(=>
    (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 29496-29507
(=>
    (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 29468-29480
(=>
    (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 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 3.0 is open source software produced by Articulate Software and its partners