Telephone - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Telephone ElectricDevice)	Mid-level-ontology.kif 3431-3431	Telephone is a subclass of electric device
(subclass Telephone CommunicationDevice)	Mid-level-ontology.kif 3432-3432	Telephone is a subclass of communication device
(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 3433-3437	Telephone is a subclass of communication device
(subclass Telephone TelephonyDevice)	Mid-level-ontology.kif 26973-26973	Telephone is a subclass of telephony device
(subclass Telephone CommunicationAppliance)	HouseholdAppliances.kif 279-279	Telephone is a subclass of communication appliance
(defaultMinimumHeight Telephone (MeasureFn 2 Inch))	DimensioningAmenities.kif 324-324	The minimum expected height of telephone is 2 inch(s)
(defaultMaximumHeight Telephone (MeasureFn 7 Inch))	DimensioningAmenities.kif 325-325	The maximum expected height of telephone is 7 inch(s)
(defaultMinimumWidth Telephone (MeasureFn 4 Inch))	DimensioningAmenities.kif 326-326	The minimum expected width of telephone is 4 inch(s)
(defaultMaximumWidth Telephone (MeasureFn 8 Inch))	DimensioningAmenities.kif 327-327	The maximum expected width of telephone is 8 inch(s)
(defaultMinimumLength Telephone (MeasureFn 2 Inch))	DimensioningAmenities.kif 328-328	The minimum expected length of telephone is 2 inch(s)
(defaultMaximumLength Telephone (MeasureFn 6 Inch))	DimensioningAmenities.kif 329-329	The maximum expected length of telephone is 6 inch(s)
(defaultMinimumMeasure Telephone (MeasureFn 3 PoundMass))	DimensioningAmenities.kif 330-330	The minimum expected value of telephone is 3 pound mass(s)
(defaultMaximumMeasure Telephone (MeasureFn 7 PoundMass))	DimensioningAmenities.kif 331-331	The maximum expected value of telephone is 7 pound mass(s)
(externalImage Telephone "http://articulatesoftware.com/SUMOpictures/signs_symbol/ BW/ BW_4/ telephone_1.png")	pictureList.kif 774-774	The maximum expected value of telephone is 7 pound mass(s)

appearance as argument number 2

(subclass FixedPhone Telephone)	Mid-level-ontology.kif 27459-27459	Fixed phone is a subclass of telephone
(subclass MobileCellPhone Telephone)	Mid-level-ontology.kif 27462-27462	Mobile cell phone is a subclass of telephone
(subclass SatellitePhone Telephone)	Mid-level-ontology.kif 27469-27469	Satellite phone is a subclass of telephone
(subclass TDDPhone Telephone)	Mid-level-ontology.kif 28944-28944	TDD phone is a subclass of telephone
(termFormat EnglishLanguage Telephone "telephone")	Communications.kif 38-38	TDD phone is a subclass of telephone
(termFormat ChineseTraditionalLanguage Telephone "電話")	domainEnglishFormat.kif 57288-57288	TDD phone is a subclass of telephone
(termFormat ChineseLanguage Telephone "电话")	domainEnglishFormat.kif 57289-57289	TDD phone is a subclass of telephone

appearance as argument number 3

(domain phoneNumber 2 Telephone)

FinancialOntology.kif 3699-3699

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 27406-27413

If X is an instance of telephone and Y possesses X and X has number Z holds during W, then Z is the telephone number of Y holds during W

consequent

(=> (instance ?TEL Telephoning) (exists (?DEVICE) (and (instance ?DEVICE Telephone) (instrument ?TEL ?DEVICE))))	Mid-level-ontology.kif 3446-3451	If X is an instance of telephoning, then there exists Y such that Y is an instance of telephone and Y is an instrument for X
(=> (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 4097-4108	If X is an instance of telephone line, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of telephone, Y is an instance of telegraph (3) Z is an instance of telephone, or Z is an instance of telegraph (4) equal Y (5) Z (6) X connects Y (7) Z
(=> (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 29690-29701	If X is an instance of telephone communication, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that X originates at W (3) X ends up at V (4) Y can be contacted at W (5) Z can be contacted at V (6) Y is an instance of telephone (7) Z is an instance of telephone (8) Y is an instrument for X (9) Z is an instrument for X
(=> (instance ?SYSTEM TelephoneSystem) (exists (?PHONE) (and (instance ?PHONE Telephone) (engineeringSubcomponent ?PHONE ?SYSTEM))))	Communications.kif 40-45	If X is an instance of telephone system, then there exists Y such that Y is an instance of telephone and Y is a component of X

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: