Telephone - Sigma Knowledge base Browser

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	子類電話 and 通訊設備
(subclass Telephone ElectricDevice)	Mid-level-ontology.kif 2951-2951	子類電話 and 電器
(subclass Telephone TelephonyDevice)	Mid-level-ontology.kif 24574-24574	子類電話 and TelephonyDevice

appearance as argument number 2

(subclass FixedPhone Telephone)	Mid-level-ontology.kif 25060-25060	子類 FixedPhone and 電話
(subclass MobileCellPhone Telephone)	Mid-level-ontology.kif 25063-25063	子類移動手機 and 電話
(subclass SatellitePhone Telephone)	Mid-level-ontology.kif 25070-25070	子類 SatellitePhone and 電話
(subclass TDDPhone Telephone)	Mid-level-ontology.kif 26277-26277	子類 TDDPhone and 電話
(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 and 電話

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

例 Entity and 電話持有期間 TimePosition and 擁有 entity and Entity Entity 有 number entity
持有期間 TimePosition and entity 是 entity 的 telephone number

consequent

(=> (instance ?SYSTEM TelephoneSystem) (exists (?PHONE) (and (instance ?PHONE Telephone) (engineeringSubcomponent ?PHONE ?SYSTEM))))	Communications.kif 40-45	例 EngineeringComponent and 電話系統 EngineeringComponent 例 EngineeringComponent and 電話工程子組件 EngineeringComponent and EngineeringComponent
(=> (instance ?TEL Telephoning) (exists (?DEVICE) (and (instance ?DEVICE Telephone) (instrument ?TEL ?DEVICE))))	Mid-level-ontology.kif 2966-2971	例 Process and 致電 Object 例 Object and 電話儀器 Process and Object
(=> (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	例 Object and 電話線 Object Object 例 Object and 電話例 Object and 電報例 Object and 電話例 Object and 電報等於 Object and Object 連接 Object, Object and Object
(=> (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 27027-27038	例 Process and TelephoneCommunication AutonomousAgent AutonomousAgent, ContactSite and ContactSite 起源 Process and ContactSite 目的地 Process and ContactSite AutonomousAgent 能是 contacted 在 ContactSite AutonomousAgent 能是 contacted 在 ContactSite 例 AutonomousAgent and 電話例 AutonomousAgent and 電話儀器 Process and AutonomousAgent 儀器 Process and AutonomousAgent

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: