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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CordlessTelephone

Sigma KEE - CordlessTelephone
CordlessTelephone

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

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners