Malfunctioning
|
|
appearance as argument number 1 |
(documentation Malfunctioning EnglishLanguage "Indicates that a Device is not performing its intended function.") | Mid-level-ontology.kif 1851-1852 | |
(instance Malfunctioning DeviceAttribute) | Mid-level-ontology.kif 1850-1850 | 例 故障 and 設備屬性 |
appearance as argument number 2 |
(contraryAttribute Functioning Malfunctioning) | Mid-level-ontology.kif 1840-1840 | 相反的屬性 功能 and 故障 |
(termFormat ChineseLanguage Malfunctioning "故障") | domainEnglishFormat.kif 35849-35849 | |
(termFormat ChineseTraditionalLanguage Malfunctioning "故障") | domainEnglishFormat.kif 35848-35848 | |
(termFormat EnglishLanguage Malfunctioning "malfunctioning") | domainEnglishFormat.kif 35847-35847 |
antecedent |
(=> (and (attribute ?DEVICE Malfunctioning) (hasPurpose ?DEVICE ?PROP)) (truth ?PROP False)) |
Mid-level-ontology.kif 1854-1858 |