CordlessTelephone - Sigma Knowledge base Browser

appearance as argument number 1

(documentation CordlessTelephone EnglishLanguage "CordlessTelephone is a type of FixedPhone whose TelephoneHandset is not connected to its TelephoneCradle by a WireLine")	Communications.kif 90-92
(subclass CordlessTelephone FixedPhone)	Communications.kif 89-89	Cordless telephone is a subclass of fixed phone

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 an object is an instance of cordless telephone,
then there exist an engineering component and another engineering component such that the engineering component is an instance of telephone handset and the other engineering component is an instance of telephone cradle and the engineering component is a part of the object and the other engineering component is a part of the object and there doesn't exist an engineering connection such that the engineering connection is an instance of wire line and the engineering connection connects the engineering component and the other engineering component

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: