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

KB Term:  Term intersection
English Word: 

Sigma KEE - TDDPhone
TDDPhone(TDD phone)

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


(subclass TDDPhone Telephone) Mid-level-ontology.kif 28834-28834 TDD phone is a subclass of telephone
(documentation TDDPhone EnglishLanguage "TDDPhone, which stands for Telecommunications Device for the Deaf, describes a Telephone that is designed so that Deaf people can use it") Mid-level-ontology.kif 28835-28837 TDD phone is a subclass of telephone
(defaultMinimumHeight TDDPhone
    (MeasureFn 4 Inch))		 DimensioningAmenities.kif 516-516 The minimum expected height of TDD phone is 4 inch(s)
(defaultMaximumHeight TDDPhone
    (MeasureFn 7 Inch))		 DimensioningAmenities.kif 517-517 The maximum expected height of TDD phone is 7 inch(s)
(defaultMinimumWidth TDDPhone
    (MeasureFn 7 Inch))		 DimensioningAmenities.kif 518-518 The minimum expected width of TDD phone is 7 inch(s)
(defaultMaximumWidth TDDPhone
    (MeasureFn 11 Inch))		 DimensioningAmenities.kif 519-519 The maximum expected width of TDD phone is 11 inch(s)
(defaultMinimumLength TDDPhone
    (MeasureFn 12 Inch))		 DimensioningAmenities.kif 520-520 The minimum expected length of TDD phone is 12 inch(s)
(defaultMaximumLength TDDPhone
    (MeasureFn 15 Inch))		 DimensioningAmenities.kif 521-521 The maximum expected length of TDD phone is 15 inch(s)
(defaultMinimumMeasure TDDPhone
    (MeasureFn 8 PoundMass))		 DimensioningAmenities.kif 522-522 The minimum expected value of TDD phone is 8 pound mass(s)
(defaultMaximumMeasure TDDPhone
    (MeasureFn 20 PoundMass))		 DimensioningAmenities.kif 523-523 The maximum expected value of TDD phone is 20 pound mass(s)

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


(termFormat EnglishLanguage TDDPhone "TDD phone") domainEnglishFormat.kif 65576-65576

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


(=>
    (instance ?TDD TDDPhone)
    (hasPurpose ?TDD
        (exists (?AGENT ?PHONING)
            (and
                (instance ?PHONING Telephoning)
                (instrument ?PHONING ?TDD)
                (agent ?PHONING ?AGENT)
                (attribute ?AGENT Deaf)))))		 Mid-level-ontology.kif 28839-28847 If X is an instance of TDD phone, then X has the purpose there exist Y, Z such that Z is an instance of telephoning, X is an instrument for Z, Y is an agent of Z, and deafness is an attribute of Y


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