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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FaxMachine
FaxMachine(fax machine)
facsimile, facsimile_machine, fax

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 2997-3003
(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 2996-2996 Fax machine is a subclass of communication device
(subclass FaxMachine ElectricDevice) Mid-level-ontology.kif 2995-2995 Fax machine is a subclass of electric device
(subclass FaxMachine TelephonyDevice) Mid-level-ontology.kif 2993-2993 Fax machine is a subclass of telephony device

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 25158-25165

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


(=>
    (holdsDuring ?TIME
        (and
            (deviceTelecomNumber ?NUMBER ?DEVICE)
            (faxNumber ?NUMBER ?AGENT)))
    (instance ?DEVICE FaxMachine))
Mid-level-ontology.kif 25167-25172
(=>
    (instance ?Fax Fax)
    (exists (?FaxMachine)
        (and
            (instance ?FaxMachine FaxMachine)
            (instrument ?Fax ?FaxMachine))))
Mid-level-ontology.kif 2986-2991


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