| 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 25057-25059 | |
| (subclass FixedPhone Telephone) | Mid-level-ontology.kif 25060-25060 | FixedPhone は Telephone の subclass では %n |
| appearance as argument number 2 |
|
|
| (subclass CordedTelephone FixedPhone) | Communications.kif 73-73 | CordedTelephone は FixedPhone の subclass では %n |
| (subclass CordlessTelephone FixedPhone) | Communications.kif 89-89 | CordlessTelephone は FixedPhone の subclass では %n |
| (termFormat EnglishLanguage FixedPhone "fixed phone") | domainEnglishFormat.kif 64870-64870 |
|
|
|