CordedTelephone - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - CordedTelephone

CordedTelephone(corded telephone)

appearance as argument number 1

(documentation CordedTelephone EnglishLanguage "CordedTelephone is a type of FixedPhone whose TelephoneHandset is connected to its TelephoneCradle by a WireLine")	Communications.kif 74-75
(subclass CordedTelephone FixedPhone)	Communications.kif 73-73	Corded telephone is a subclass of fixed phone

appearance as argument number 2

(termFormat EnglishLanguage CordedTelephone "corded telephone")

Communications.kif 76-76

antecedent

(=>
    (instance ?X CordedTelephone)
    (exists (?HANDSET ?CRADLE ?WIRE)
        (and
            (instance ?HANDSET TelephoneHandset)
            (instance ?CRADLE TelephoneCradle)
            (part ?HANDSET ?X)
            (part ?CRADLE ?X)
            (instance ?WIRE WireLine)
            (connectsEngineeringComponents ?WIRE ?HANDSET ?CRADLE))))

Communications.kif 78-87

If an object is an instance of corded telephone,
then there exist an engineering component, another engineering component and an engineering connection 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 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