| Malfunctioning | |
| appearance as argument number 1 |
|
|
| (documentation Malfunctioning EnglishLanguage "Indicates that a Device is not performing its intended function.") | Mid-level-ontology.kif 2314-2315 | |
| (instance Malfunctioning DeviceAttribute) | Mid-level-ontology.kif 2313-2313 |
| appearance as argument number 2 |
|
|
| (contraryAttribute Functioning Malfunctioning) | Mid-level-ontology.kif 2303-2303 | |
| (termFormat ChineseLanguage Malfunctioning "故障") | domainEnglishFormat.kif 35858-35858 | |
| (termFormat ChineseTraditionalLanguage Malfunctioning "故障") | domainEnglishFormat.kif 35857-35857 | |
| (termFormat EnglishLanguage Malfunctioning "malfunctioning") | domainEnglishFormat.kif 35856-35856 |
| antecedent |
|
|
| (=> (and (attribute ?DEVICE Malfunctioning) (hasPurpose ?DEVICE ?PROP)) (truth ?PROP False)) |
Mid-level-ontology.kif 2317-2321 |
|
|
|