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

KB Term:  Term intersection
English Word: 

Sigma KEE - CordlessTelephone
CordlessTelephone(cordless telephone)

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


(subclass CordlessTelephone FixedPhone) Communications.kif 89-89 Cordless telephone is a subclass of fixed phone
(documentation CordlessTelephone EnglishLanguage "CordlessTelephone is a type of FixedPhone whose TelephoneHandset is not connected to its TelephoneCradle by a WireLine") Communications.kif 90-92 Cordless telephone is a subclass of fixed phone
(defaultMinimumHeight CordlessTelephone
    (MeasureFn 2 Inch))		 DimensioningAmenities.kif 333-333 The minimum expected height of cordless telephone is 2 inch(s)
(defaultMaximumHeight CordlessTelephone
    (MeasureFn 7 Inch))		 DimensioningAmenities.kif 334-334 The maximum expected height of cordless telephone is 7 inch(s)
(defaultMinimumWidth CordlessTelephone
    (MeasureFn 4 Inch))		 DimensioningAmenities.kif 335-335 The minimum expected width of cordless telephone is 4 inch(s)
(defaultMaximumWidth CordlessTelephone
    (MeasureFn 8 Inch))		 DimensioningAmenities.kif 336-336 The maximum expected width of cordless telephone is 8 inch(s)
(defaultMinimumLength CordlessTelephone
    (MeasureFn 2 Inch))		 DimensioningAmenities.kif 337-337 The minimum expected length of cordless telephone is 2 inch(s)
(defaultMaximumLength CordlessTelephone
    (MeasureFn 6 Inch))		 DimensioningAmenities.kif 338-338 The maximum expected length of cordless telephone is 6 inch(s)
(defaultMinimumMeasure CordlessTelephone
    (MeasureFn 3 PoundMass))		 DimensioningAmenities.kif 339-339 The minimum expected value of cordless telephone is 3 pound mass(s)
(defaultMaximumMeasure CordlessTelephone
    (MeasureFn 7 PoundMass))		 DimensioningAmenities.kif 340-340 The maximum expected value of cordless telephone is 7 pound mass(s)

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


(termFormat EnglishLanguage CordlessTelephone "cordless telephone") Communications.kif 93-93

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


(=>
    (instance ?X CordlessTelephone)
    (exists (?HANDSET ?CRADLE)
        (and
            (instance ?HANDSET TelephoneHandset)
            (instance ?CRADLE TelephoneCradle)
            (part ?HANDSET ?X)
            (part ?CRADLE ?X)
            (not
                (exists (?WIRE)
                    (and
                        (instance ?WIRE WireLine)
                        (connectsEngineeringComponents ?WIRE ?HANDSET ?CRADLE)))))))		 Communications.kif 95-107 If X is an instance of cordless telephone, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of telephone handset (3) Z is an instance of telephone cradle (4) Y is a part of X (5) Z is a part of X (6) there doesn't exist W such that W is an instance of wire line (7) W connects Y (8) Z


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