Repairing - Sigma Knowledge base Browser

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	Repairing is internally related to maintaining
(subclass Repairing IntentionalProcess)	Merge.kif 12269-12269	Repairing is a subclass of intentional process

appearance as argument number 2

(disjoint Damaging Repairing)	Merge.kif 12317-12317	Damaging is disjoint from repairing
(subclass TherapeuticProcess Repairing)	Merge.kif 12285-12285	Therapeutic process is a subclass of repairing
(termFormat ChineseLanguage Repairing "修理")	chinese_format.kif 1157-1157	Therapeutic process is a subclass of repairing
(termFormat EnglishLanguage Repairing "repairing")	english_format.kif 1531-1531	Therapeutic process is a subclass of repairing
(termFormat FrenchLanguage Repairing "r�parer")	french_format.kif 835-835	Therapeutic process is a subclass of repairing
(termFormat Hindi Repairing "marammata")	terms-hindi.txt 367-367	Therapeutic process is a subclass of repairing
(termFormat ItalianLanguage Repairing "Riparare")	terms-it.txt 370-370	Therapeutic process is a subclass of repairing
(termFormat JapaneseLanguage Repairing "修理")	japanese_format.kif 2519-2519	Therapeutic process is a subclass of repairing
(termFormat PortugueseLanguage Repairing "Consertar")	portuguese_format.kif 787-787	Therapeutic process is a subclass of repairing
(termFormat cb Repairing "pag-ayo")	terms-cb.txt 372-372	Therapeutic process is a subclass of repairing
(termFormat cz Repairing "repairing")	terms-cz.txt 406-406	Therapeutic process is a subclass of repairing
(termFormat ro Repairing "reparare")	relations-ro.kif 856-856	Therapeutic process is a subclass of repairing
(termFormat tg Repairing "pagsasaayos")	terms-tg.txt 371-371	Therapeutic process is a subclass of repairing

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

If a process is an instance of repairing and an entity is a patient of the process,
then there exists another process such that the other process is an instance of damaging and the entity is a patient of the other process and the time of existence of the other process happens earlier than the time of existence of the process

consequent

(=> (and (instance ?A Artifact) (attribute ?A NonRepairable)) (not (exists (?R) (and (instance ?R Repairing) (patient ?R ?A)))))	Mid-level-ontology.kif 6971-6979	If an object is an instance of artifact and non repairable is an attribute of the object, then there doesn't exist a process such that the process is an instance of repairing and the object is a patient of the process
(=> (and (instance ?A Artifact) (attribute ?A Repairable)) (exists (?R) (and (instance ?R Repairing) (patient ?R ?A))))	Mid-level-ontology.kif 6958-6965	If an object is an instance of artifact and repairable is an attribute of the object, then there exists a process such that the process is an instance of repairing and the object is a patient of the process
(=> (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	If device damaged is an attribute of an object, then there exists the objectAM such that the objectAM is an instance of damaging and the object is a patient of the objectAM and there doesn't exist another process such that the other process is an instance of repairing and the object is a patient of the other process and the time of existence of the objectAM happens earlier than the time of existence of the other process
(=> (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	If device normal is an attribute of an object, then there doesn't exist the objectAM such that the objectAM is an instance of damaging and the object is a patient of the objectAM and there doesn't exist another process such that the other process is an instance of repairing and the object is a patient of the other process and the time of existence of the objectAM happens earlier than the time of existence of the other process
(=> (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	If the last renovation of an object was in a kind of year, then there exist a time interval and a process such that the process is an instance of repairing and the object is a patient of the process and the time interval is an instance of a kind of year and the end of the time of existence of the process is between or at the beginning of the time interval and the end of the time interval

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

KB Term:			Term intersection

English Word: