Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| TelephoneHandset(telephone handset) |  | French_telephone, handset |
| appearance as argument number 1 |
|
|
| (subclass TelephoneHandset Device) | Mid-level-ontology.kif 29035-29035 | Telephone handset is a subclass of device |
| (documentation TelephoneHandset EnglishLanguage "TelephoneHandset is the part of the Telephone that has a Earphone and a Microphone for the transmission and reception of sound") | Mid-level-ontology.kif 29036-29038 | Telephone handset is a subclass of device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage TelephoneHandset "telephone handset") | Mid-level-ontology.kif 29039-29039 |
| antecedent |
|
|
| (=> (instance ?X TelephoneHandset) (exists (?EARPHONE ?MIC) (and (instance ?EARPHONE Earphone) (instance ?MIC Microphone) (part ?EARPHONE ?X) (part ?MIC ?X)))) |
Mid-level-ontology.kif 29041-29048 | If X is an instance of telephone handset, then there exist Y, Z such that Y is an instance of earphone, Z is an instance of microphone, Y is a part of X, and Z is a part of X |
| consequent |
|
|
| (=> (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 |
| (=> (instance ?X CordlessTelephone) (exists (?HANDSET ?CRADLE) (and (instance ?HANDSET TelephoneHandset) (instance ?CRADLE TelephoneCradle) (part ?HANDSET ?X) (part ?CRADLE ?X) (not (exists (?WIRE) (and (instance ?WIRE WireLine) (connectsEngineeringComponents ?WIRE ?HANDSET ?CRADLE))))))) |
Communications.kif 95-107 | If X is an instance of cordless telephone, then All of the following hold: (1) there exist Y (2) Z 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) there doesn't exist W such that W is an instance of wire line (7) W connects Y (8) Z |
|