Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Repairable(repairable) |
| appearance as argument number 1 |
|
| (instance Repairable ArtifactAttribute) | Mid-level-ontology.kif 8051-8051 | Repairable is an instance of artifact attribute |
| (documentation Repairable EnglishLanguage "Repairable is an Attribute used to describe an Artifact that can be designated for Repairing.") | Mid-level-ontology.kif 8052-8053 | Repairable is an instance of artifact attribute |
| (relatedInternalConcept Repairable NonRepairable) | Mid-level-ontology.kif 8054-8054 | Repairable is internally related to non repairable |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Repairable "repairable") | domainEnglishFormat.kif 65952-65952 |
| antecedent |
|
|
| (=> (and (instance ?A Artifact) (attribute ?A Repairable)) (exists (?R) (and (instance ?R Repairing) (patient ?R ?A)))) |
Mid-level-ontology.kif 8056-8063 | If X is an instance of artifact and repairable is an attribute of X, then there exists Y such that Y is an instance of repairing and X is a patient of Y |
| (=> (and (instance ?D Device) (deviceFailTime ?D ?FAIL) (duration ?FAIL (MeasureFn ?X HourDuration)) (attribute ?D Repairable) (inList (MeasureFn ?X HourDuration) ?L)) (equal ?L (DeviceFailTimeDurationListFn ?D))) |
Mid-level-ontology.kif 34458-34467 | If X is an instance of device, device X is in a failure state during TimeInterval Y, duration of Y is Z hour duration(s), repairable is an attribute of X, and Z hour duration(s) is a member of W, then equal W and The List of deviceFailTime duration for X is |
| consequent |
|
|
| (=> (equal (MeasureFn ?X HourDuration) (MTTRepairInstanceFn ?D)) (attribute ?D Repairable)) |
Mid-level-ontology.kif 34638-34642 | If equal X hour duration(s) and The time to repair of Y is HourDuration, then repairable is an attribute of Y |
|