Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  TimeAttribute

 Sigma KEE - CommunicationDevice
CommunicationDevice(communication device)
Teleprompter, ground_control, television-camera_tube, television_equipment, television_monitor, television_pickup_tube, tv_monitor, video_equipment

appearance as argument number 1
-------------------------


(subclass CommunicationDevice EngineeringComponent) Mid-level-ontology.kif 3566-3566 Communication device is a subclass of engineering component
(documentation CommunicationDevice EnglishLanguage "A CommunicationDevice is a Device which serves at the instrument in a Communication Process by allowing the communicated message to be conveyed between the participants.") Mid-level-ontology.kif 3567-3570 Communication device is a subclass of engineering component
(externalImage CommunicationDevice "http://upload.wikimedia.org/wikipedia/ commons/ b/ b2/ ATTtelephone_large.jpg") pictureList.kif 9092-9092 Communication device is a subclass of engineering component

appearance as argument number 2
-------------------------


(subclass Microphone CommunicationDevice) Mid-level-ontology.kif 2373-2373 Microphone is a subclass of communication device
(subclass ReceiverDevice CommunicationDevice) Mid-level-ontology.kif 2377-2377 Receiver device is a subclass of communication device
(subclass Telegraph CommunicationDevice) Mid-level-ontology.kif 2389-2389 Telegraph is a subclass of communication device
(subclass ProjectionScreen CommunicationDevice) Mid-level-ontology.kif 2394-2394 Projection screen is a subclass of communication device
(relatedInternalConcept Communication CommunicationDevice) Mid-level-ontology.kif 3571-3571 Communication is internally related to communication device
(subclass Telephone CommunicationDevice) Mid-level-ontology.kif 3579-3579 Telephone is a subclass of communication device
(subclass FaxMachine CommunicationDevice) Mid-level-ontology.kif 3623-3623 Fax machine is a subclass of communication device
(subclass Antenna CommunicationDevice) Mid-level-ontology.kif 17438-17438 Antenna is a subclass of communication device
(subclass TelephonyDevice CommunicationDevice) Mid-level-ontology.kif 26853-26853 Telephony device is a subclass of communication device
(subclass CommunicationSatellite CommunicationDevice) Mid-level-ontology.kif 27377-27377 Communications satellite is a subclass of communication device
(subclass DataDisplayDevice CommunicationDevice) Mid-level-ontology.kif 28964-28964 Data display device is a subclass of communication device
(subclass CommunicationRadio CommunicationDevice) Communications.kif 21-21 Communication radio is a subclass of communication device
(subclass MainTelephoneLine CommunicationDevice) Communications.kif 47-47 Main telephone line is a subclass of communication device
(subclass Telex CommunicationDevice) Communications.kif 154-154 Telex is a subclass of communication device
(subclass BroadcastingStation CommunicationDevice) Communications.kif 200-200 Broadcasting station is a subclass of communication device
(subclass IMClient CommunicationDevice) Facebook.kif 761-761 IM client is a subclass of communication device
(subclass CommunicationAppliance CommunicationDevice) HouseholdAppliances.kif 267-267 Communication appliance is a subclass of communication device
(subclass CableModem CommunicationDevice) HouseholdAppliances.kif 542-542 Cable modem is a subclass of communication device
(subclass NetworkRouter CommunicationDevice) HouseholdAppliances.kif 561-561 Network router is a subclass of communication device
(termFormat EnglishLanguage CommunicationDevice "communication device") domainEnglishFormat.kif 16014-16014 Network router is a subclass of communication device
(termFormat ChineseTraditionalLanguage CommunicationDevice "通訊設備") domainEnglishFormat.kif 16015-16015 Network router is a subclass of communication device
(termFormat ChineseLanguage CommunicationDevice "通讯设备") domainEnglishFormat.kif 16016-16016 Network router is a subclass of communication device

antecedent
-------------------------


(=>
    (instance ?DEVICE CommunicationDevice)
    (capability Communication instrument ?DEVICE))		 Mid-level-ontology.kif 3573-3575 If X is an instance of communication device, then X is capable of doing communication as a instrument
(=>
    (and
        (instance ?A AESAAntenna)
        (part ?C ?A)
        (instance ?C CollectionOfObjects)
        (memberType ?C ?CLASS)
        (subclass ?CLASS CommunicationDevice))
    (exists (?R1 ?D1 ?R2 ?D2)
        (and
            (instance ?R1 RadioEmission)
            (origin ?R1 ?D1)
            (instance ?D1 ?CLASS)
            (instance ?R2 RadioEmission)
            (origin ?R2 ?D2)
            (instance ?D2 ?CLASS)
            (not
                (equal ?D1 ?D2))
            (not
                (equal ?R1 ?R2))
            (cooccur ?R1 ?R2))))		 Transportation.kif 5491-5510 If X is an instance of active eletronically scanned array antenna, Y is a part of X, Y is an instance of collection, Z is a member type of Y, and Z is a subclass of communication device, then All of the following hold: (1) there exist W, V,, , U (2) T such that W is an instance of radio emission (3) W originates at V (4) V is an instance of Z (5) U is an instance of radio emission (6) U originates at T (7) T is an instance of Z (8) equal V (9) T (10) equal W (11) U (12) W occurs at the same time as U

consequent
-------------------------


(=>
    (instance ?BROADCAST Broadcasting)
    (exists (?DEVICE)
        (and
            (instance ?DEVICE CommunicationDevice)
            (instrument ?BROADCAST ?DEVICE))))		 Mid-level-ontology.kif 17406-17411 If X is an instance of broadcasting, then there exists Y such that Y is an instance of communication device and Y is an instrument for X


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners