TreeView Knowledge Base Browser

appearance as argument number 1

(subclass WingDevice EngineeringComponent)	Mid-level-ontology.kif 1798-1798	Wing device is a subclass of engineering component
(documentation WingDevice EnglishLanguage "The wings of Aircraft, i.e. the parts of Aircraft that allow them to become and remain airborne.")	Mid-level-ontology.kif 1799-1800	Wing device is a subclass of engineering component

appearance as argument number 2

(termFormat EnglishLanguage WingDevice "wing device")	domainEnglishFormat.kif 63196-63196
(termFormat ChineseTraditionalLanguage WingDevice "翼裝置")	domainEnglishFormat.kif 63197-63197
(termFormat ChineseLanguage WingDevice "翼装置")	domainEnglishFormat.kif 63198-63198

antecedent

(=>
    (instance ?W WingDevice)
    (exists (?A)
        (and
            (instance ?A Aircraft)
            (part ?W ?A))))

If X is an instance of wing device, then there exists Y such that Y is an instance of aircraft and X is a part of Y