Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Salvaging(salvaging) |
| appearance as argument number 1 |
|
| (subclass Salvaging Removing) | Mid-level-ontology.kif 19086-19086 | Salvaging is a subclass of removing |
| (documentation Salvaging EnglishLanguage "Salvaging is when you take a thing which has been damaged or no longer serves its purpose by recovering part of it that still has value.") | Mid-level-ontology.kif 19087-19088 | Salvaging is a subclass of removing |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Salvaging "salvaging") | Mid-level-ontology.kif 19089-19089 |
| antecedent |
|
|
| (=> (and (instance ?S Salvaging) (patient ?S ?A)) (or (attribute ?A ArtifactNotFitForPurpose) (attribute ?A DeviceDamaged))) |
Mid-level-ontology.kif 19091-19097 | If X is an instance of salvaging and Y is a patient of X, then artifact not fit for purpose is an attribute of Y or device damaged is an attribute of Y |
| (=> (and (instance ?A Artifact) (instance ?S Salvaging) (patient ?S ?A)) (exists (?P ?V) (and (result ?S ?P) (part ?P ?A) (monetaryValue ?P ?V)))) |
Mid-level-ontology.kif 19099-19108 | If X is an instance of artifact, Y is an instance of salvaging, and X is a patient of Y, then there exist Z, W such that Z is a result of Y, Z is a part of X, and value of Z is W |
|