|
|
   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 | 电话系统 是 通讯系统 的 subclass |
| 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 |
|
|
| (=> (instance ?TELEX Telex) (hasPurpose ?TELEX (exists (?SYS ?TELEX2 ?MSG) (and (instance ?SYS TelephoneSystem) (instance ?TELEX2 Telex) (instance ?MSG Messaging) (or (and (origin ?MSG ?TELEX) (destination ?MSG ?TELEX2)) (and (origin ?MSG ?TELEX2) (destination ?MSG ?TELEX))) (path ?MSG ?SYS))))) |
Communications.kif 185-200 | |
| (=> (instance ?X TelephoneCradle) (hasPurpose ?X (exists (?SYS ?WIRE) (and (instance ?SYS TelephoneSystem) (instance ?WIRE WireLine) (connectsEngineeringComponents ?WIRE ?X ?SYS))))) |
Communications.kif 64-71 |
|
|
|