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

KB Term:  Term intersection
English Word: 

Sigma KEE - Telex
Telex(telex)teleprinter, teletype_machine, teletypewriter, telex, telex_machine

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


(subclass Telex CommunicationDevice) Communications.kif 154-154 Telex is a subclass of communication device
(documentation Telex EnglishLanguage "Telex is a Telegraph_like CommunicationDevice that is used to send messages over a TelephoneSystem.") Communications.kif 155-156 Telex is a subclass of communication device
(defaultMinimumHeight Telex
    (MeasureFn 4 Inch))		 DimensioningAmenities.kif 525-525 The minimum expected height of telex is 4 inch(s)
(defaultMaximumHeight Telex
    (MeasureFn 7 Inch))		 DimensioningAmenities.kif 526-526 The maximum expected height of telex is 7 inch(s)
(defaultMinimumWidth Telex
    (MeasureFn 7 Inch))		 DimensioningAmenities.kif 527-527 The minimum expected width of telex is 7 inch(s)
(defaultMaximumWidth Telex
    (MeasureFn 11 Inch))		 DimensioningAmenities.kif 528-528 The maximum expected width of telex is 11 inch(s)
(defaultMinimumLength Telex
    (MeasureFn 12 Inch))		 DimensioningAmenities.kif 529-529 The minimum expected length of telex is 12 inch(s)
(defaultMaximumLength Telex
    (MeasureFn 15 Inch))		 DimensioningAmenities.kif 530-530 The maximum expected length of telex is 15 inch(s)
(defaultMinimumMeasure Telex
    (MeasureFn 8 PoundMass))		 DimensioningAmenities.kif 531-531 The minimum expected value of telex is 8 pound mass(s)
(defaultMaximumMeasure Telex
    (MeasureFn 20 PoundMass))		 DimensioningAmenities.kif 532-532 The maximum expected value of telex is 20 pound mass(s)

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


(termFormat EnglishLanguage Telex "telex") Communications.kif 157-157

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


(=>
    (instance ?TELEX Telex)
    (exists (?PRINTER)
        (and
            (instance ?PRINTER Printer)
            (part ?PRINTER ?TELEX))))		 Communications.kif 159-164 If X is an instance of telex, then there exists Y such that Y is an instance of printer and Y is a part of X
(=>
    (instance ?TELEX Telex)
    (hasPurpose ?TELEX
        (exists (?SYS ?TELEX2 ?MSG)
            (and
                (instance ?SYS TelephoneSystem)
                (instance ?TELEX2 Telex)
                (instance ?MSG Messaging)
                (or
                    (and
                        (origin ?MSG ?TELEX)
                        (destination ?MSG ?TELEX2))
                    (and
                        (origin ?MSG ?TELEX2)
                        (destination ?MSG ?TELEX)))
                (path ?MSG ?SYS)))))		 Communications.kif 166-181 If X is an instance of telex, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of telephone system (3) Z is an instance of telex (4) W is an instance of messaging (5) W originates at X (6) W ends up at Z or W originates at Z (7) W ends up at X (8) Y is path along which W occurs
(=>
    (and
        (destination ?MSG ?TELEX)
        (instance ?MSG Messaging)
        (patient ?MSG ?M)
        (instance ?TELEX Telex))
    (exists (?PROC ?TEXT)
        (and
            (instrument ?PROC ?TELEX)
            (result ?PROC ?TEXT)
            (represents ?TEXT ?M)
            (instance ?TEXT Text)
            (before
                (BeginFn
                    (WhenFn ?MSG))
                (BeginFn
                    (WhenFn ?PROC))))))		 Communications.kif 183-195 If X ends up at Y, X is an instance of messaging, Z is a patient of X, and Y is an instance of telex, then there exist W, V such that Y is an instrument for W, V is a result of W, V expresses Z, V is an instance of text, and the beginning of the time of existence of X happens before the beginning of the time of existence of W

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


(=>
    (instance ?TELEX Telex)
    (hasPurpose ?TELEX
        (exists (?SYS ?TELEX2 ?MSG)
            (and
                (instance ?SYS TelephoneSystem)
                (instance ?TELEX2 Telex)
                (instance ?MSG Messaging)
                (or
                    (and
                        (origin ?MSG ?TELEX)
                        (destination ?MSG ?TELEX2))
                    (and
                        (origin ?MSG ?TELEX2)
                        (destination ?MSG ?TELEX)))
                (path ?MSG ?SYS)))))		 Communications.kif 166-181 If X is an instance of telex, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of telephone system (3) Z is an instance of telex (4) W is an instance of messaging (5) W originates at X (6) W ends up at Z or W originates at Z (7) W ends up at X (8) Y is path along which W occurs


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners