MainTelephoneLine - Sigma Knowledge base Browser

appearance as argument number 1

(subclass MainTelephoneLine CommunicationDevice)	Communications.kif 47-47	Main telephone line is a subclass of communication device
(documentation MainTelephoneLine EnglishLanguage "A MainTelephoneLine is one engineeringSubcomponent of a TelephoneSystem used for voice communication or computer data transfer.")	Communications.kif 49-51	Main telephone line is a subclass of communication device

appearance as argument number 2

(termFormat EnglishLanguage MainTelephoneLine "main telephone line")	Communications.kif 48-48
(termFormat ChineseTraditionalLanguage MainTelephoneLine "主要電話線")	domainEnglishFormat.kif 35682-35682
(termFormat ChineseLanguage MainTelephoneLine "主要电话线")	domainEnglishFormat.kif 35683-35683

consequent

(=>
    (instance ?SYSTEM TelephoneSystem)
    (exists (?LINE)
        (and
            (instance ?LINE MainTelephoneLine)
            (engineeringSubcomponent ?LINE ?SYSTEM))))

If X is an instance of telephone system, then there exists Y such that Y is an instance of main telephone line and Y is a component of X