| FixedPhone(fixed phone) | | desk_phone, dial_phone, dial_telephone |
| 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 25345-25347 | |
| (subclass FixedPhone Telephone) | Mid-level-ontology.kif 25348-25348 | Fixed phone is a subclass of telephone |
| appearance as argument number 2 |
|
|
| (subclass CordedTelephone FixedPhone) | Communications.kif 73-73 | Corded telephone is a subclass of fixed phone |
| (subclass CordlessTelephone FixedPhone) | Communications.kif 89-89 | Cordless telephone is a subclass of fixed phone |
| (termFormat EnglishLanguage FixedPhone "fixed phone") | domainEnglishFormat.kif 64918-64918 | Cordless telephone is a subclass of fixed phone |
|
|
|