Manufacture(manufacture)

-------------------------


(=>
    (instance ?P AnimalProduct)
    (exists (?M ?A ?B)
        (and
            (instance ?M Manufacture)
            (result ?M ?P)
            (patient ?M ?A)
            (or
                (instance ?A Animal)
                (and
                    (part ?B ?A)
                    (instance ?B AnatomicalStructure))))))
Economy.kif 5013-5024
(=>
    (instance ?P PlantProduct)
    (exists (?M ?A ?B)
        (and
            (instance ?M Manufacture)
            (result ?M ?P)
            (patient ?M ?A)
            (or
                (instance ?A Plant)
                (and
                    (part ?B ?A)
                    (instance ?B AnatomicalStructure))))))
Economy.kif 5191-5202
(=>
    (instance ?PLANT IndustrialPlant)
    (hasPurpose ?PLANT
        (exists (?MANUFACTURE)
            (and
                (instance ?MANUFACTURE Manufacture)
                (eventLocated ?MANUFACTURE ?PLANT)))))
Mid-level-ontology.kif 15698-15704
(=>
    (instance ?PRODUCT Product)
    (exists (?MANUFACTURE)
        (and
            (instance ?MANUFACTURE Manufacture)
            (result ?MANUFACTURE ?PRODUCT))))
Merge.kif 15695-15700


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