Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Functioning(functioning) |  | function, functional, functioning, go, operate, operative, run, running, up, work, working |
| appearance as argument number 1 |
|
|
| s__instance(s__Functioning,s__DeviceAttribute)
|
Mid-level-ontology.kif 2414-2414 | Functioning is an instance of device attribute |
| s__contraryAttribute(s__Functioning,s__Malfunctioning)
|
Mid-level-ontology.kif 2415-2415 | Functioning is the opposite of malfunctioning |
| s__documentation(s__Functioning, s__EnglishLanguage, "Indicates that a Device is performing its intended function_") | Mid-level-ontology.kif 2416-2417 | Functioning is the opposite of malfunctioning |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| ! [V__DEVICE : $i,V__PROP : $i] : (((s__attribute(V__DEVICE, s__Functioning) & s__hasPurpose(V__DEVICE, V__PROP)) => s__truth(V__PROP, '$true__m'))) | Mid-level-ontology.kif 2419-2423 | If functioning is an attribute of X and X has the purpose Y, then Y is true |
|