Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TelephoneHandset
TelephoneHandset(telephone handset)French_telephone, handset

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


s__documentation(s__TelephoneHandset,s__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 25471-25473
s__instance(s__TelephoneHandset,s__SetOrClass)

s__subclass(s__TelephoneHandset,s__Device)

s__instance(s__Device,s__SetOrClass)

Mid-level-ontology.kif 25470-25470 Telephone handset is a subclass of device

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


s__termFormat(s__EnglishLanguage,s__TelephoneHandset,'"telephone handset"')

Mid-level-ontology.kif 25474-25474

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


( ! [V__X] :
   ((s__instance(V__X,s__TelephoneHandset) =>
       (( ? [V__EARPHONE, V__MIC] :
           ((s__instance(V__EARPHONE,s__Earphone) &
               s__instance(V__MIC,s__Microphone) &
               s__part(V__EARPHONE,V__X)
             &
             s__part(V__MIC,V__X))))))
)
)

Mid-level-ontology.kif 25476-25483

consequent
-------------------------


( ! [V__X] :
   ((s__instance(V__X,s__CordedTelephone) =>
       (( ? [V__HANDSET, V__CRADLE, V__WIRE] :
           ((s__instance(V__HANDSET,s__TelephoneHandset) &
               s__instance(V__CRADLE,s__TelephoneCradle) &
               s__part(V__HANDSET,V__X)
             &
             s__part(V__CRADLE,V__X)
           &
           s__instance(V__WIRE,s__WireLine) &
           s__connectsEngineeringComponents(V__WIRE,V__HANDSET,V__CRADLE))))))
)
)

Communications.kif 78-87
( ! [V__X] :
   ((s__instance(V__X,s__CordlessTelephone) =>
       (( ? [V__HANDSET, V__CRADLE] :
           ((s__instance(V__HANDSET,s__TelephoneHandset) &
               s__instance(V__CRADLE,s__TelephoneCradle) &
               s__part(V__HANDSET,V__X)
             &
             s__part(V__CRADLE,V__X)
           &
           ~(( ? [V__WIRE] :
               ((s__instance(V__WIRE,s__WireLine) &
                   s__connectsEngineeringComponents(V__WIRE,V__HANDSET,V__CRADLE))))))))))
)
)

Communications.kif 95-107


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