TreeView Knowledge Base Browser - Repairing

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 12225-12227
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12224-12224	Repairing is internally related to maintaining
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12223-12223	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 12271-12271	Damaging is disjoint from repairing
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12239-12239	Therapeutic process is a subclass of repairing
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1157-1157
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1531-1531
No TPTP formula. May not be expressible in strict first order.	french_format.kif 835-835
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 367-367
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 370-370
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2519-2519
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 787-787
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 372-372
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 406-406
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 856-856
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 371-371

antecedent

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

Merge.kif 12229-12237

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 29445-29456	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 29417-29429	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 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 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