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 2953-2957 | |
(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 2952-2952 | |
(subclass Telephone ElectricDevice) | Mid-level-ontology.kif 2951-2951 | |
(subclass Telephone TelephonyDevice) | Mid-level-ontology.kif 24573-24573 |
appearance as argument number 2 |
(subclass FixedPhone Telephone) | Mid-level-ontology.kif 25059-25059 | |
(subclass MobileCellPhone Telephone) | Mid-level-ontology.kif 25062-25062 | |
(subclass SatellitePhone Telephone) | Mid-level-ontology.kif 25069-25069 | |
(subclass TDDPhone Telephone) | Mid-level-ontology.kif 26265-26265 | |
(termFormat ChineseLanguage Telephone "电话") | domainEnglishFormat.kif 57290-57290 | |
(termFormat ChineseTraditionalLanguage Telephone "電話") | domainEnglishFormat.kif 57289-57289 | |
(termFormat EnglishLanguage Telephone "telephone") | domainEnglishFormat.kif 57288-57288 |
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 25006-25013 |
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 2966-2971 | |
(=> (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 3637-3648 | |
(=> (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 27015-27026 |