Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| TelephoneSystem(telephone system) |  | phone_system, telephone_system |
| appearance as argument number 1 |
|
|
| (subclass TelephoneSystem CommunicationSystem) | Communications.kif 32-32 | Telephone system is a subclass of communication system |
| (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 | Telephone system is a subclass of communication system |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?SYSTEM TelephoneSystem) (exists (?PHONE) (and (instance ?PHONE Telephone) (engineeringSubcomponent ?PHONE ?SYSTEM)))) |
Communications.kif 40-45 | If X is an instance of telephone system, then there exists Y such that Y is an instance of telephone and Y is a component of X |
| (=> (instance ?SYSTEM TelephoneSystem) (exists (?LINE) (and (instance ?LINE MainTelephoneLine) (engineeringSubcomponent ?LINE ?SYSTEM)))) |
Communications.kif 52-57 | 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 |
| consequent |
|
|
| (=> (instance ?X TelephoneCradle) (hasPurpose ?X (exists (?SYS ?WIRE) (and (instance ?SYS TelephoneSystem) (instance ?WIRE WireLine) (connectsEngineeringComponents ?WIRE ?X ?SYS))))) |
Communications.kif 64-71 | If X is an instance of telephone cradle, then X has the purpose there exist Y, Z such that Y is an instance of telephone system, Z is an instance of wire line, Z connects X, and Y |
| (=> (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 166-181 | If X is an instance of telex, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of telephone system (3) Z is an instance of telex (4) W is an instance of messaging (5) W originates at X (6) W ends up at Z or W originates at Z (7) W ends up at X (8) Y is path along which W occurs |
|