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 2925-2929
(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 2924-2924	Telephone is a subclass of communication device
(subclass Telephone ElectricDevice)	Mid-level-ontology.kif 2923-2923	Telephone is a subclass of electric device
(subclass Telephone TelephonyDevice)	Mid-level-ontology.kif 24523-24523	Telephone is a subclass of telephony device

appearance as argument number 2

(subclass FixedPhone Telephone)	Mid-level-ontology.kif 25009-25009	Fixed phone is a subclass of telephone
(subclass MobileCellPhone Telephone)	Mid-level-ontology.kif 25012-25012	Mobile cell phone is a subclass of telephone
(subclass TDDPhone Telephone)	Mid-level-ontology.kif 26209-26209	TDD phone is a subclass of telephone
(termFormat ChineseLanguage Telephone "电话")	domainEnglishFormat.kif 57302-57302
(termFormat ChineseTraditionalLanguage Telephone "電話")	domainEnglishFormat.kif 57301-57301
(termFormat EnglishLanguage Telephone "telephone")	domainEnglishFormat.kif 57300-57300

appearance as argument number 3

(domain phoneNumber 2 Telephone)

FinancialOntology.kif 3681-3681

The number 2 argument of phone number is an instance of telephone

antecedent

(=>
    (and
        (instance ?DEVICE Telephone)
        (holdsDuring ?TIME
            (and
                (possesses ?AGENT ?DEVICE)
                (deviceTelecomNumber ?NUMBER ?DEVICE))))
    (holdsDuring ?TIME
        (telephoneNumber ?NUMBER ?AGENT)))

Mid-level-ontology.kif 24956-24963

If an entity is an instance of telephone and another entity possesses the entity and the entity has number a third entity holds during a time position,
then the third entity is the telephone number of the other entity holds during the time position

consequent

(=> (instance ?SYSTEM TelephoneSystem) (exists (?PHONE) (and (instance ?PHONE Telephone) (engineeringSubcomponent ?PHONE ?SYSTEM))))	Communications.kif 40-45	If an engineering component is an instance of telephone system, then there exists another engineering component such that the other engineering component is an instance of telephone and the other engineering component is a component of the engineering component
(=> (instance ?TEL Telephoning) (exists (?DEVICE) (and (instance ?DEVICE Telephone) (instrument ?TEL ?DEVICE))))	Mid-level-ontology.kif 2938-2943	If a process is an instance of telephoning, then there exists an object such that the object is an instance of telephone and the object is an instrument for the process
(=> (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 3609-3620	If an object is an instance of telephone line, then there exist another object and a third object such that the other object is an instance of telephone or the other object is an instance of telegraph and the third object is an instance of telephone or the third object is an instance of telegraph and the other object is not equal to the third object and the object connects the other object and the third 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 26944-26955	If a process is an instance of telephone communication, then there exist an agent, another agent,, , a contact site and another contact site such that the process originates at the contact site and the process ends up at the other contact site and the agent can be contacted at the contact site and the other agent can be contacted at the other contact site and the agent is an instance of telephone and the other agent is an instance of telephone and the agent is an instrument for the process and the other agent is an instrument for the process

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: