TreeView Knowledge Base Browser

appearance as argument number 1

(instance Malfunctioning DeviceAttribute)	Mid-level-ontology.kif 2425-2425	Malfunctioning is an instance of device attribute
(documentation Malfunctioning EnglishLanguage "Indicates that a Device is not performing its intended function.")	Mid-level-ontology.kif 2426-2427	Malfunctioning is an instance of device attribute

appearance as argument number 2

(contraryAttribute Functioning Malfunctioning)	Mid-level-ontology.kif 2415-2415	Functioning is the opposite of malfunctioning
(termFormat EnglishLanguage Malfunctioning "malfunctioning")	domainEnglishFormat.kif 35849-35849	Functioning is the opposite of malfunctioning
(termFormat ChineseTraditionalLanguage Malfunctioning "故障")	domainEnglishFormat.kif 35850-35850	Functioning is the opposite of malfunctioning
(termFormat ChineseLanguage Malfunctioning "故障")	domainEnglishFormat.kif 35851-35851	Functioning is the opposite of malfunctioning

antecedent

(=>
    (and
        (attribute ?DEVICE Malfunctioning)
        (hasPurpose ?DEVICE ?PROP))
    (truth ?PROP False))

If malfunctioning is an attribute of X and X has the purpose Y, then Y is false