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 2990-2996
(externalImage FaxMachine "http://upload.wikimedia.org/wikipedia/en/thumb/ 1/ 1c/ Samfax.jpg/ 300px-Samfax.jpg") pictureList.kif 1111-1111
(subclass FaxMachine CommunicationDevice) Mid-level-ontology.kif 2989-2989
(subclass FaxMachine ElectricDevice) Mid-level-ontology.kif 2988-2988
(subclass FaxMachine TelephonyDevice) Mid-level-ontology.kif 2986-2986

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


(termFormat ChineseLanguage FaxMachine "传真机") domainEnglishFormat.kif 23422-23422
(termFormat ChineseTraditionalLanguage FaxMachine "傳真機") domainEnglishFormat.kif 23421-23421
(termFormat EnglishLanguage FaxMachine "fax machine") domainEnglishFormat.kif 23420-23420

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


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

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


(=>
    (holdsDuring ?TIME
        (and
            (deviceTelecomNumber ?NUMBER ?DEVICE)
            (faxNumber ?NUMBER ?AGENT)))
    (instance ?DEVICE FaxMachine))
Mid-level-ontology.kif 25224-25229
(=>
    (instance ?Fax Fax)
    (exists (?FaxMachine)
        (and
            (instance ?FaxMachine FaxMachine)
            (instrument ?Fax ?FaxMachine))))
Mid-level-ontology.kif 2979-2984


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