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 26471-26473
(subclass TelephoneHandset Device)	Mid-level-ontology.kif 26470-26470	子類 TelephoneHandset and Device

appearance as argument number 2

(termFormat EnglishLanguage TelephoneHandset "telephone handset")

Mid-level-ontology.kif 26474-26474

antecedent

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

Mid-level-ontology.kif 26476-26483

例 Object and TelephoneHandset
Object Object 例 Object and Earphone 例 Object and 麥克風部分 Object and Object 部分 Object and 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	例 Object and CordedTelephone EngineeringComponent EngineeringComponent and EngineeringConnection 例 EngineeringComponent and TelephoneHandset 例 EngineeringComponent and TelephoneCradle 部分 EngineeringComponent and Object 部分 EngineeringComponent and Object 例 EngineeringConnection and 電線連接工程組件 EngineeringConnection, EngineeringComponent and EngineeringComponent
(=> (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	例 Object and CordlessTelephone EngineeringComponent EngineeringComponent 例 EngineeringComponent and TelephoneHandset 例 EngineeringComponent and TelephoneCradle 部分 EngineeringComponent and Object 部分 EngineeringComponent and Object EngineeringConnection 例 EngineeringConnection and 電線連接工程組件 EngineeringConnection, EngineeringComponent and EngineeringComponent

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: