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 |
(subclass Telephone ElectricDevice) | Mid-level-ontology.kif 2951-2951 | 电话 是 电器 的 subclass |
(subclass Telephone TelephonyDevice) | Mid-level-ontology.kif 24574-24574 | 电话 是 TelephonyDevice 的 subclass |
appearance as argument number 2 |
(subclass FixedPhone Telephone) | Mid-level-ontology.kif 25060-25060 | FixedPhone 是 电话 的 subclass |
(subclass MobileCellPhone Telephone) | Mid-level-ontology.kif 25063-25063 | 移动手机 是 电话 的 subclass |
(subclass SatellitePhone Telephone) | Mid-level-ontology.kif 25070-25070 | SatellitePhone 是 电话 的 subclass |
(subclass TDDPhone Telephone) | Mid-level-ontology.kif 26277-26277 | TDDPhone 是 电话 的 subclass |
(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 | 电话号码 的 2 数量 是 电话 的 instance |
antecedent |
(=> (and (instance ?DEVICE Telephone) (holdsDuring ?TIME (and (possesses ?AGENT ?DEVICE) (deviceTelecomNumber ?NUMBER ?DEVICE)))) (holdsDuring ?TIME (telephoneNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 25007-25014 |
consequent |