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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FaxMachine

Sigma KEE - FaxMachine
FaxMachine

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


(documentation FaxMachine EnglishLanguage "A FaxMachine is a TelephonyDevice that scans a paper page and transmits a coded image of the page over a TelephoneSystem to a receiving FaxMachine, which decodes the coded and image and prints a replica of the original. A typical FaxMachine is made up of a scanner, a printer, a modem, and a control panel with some sort of status display.") Mid-level-ontology.kif 2948-2954
(externalImage FaxMachine "http://upload.wikimedia.org/wikipedia/en/thumb/ 1/ 1c/ Samfax.jpg/ 300px-Samfax.jpg") pictureList.kif 1112-1112
(subclass FaxMachine CommunicationDevice) Mid-level-ontology.kif 2947-2947
(subclass FaxMachine ElectricDevice) Mid-level-ontology.kif 2946-2946
(subclass FaxMachine TelephonyDevice) Mid-level-ontology.kif 2944-2944

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


(termFormat ChineseLanguage FaxMachine "传真机") domainEnglishFormat.kif 23415-23415
(termFormat ChineseTraditionalLanguage FaxMachine "傳真機") domainEnglishFormat.kif 23414-23414
(termFormat EnglishLanguage FaxMachine "fax machine") domainEnglishFormat.kif 23413-23413

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


(=>
    (and
        (instance ?DEVICE FaxMachine)
        (holdsDuring ?TIME
            (and
                (deviceTelecomNumber ?NUMBER ?DEVICE)
                (possesses ?AGENT ?DEVICE))))
    (holdsDuring ?TIME
        (faxNumber ?NUMBER ?AGENT)))
Mid-level-ontology.kif 24490-24497

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


(=>
    (holdsDuring ?TIME
        (and
            (deviceTelecomNumber ?NUMBER ?DEVICE)
            (faxNumber ?NUMBER ?AGENT)))
    (instance ?DEVICE FaxMachine))
Mid-level-ontology.kif 24499-24504
(=>
    (instance ?Fax Fax)
    (exists (?FaxMachine)
        (and
            (instance ?FaxMachine FaxMachine)
            (instrument ?Fax ?FaxMachine))))
Mid-level-ontology.kif 2937-2942


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 3.0 is open source software produced by Articulate Software and its partners