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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Machine

Sigma KEE - Machine
Machine

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 15767-15769
(subclass Machine Device) Merge.kif 15766-15766

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


(disjoint Furniture Machine) Mid-level-ontology.kif 3663-3663
(industryProductType MachineryManufacturing Machine) Economy.kif 1795-1795
(subclass AirConditioningCondenser Machine) Cars.kif 2045-2045
(subclass AirConditioningEvaporator Machine) Cars.kif 2069-2069
(subclass GasCompressor Machine) Cars.kif 5171-5171
(subclass Generator Machine) Cars.kif 1190-1190
(subclass IceMachine Machine) Mid-level-ontology.kif 24885-24885
(subclass Lathe Machine) Economy.kif 5029-5029
(subclass Planer Machine) Economy.kif 5054-5054
(subclass VendingMachine Machine) Mid-level-ontology.kif 1909-1909
(termFormat ChineseLanguage Machine "机器") chinese_format.kif 1060-1060
(termFormat EnglishLanguage Machine "machine") english_format.kif 1331-1331

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 15798-15806
(=>
    (instance ?MACHINE Machine)
    (forall (?PROC)
        (=>
            (instrument ?PROC ?MACHINE)
            (exists (?RESOURCE ?RESULT)
                (and
                    (resource ?PROC ?RESOURCE)
                    (result ?PROC ?RESULT))))))
Merge.kif 15771-15779

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


(=>
    (and
        (instance ?LANG ComputerLanguage)
        (agent ?PROC ?AGENT)
        (instrument ?PROC ?LANG))
    (instance ?AGENT Machine))
Merge.kif 1379-1384
(=>
    (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 5126-5150
(=>
    (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 5421-5443
(=>
    (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 4644-4660
(=>
    (attribute ?M CoinOperated)
    (instance ?M Machine))
Mid-level-ontology.kif 28878-28880


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