| FixedPhone | |
| appearance as argument number 1 |
|
|
| (documentation FixedPhone EnglishLanguage "An instance of FixedPhone is a Telephone that must be connected to the telephone network via a cord.") | Mid-level-ontology.kif 25114-25116 | |
| (subclass FixedPhone Telephone) | Mid-level-ontology.kif 25117-25117 |
| appearance as argument number 2 |
|
|
| (subclass CordedTelephone FixedPhone) | Communications.kif 73-73 | |
| (subclass CordlessTelephone FixedPhone) | Communications.kif 89-89 | |
| (termFormat EnglishLanguage FixedPhone "fixed phone") | domainEnglishFormat.kif 64872-64872 |
|
|
|