| 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 3433-3437 | |
| (externalImage Telephone "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ signs_symbol/ BW/ BW_4/ telephone_1.png") | pictureList.kif 774-774 | |
| (subclass Telephone CommunicationDevice) | Mid-level-ontology.kif 3432-3432 | subclass Telephone and CommunicationDevice |
| (subclass Telephone ElectricDevice) | Mid-level-ontology.kif 3431-3431 | subclass Telephone and ElectricDevice |
| (subclass Telephone TelephonyDevice) | Mid-level-ontology.kif 22356-22356 | subclass Telephone and TelephonyDevice |
| appearance as argument number 2 |
|
|
| (subclass FixedPhone Telephone) | Mid-level-ontology.kif 23004-23004 | subclass FixedPhone and Telephone |
| (subclass MobileCellPhone Telephone) | Mid-level-ontology.kif 23007-23007 | subclass MobileCellPhone and Telephone |
| (subclass TDDPhone Telephone) | Mid-level-ontology.kif 24352-24352 | subclass TDDPhone and Telephone |
| (termFormat ChineseLanguage Telephone "电话") | domainEnglishFormat.kif 57171-57171 | |
| (termFormat ChineseTraditionalLanguage Telephone "電話") | domainEnglishFormat.kif 57170-57170 | |
| (termFormat EnglishLanguage Telephone "telephone") | domainEnglishFormat.kif 57169-57169 |
| appearance as argument number 3 |
|
|
| (domain phoneNumber 2 Telephone) | FinancialOntology.kif 3580-3580 | domain phoneNumber, 2 and Telephone |
| antecedent |
|
|
| (=> (and (instance ?DEVICE Telephone) (holdsDuring ?TIME (and (possesses ?AGENT ?DEVICE) (deviceTelecomNumber ?NUMBER ?DEVICE)))) (holdsDuring ?TIME (telephoneNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 22939-22946 |
|
| consequent |
|
|
|
|
|