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 |
|
|
| (instance Functioning DeviceAttribute) | Mid-level-ontology.kif 2414-2414 | Functioning is an instance of device attribute |
| (contraryAttribute Functioning Malfunctioning) | Mid-level-ontology.kif 2415-2415 | Functioning is the opposite of malfunctioning |
| (documentation Functioning 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 |
|
|
| (=> (and (attribute ?DEVICE Functioning) (hasPurpose ?DEVICE ?PROP)) (truth ?PROP True)) |
Mid-level-ontology.kif 2419-2423 | If functioning is an attribute of X and X has the purpose Y, then Y is true |
|