Repairing - Sigma Knowledge base Browser

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, reparation, repoint...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3147-3148
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12360-12362
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12359-12359	Repairing is internally related to maintaining
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12358-12358	Repairing is a subclass of intentional process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12406-12406	Damaging is disjoint from repairing
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12374-12374	Therapeutic process is a subclass of repairing
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1157-1157	Therapeutic process is a subclass of repairing
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1531-1531	Therapeutic process is a subclass of repairing
No TPTP formula. May not be expressible in strict first order.	french_format.kif 835-835	Therapeutic process is a subclass of repairing
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 367-367	Therapeutic process is a subclass of repairing
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 370-370	Therapeutic process is a subclass of repairing
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2519-2519	Therapeutic process is a subclass of repairing
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 787-787	Therapeutic process is a subclass of repairing
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 372-372	Therapeutic process is a subclass of repairing
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 406-406	Therapeutic process is a subclass of repairing
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 665-665	Therapeutic process is a subclass of repairing
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 856-856	Therapeutic process is a subclass of repairing
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 371-371	Therapeutic process is a subclass of repairing

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 12364-12372

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7933-7941	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7920-7927	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31123-31134	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31095-31107	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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 750-760	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