MainTelephoneLine
|
|
appearance as argument number 1 |
(documentation MainTelephoneLine EnglishLanguage "A MainTelephoneLine is one engineeringSubcomponent of a TelephoneSystem used for voice communication or computer data transfer.") | Communications.kif 49-51 | |
(subclass MainTelephoneLine CommunicationDevice) | Communications.kif 47-47 | MainTelephoneLine è una sottoclasse di CommunicationDevice |
appearance as argument number 2 |
(termFormat ChineseLanguage MainTelephoneLine "主要电话线") | domainEnglishFormat.kif 35681-35681 | |
(termFormat ChineseTraditionalLanguage MainTelephoneLine "主要電話線") | domainEnglishFormat.kif 35680-35680 | |
(termFormat EnglishLanguage MainTelephoneLine "main telephone line") | domainEnglishFormat.kif 35679-35679 |
consequent |
(=> (instance ?SYSTEM TelephoneSystem) (exists (?LINE) (and (instance ?LINE MainTelephoneLine) (engineeringSubcomponent ?LINE ?SYSTEM)))) |
Communications.kif 52-57 |
|