|
|
   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 24631-24631 |
| appearance as argument number 2 |
|
|
| (subclass FixedPhone Telephone) | Mid-level-ontology.kif 25117-25117 | |
| (subclass MobileCellPhone Telephone) | Mid-level-ontology.kif 25120-25120 | |
| (subclass SatellitePhone Telephone) | Mid-level-ontology.kif 25127-25127 | |
| (subclass TDDPhone Telephone) | Mid-level-ontology.kif 26310-26310 | |
| (termFormat ChineseLanguage Telephone "电话") | domainEnglishFormat.kif 57292-57292 | |
| (termFormat ChineseTraditionalLanguage Telephone "電話") | domainEnglishFormat.kif 57291-57291 | |
| (termFormat EnglishLanguage Telephone "telephone") | domainEnglishFormat.kif 57290-57290 |
| 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 25064-25071 |
| 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 27060-27071 |
|
|
|
