TelephoneHandset - Sigma Knowledge base Browser

appearance as argument number 1

(documentation TelephoneHandset EnglishLanguage "TelephoneHandset is the part of the Telephone that has a Earphone and a Microphone for the transmission and reception of sound")	Mid-level-ontology.kif 24531-24533
(subclass TelephoneHandset Device)	Mid-level-ontology.kif 24530-24530	Telephone handset is a subclass of device

appearance as argument number 2

(termFormat EnglishLanguage TelephoneHandset "telephone handset")

Mid-level-ontology.kif 24534-24534

antecedent

(=>
    (instance ?X TelephoneHandset)
    (exists (?EARPHONE ?MIC)
        (and
            (instance ?EARPHONE Earphone)
            (instance ?MIC Microphone)
            (part ?EARPHONE ?X)
            (part ?MIC ?X))))

Mid-level-ontology.kif 24536-24543

If an object is an instance of telephone handset,
then there exist another object and a third object such that the other object is an instance of earphone and the third object is an instance of microphone and the other object is a part of the object and the third object is a part of the object

consequent

(=> (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
(=> (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: