Telephone(telephone)![]() | ![]() | extension, extension_phone, pay-phone, pay-station, phone, radiophone, radiotelephone, speakerphone, telephone, telephone_extension, telephone_set, wireless_telephone |
appearance as argument number 1 |
![]() |
(documentation Telephone EnglishLanguage "A Telephone is a CommunicationDevice that enables LinguisticCommunication between nodes in a TelephoneSystem by converting sound into electrical signals that are then transmitted. When the signals are received, they are converted back into sound.") | Mid-level-ontology.kif 2946-2950 | |
(externalImage Telephone "http://articulatesoftware.com/SUMOpictures/signs_symbol/ BW/ BW_4/ telephone_1.png") | pictureList.kif 774-774 | |
(subclass Telephone CommunicationDevice) | Mid-level-ontology.kif 2945-2945 | Telephone is a subclass of communication device |
(subclass Telephone ElectricDevice) | Mid-level-ontology.kif 2944-2944 | Telephone is a subclass of electric device |
(subclass Telephone TelephonyDevice) | Mid-level-ontology.kif 24927-24927 | Telephone is a subclass of telephony device |
appearance as argument number 2 |
![]() |
(subclass FixedPhone Telephone) | Mid-level-ontology.kif 25413-25413 | Fixed phone is a subclass of telephone |
(subclass MobileCellPhone Telephone) | Mid-level-ontology.kif 25416-25416 | Mobile cell phone is a subclass of telephone |
(subclass SatellitePhone Telephone) | Mid-level-ontology.kif 25423-25423 | Satellite phone is a subclass of telephone |
(subclass TDDPhone Telephone) | Mid-level-ontology.kif 26606-26606 | TDD phone is a subclass of telephone |
(termFormat ChineseLanguage Telephone "电话") | domainEnglishFormat.kif 57322-57322 | TDD phone is a subclass of telephone |
(termFormat ChineseTraditionalLanguage Telephone "電話") | domainEnglishFormat.kif 57321-57321 | TDD phone is a subclass of telephone |
(termFormat EnglishLanguage Telephone "telephone") | domainEnglishFormat.kif 57320-57320 | TDD phone is a subclass of telephone |
appearance as argument number 3 |
![]() |
(domain phoneNumber 2 Telephone) | FinancialOntology.kif 3681-3681 | The number 2 argument of phone number is an instance of telephone |
antecedent |
![]() |
(=> (and (instance ?DEVICE Telephone) (holdsDuring ?TIME (and (possesses ?AGENT ?DEVICE) (deviceTelecomNumber ?NUMBER ?DEVICE)))) (holdsDuring ?TIME (telephoneNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 25360-25367 |
|
consequent |
![]() |
![]() |
![]() |