TelephoneSystem |
appearance as argument number 1 |
(documentation TelephoneSystem EnglishLanguage "A TelephoneSystem consists of a complete interconnection of Telephones, MainTelephoneLines, and other components that work together to make telephonic communication possible from point to point in a given area.") | Communications.kif 33-36 | |
(subclass TelephoneSystem CommunicationSystem) | Communications.kif 32-32 | TelephoneSystem è una sottoclasse di CommunicationSystem |
appearance as argument number 2 |
(termFormat ChineseLanguage TelephoneSystem "电话系统") | domainEnglishFormat.kif 57328-57328 | |
(termFormat ChineseTraditionalLanguage TelephoneSystem "電話系統") | domainEnglishFormat.kif 57327-57327 | |
(termFormat EnglishLanguage TelephoneSystem "telephone system") | domainEnglishFormat.kif 57326-57326 |
antecedent |
(=> (instance ?SYSTEM TelephoneSystem) (exists (?LINE) (and (instance ?LINE MainTelephoneLine) (engineeringSubcomponent ?LINE ?SYSTEM)))) |
Communications.kif 52-57 |
|
(=> (instance ?SYSTEM TelephoneSystem) (exists (?PHONE) (and (instance ?PHONE Telephone) (engineeringSubcomponent ?PHONE ?SYSTEM)))) |
Communications.kif 40-45 |
|
consequent |