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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TVRemoteControl
TVRemoteControl(tv remote)

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


(documentation TVRemoteControl EnglishLanguage "TVRemoteControl is a type of RemoteControl that signals to a TelevisionReceiver") Communications.kif 414-415
(subclass TVRemoteControl RemoteControl) Communications.kif 413-413 Tv remote is a subclass of remote control

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


(termFormat EnglishLanguage TVRemoteControl "tv remote") Communications.kif 416-416

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


(=>
    (instance ?X TVRemoteControl)
    (hasPurpose ?X
        (exists (?SIGNAL ?DEVICE)
            (and
                (instance ?SIGNAL ElectronicSignalling)
                (agent ?SIGNAL ?X)
                (destination ?SIGNAL ?DEVICE)
                (instance ?DEVICE TelevisionReceiver)))))
Communications.kif 418-426


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