Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| NonRepairable(non repairable) |
| appearance as argument number 1 |
|
| (instance NonRepairable ArtifactAttribute) | Mid-level-ontology.kif 8065-8065 | Non repairable is an instance of artifact attribute |
| (documentation NonRepairable EnglishLanguage "NonRepairable is an Attribute used to describe an Artifact that cannot be desginated for &Repairing.") | Mid-level-ontology.kif 8066-8067 | Non repairable is an instance of artifact attribute |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept Repairable NonRepairable) | Mid-level-ontology.kif 8054-8054 | Repairable is internally related to non repairable |
| (termFormat EnglishLanguage NonRepairable "non repairable") | domainEnglishFormat.kif 65904-65904 | Repairable is internally related to non repairable |
| antecedent |
|
|
| (=> (and (instance ?A Artifact) (attribute ?A NonRepairable)) (not (exists (?R) (and (instance ?R Repairing) (patient ?R ?A))))) |
Mid-level-ontology.kif 8069-8077 | If X is an instance of artifact and non repairable is an attribute of X, then there doesn't exist Y such that Y is an instance of repairing and X is a patient of Y |
| (=> (and (equal (MeasureFn ?X HourDuration) (TimeToFailureFn ?D)) (attribute ?D NonRepairable) (deviceFailTime ?D ?F) (deviceUpTime ?D ?U) (earlier ?U ?F)) (duration (TimeIntervalFn (BeginFn ?U) (BeginFn ?F)) (MeasureFn ?X HourDuration))) |
Mid-level-ontology.kif 34586-34599 | If equal X hour duration(s) and The time to failure of Y is HourDuration, non repairable is an attribute of Y, device Y is in a failure state during TimeInterval Z, Device Y is in operation during TimeInterval W, and W happens earlier than Z, then duration of interval between the beginning of W and the beginning of Z is X hour duration(s) |
|