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 3416-3420 | |
(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 3415-3415 | Telephone は CommunicationDevice の subclass では |
(subclass Telephone ElectricDevice) | Mid-level-ontology.kif 3414-3414 | Telephone は ElectricDevice の subclass では |
(subclass Telephone TelephonyDevice) | Mid-level-ontology.kif 26236-26236 | Telephone は TelephonyDevice の subclass では |
appearance as argument number 2 |
![]() |
(subclass FixedPhone Telephone) | Mid-level-ontology.kif 26722-26722 | FixedPhone は Telephone の subclass では |
(subclass MobileCellPhone Telephone) | Mid-level-ontology.kif 26725-26725 | MobileCellPhone は Telephone の subclass では |
(subclass SatellitePhone Telephone) | Mid-level-ontology.kif 26732-26732 | SatellitePhone は Telephone の subclass では |
(subclass TDDPhone Telephone) | Mid-level-ontology.kif 28176-28176 | TDDPhone は Telephone の subclass では |
(termFormat ChineseLanguage Telephone "电话") | domainEnglishFormat.kif 57296-57296 | TDDPhone は Telephone の subclass では |
(termFormat ChineseTraditionalLanguage Telephone "電話") | domainEnglishFormat.kif 57295-57295 | TDDPhone は Telephone の subclass では |
(termFormat EnglishLanguage Telephone "telephone") | domainEnglishFormat.kif 57294-57294 | TDDPhone は Telephone の subclass では |
appearance as argument number 3 |
![]() |
(domain phoneNumber 2 Telephone) | FinancialOntology.kif 3699-3699 | phoneNumber の数値 2 引数は Telephone の instance では |
antecedent |
![]() |
(=> (and (instance ?DEVICE Telephone) (holdsDuring ?TIME (and (possesses ?AGENT ?DEVICE) (deviceTelecomNumber ?NUMBER ?DEVICE)))) (holdsDuring ?TIME (telephoneNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 26669-26676 |
consequent |
![]() |
![]() |
![]() |