|
|
   TDDPhone
|
|
|
| appearance as argument number 1 |
|
|
| (documentation TDDPhone EnglishLanguage "TDDPhone, which stands for Telecommunications Device for the Deaf, describes a Telephone that is designed so that Deaf people can use it") | Mid-level-ontology.kif 26311-26313 | |
| (subclass TDDPhone Telephone) | Mid-level-ontology.kif 26310-26310 | TDDPhone 是 电话 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage TDDPhone "TDD phone") | domainEnglishFormat.kif 65575-65575 |
| antecedent |
|
|
| (=> (instance ?TDD TDDPhone) (hasPurpose ?TDD (exists (?AGENT ?PHONING) (and (instance ?PHONING Telephoning) (instrument ?PHONING ?TDD) (agent ?PHONING ?AGENT) (attribute ?AGENT Deaf))))) |
Mid-level-ontology.kif 26315-26323 |
|
|
|