TreeView Knowledge Base Browser

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

(termFormat EnglishLanguage Functioning "functioning")	domainEnglishFormat.kif 25204-25204
(termFormat ChineseTraditionalLanguage Functioning "功能")	domainEnglishFormat.kif 25205-25205
(termFormat ChineseLanguage Functioning "功能")	domainEnglishFormat.kif 25206-25206

antecedent

(=>
    (and
        (attribute ?DEVICE Functioning)
        (hasPurpose ?DEVICE ?PROP))
    (truth ?PROP True))

If functioning is an attribute of X and X has the purpose Y, then Y is true