| 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 | |
| (subclass Telephone ElectricDevice) | Mid-level-ontology.kif 2944-2944 | |
| (subclass Telephone TelephonyDevice) | Mid-level-ontology.kif 24862-24862 |
| appearance as argument number 2 |
|
|
| (subclass FixedPhone Telephone) | Mid-level-ontology.kif 25348-25348 | |
| (subclass MobileCellPhone Telephone) | Mid-level-ontology.kif 25351-25351 | |
| (subclass SatellitePhone Telephone) | Mid-level-ontology.kif 25358-25358 | |
| (subclass TDDPhone Telephone) | Mid-level-ontology.kif 26541-26541 | |
| (termFormat ChineseLanguage Telephone "电话") | domainEnglishFormat.kif 57327-57327 | |
| (termFormat ChineseTraditionalLanguage Telephone "電話") | domainEnglishFormat.kif 57326-57326 | |
| (termFormat EnglishLanguage Telephone "telephone") | domainEnglishFormat.kif 57325-57325 |
| appearance as argument number 3 |
|
|
| (domain phoneNumber 2 Telephone) | FinancialOntology.kif 3681-3681 |
| antecedent |
|
|
| (=> (and (instance ?DEVICE Telephone) (holdsDuring ?TIME (and (possesses ?AGENT ?DEVICE) (deviceTelecomNumber ?NUMBER ?DEVICE)))) (holdsDuring ?TIME (telephoneNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 25295-25302 |
| consequent |
|
|
| (=> (instance ?SYSTEM TelephoneSystem) (exists (?PHONE) (and (instance ?PHONE Telephone) (engineeringSubcomponent ?PHONE ?SYSTEM)))) |
Communications.kif 40-45 | |
| (=> (instance ?TEL Telephoning) (exists (?DEVICE) (and (instance ?DEVICE Telephone) (instrument ?TEL ?DEVICE)))) |
Mid-level-ontology.kif 2959-2964 | |
| (=> (instance ?TL TelephoneLine) (exists (?T1 ?T2) (and (or (instance ?T1 Telephone) (instance ?T1 Telegraph)) (or (instance ?T2 Telephone) (instance ?T2 Telegraph)) (not (equal ?T1 ?T2)) (connects ?TL ?T1 ?T2)))) |
Mid-level-ontology.kif 3630-3641 | |
| (=> (instance ?X TelephoneCommunication) (exists (?TEL1 ?TEL2 ?ORIGIN ?DEST) (and (origin ?X ?ORIGIN) (destination ?X ?DEST) (siteForContact ?ORIGIN ?TEL1) (siteForContact ?DEST ?TEL2) (instance ?TEL1 Telephone) (instance ?TEL2 Telephone) (instrument ?X ?TEL1) (instrument ?X ?TEL2)))) |
Mid-level-ontology.kif 27291-27302 |
|
|
|