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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Machine
Machine(machine)BWR, CAT_scanner, Cockcroft-Walton_accelerator, Cockcroft-Walton_voltage_multiplier, Cockcroft_and_Walton_accelerator, Cockcroft_and_Walton_voltage_multiplier, Dictaphone, Intelnet, Jarvik_artificial_heart, Jarvik_heart, Linotype, Linotype_machine, Photostat, Photostat_machine, Roneo, Roneograph, Turing_machine, Van_de_Graaff_generator, Wankel_engine, Wankel_rotary_engine, Wimshurst_machine, Winchester_drive, X-ray_machine, Xerox, Xerox_machine, Zamboni, acoustic_modem, adder, aircraft_engine, analog-digital_converter, analog-to-digital_converter, android, atherodyde, athodyd, automat, automatic, automatic_pilot, automatonlike, autopilot, backup_system, barograph, bbs, bench_lathe, binder, black_box, boiling_water_reactor, booster, booster_amplifier, booster_station, breeder_reactor...

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


(documentation Machine ChineseLanguage "Machine 是一些有明确定义的 resourceresultDevices,它们以自动化的方式把 resource 转成 result。") chinese_format.kif 3634-3635
(documentation Machine EnglishLanguage "Machines are Devices that that have a well-defined resource and result and that automatically convert the resource into the result.") Merge.kif 14850-14852
(subclass Machine Device) Merge.kif 14849-14849 Machine is a subclass of device

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


(disjoint Furniture Machine) Mid-level-ontology.kif 4242-4242 Furniture is disjoint from machine
(industryProductType MachineryManufacturing Machine) Economy.kif 1788-1788 Machine is an industry product type of machinery manufacturing
(subclass AirConditioningCondenser Machine) Cars.kif 2032-2032 Air conditioning condenser is a subclass of machine
(subclass AirConditioningEvaporator Machine) Cars.kif 2056-2056 Air conditioning evaporator is a subclass of machine
(subclass GasCompressor Machine) Cars.kif 5148-5148 Compressor is a subclass of machine
(subclass Generator Machine) Cars.kif 1181-1181 Generator is a subclass of machine
(subclass IceMachine Machine) Mid-level-ontology.kif 23423-23423 Ice machine is a subclass of machine
(subclass Lathe Machine) Economy.kif 4871-4871 Lathe is a subclass of machine
(subclass Planer Machine) Economy.kif 4896-4896 Planer is a subclass of machine
(subclass VendingMachine Machine) Mid-level-ontology.kif 2409-2409 Vending machine is a subclass of machine
(termFormat ChineseLanguage Machine "机器") chinese_format.kif 1060-1060
(termFormat EnglishLanguage Machine "machine") english_format.kif 1336-1336

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


(=>
    (instance ?MACHINE Machine)
    (exists (?COMP1 ?COMP2)
        (and
            (instance ?COMP1 EngineeringComponent)
            (instance ?COMP2 EngineeringComponent)
            (not
                (equal ?COMP1 ?COMP2))
            (part ?COMP1 ?MACHINE)
            (part ?COMP2 ?MACHINE))))
Merge.kif 14881-14889
(=>
    (instance ?MACHINE Machine)
    (forall (?PROC)
        (=>
            (instrument ?PROC ?MACHINE)
            (exists (?RESOURCE ?RESULT)
                (and
                    (resource ?PROC ?RESOURCE)
                    (result ?PROC ?RESULT))))))
Merge.kif 14854-14862

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


(=>
    (and
        (instance ?LANG ComputerLanguage)
        (agent ?PROC ?AGENT)
        (instrument ?PROC ?LANG))
    (instance ?AGENT Machine))
Merge.kif 1320-1325
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG ComputerAndElectronicProductManufacturing))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Manufacture)
                    (or
                        (instance ?THING Computer)
                        (and
                            (instance ?THING Machine)
                            (exists (?EV3)
                                (and
                                    (patient ?EV3 ?THING)
                                    (resource ?EV3 ?ELEC)
                                    (instance ?ELEC Electricity)))))
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 5133-5157
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG ElectricalEquipmentApplianceAndComponentManufacturing))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Manufacture)
                    (and
                        (instance ?THING Machine)
                        (exists (?EV3)
                            (and
                                (patient ?EV3 ?THING)
                                (resource ?EV3 ?ELEC)
                                (instance ?ELEC Electricity))))
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 5428-5450
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG MachineryManufacturing))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Manufacture)
                    (instance ?THING Machine)
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 4651-4667
(=>
    (attribute ?M CoinOperated)
    (instance ?M Machine))
Mid-level-ontology.kif 27645-27647


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners