Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CordedTelephone(corded telephone) |
| appearance as argument number 1 |
|
| (subclass CordedTelephone FixedPhone) | Communications.kif 73-73 | Corded telephone is a subclass of fixed phone |
| (documentation CordedTelephone EnglishLanguage "CordedTelephone is a type of FixedPhone whose TelephoneHandset is connected to its TelephoneCradle by a WireLine") | Communications.kif 74-75 | Corded telephone is a subclass of fixed phone |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CordedTelephone "corded telephone") | Communications.kif 76-76 |
| antecedent |
|
|
| (=> (instance ?X CordedTelephone) (exists (?HANDSET ?CRADLE ?WIRE) (and (instance ?HANDSET TelephoneHandset) (instance ?CRADLE TelephoneCradle) (part ?HANDSET ?X) (part ?CRADLE ?X) (instance ?WIRE WireLine) (connectsEngineeringComponents ?WIRE ?HANDSET ?CRADLE)))) |
Communications.kif 78-87 | If X is an instance of corded telephone, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of telephone handset (3) Z is an instance of telephone cradle (4) Y is a part of X (5) Z is a part of X (6) W is an instance of wire line (7) W connects Y (8) Z |
|