TreeView Knowledge Base Browser

appearance as argument number 1

(subclass FaxMachine TelephonyDevice)	Mid-level-ontology.kif 3620-3620	Fax machine is a subclass of telephony device
(subclass FaxMachine ElectricDevice)	Mid-level-ontology.kif 3622-3622	Fax machine is a subclass of electric device
(subclass FaxMachine CommunicationDevice)	Mid-level-ontology.kif 3623-3623	Fax machine is a subclass of communication device
(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 3624-3630	Fax machine is a subclass of communication device
(subclass FaxMachine CommunicationAppliance)	HouseholdAppliances.kif 277-277	Fax machine is a subclass of communication appliance
(defaultMinimumHeight FaxMachine (MeasureFn 10 Inch))	DimensioningAmenities.kif 360-360	The minimum expected height of fax machine is 10 inch(s)
(defaultMaximumHeight FaxMachine (MeasureFn 26 Inch))	DimensioningAmenities.kif 361-361	The maximum expected height of fax machine is 26 inch(s)
(defaultMinimumWidth FaxMachine (MeasureFn 14 Inch))	DimensioningAmenities.kif 362-362	The minimum expected width of fax machine is 14 inch(s)
(defaultMaximumWidth FaxMachine (MeasureFn 24 Inch))	DimensioningAmenities.kif 363-363	The maximum expected width of fax machine is 24 inch(s)
(defaultMinimumLength FaxMachine (MeasureFn 10 Inch))	DimensioningAmenities.kif 364-364	The minimum expected length of fax machine is 10 inch(s)
(defaultMaximumLength FaxMachine (MeasureFn 22 Inch))	DimensioningAmenities.kif 365-365	The maximum expected length of fax machine is 22 inch(s)
(defaultMinimumMeasure FaxMachine (MeasureFn 10 PoundMass))	DimensioningAmenities.kif 366-366	The minimum expected value of fax machine is 10 pound mass(s)
(defaultMaximumMeasure FaxMachine (MeasureFn 50 PoundMass))	DimensioningAmenities.kif 367-367	The maximum expected value of fax machine is 50 pound mass(s)
(externalImage FaxMachine "http://upload.wikimedia.org/wikipedia/en/thumb/ 1/ 1c/ Samfax.jpg/ 300px_Samfax.jpg")	pictureList.kif 1111-1111	The maximum expected value of fax machine is 50 pound mass(s)

appearance as argument number 2

(termFormat EnglishLanguage FaxMachine "fax machine")	domainEnglishFormat.kif 23416-23416
(termFormat ChineseTraditionalLanguage FaxMachine "傳真機")	domainEnglishFormat.kif 23417-23417
(termFormat ChineseLanguage FaxMachine "传真机")	domainEnglishFormat.kif 23418-23418

antecedent

(=>
    (and
        (instance ?DEVICE FaxMachine)
        (holdsDuring ?TIME
            (and
                (deviceTelecomNumber ?NUMBER ?DEVICE)
                (possesses ?AGENT ?DEVICE))))
    (holdsDuring ?TIME
        (faxNumber ?NUMBER ?AGENT)))

Mid-level-ontology.kif 27478-27485

If X is an instance of fax machine and X has number Y and Z possesses X holds during W, then the fax number of Z is Y holds during W

consequent

(=> (instance ?Fax Fax) (exists (?FaxMachine) (and (instance ?FaxMachine FaxMachine) (instrument ?Fax ?FaxMachine))))	Mid-level-ontology.kif 3613-3618	If X is an instance of fax, then there exists Y such that Y is an instance of fax machine and Y is an instrument for X
(=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (faxNumber ?NUMBER ?AGENT))) (instance ?DEVICE FaxMachine))	Mid-level-ontology.kif 27487-27492	If X has number Y and the fax number of Z is Y holds during W, then X is an instance of fax machine

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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: