Malfunctioning | ![]() |
appearance as argument number 1 |
![]() |
(documentation Malfunctioning EnglishLanguage "Indicates that a Device is not performing its intended function.") | Mid-level-ontology.kif 2281-2282 | |
(instance Malfunctioning DeviceAttribute) | Mid-level-ontology.kif 2280-2280 |
appearance as argument number 2 |
![]() |
(contraryAttribute Functioning Malfunctioning) | Mid-level-ontology.kif 2270-2270 | |
(termFormat ChineseLanguage Malfunctioning "故障") | domainEnglishFormat.kif 35773-35773 | |
(termFormat ChineseTraditionalLanguage Malfunctioning "故障") | domainEnglishFormat.kif 35772-35772 | |
(termFormat EnglishLanguage Malfunctioning "malfunctioning") | domainEnglishFormat.kif 35771-35771 |
antecedent |
![]() |
(=> (and (attribute ?DEVICE Malfunctioning) (hasPurpose ?DEVICE ?PROP)) (truth ?PROP False)) |
Mid-level-ontology.kif 2284-2288 |
![]() |
![]() |