Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - SurfaceChange
SurfaceChange(surface change)Simonise, Simonize, achromatise, achromatize, adsorption, asterisked, babbitting, besmirch, bespatter, bespeckle, bespot, blemish, blob, blood, blot, blotch, blue, blur, blushful, blushing, branded, bright, brighten, bronze, broom, brush, brushing, buff, burnish, burnished, calendered, camouflage, chalk, change_surface, check, checker, chemisorption, chemosorption, chequer, chip, cloud, coarsen, color, color_in, colorise, colorize, colour, colour_in, colourise, colourize...

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


(subclass SurfaceChange InternalChange) Merge.kif 12902-12902 Surface change is a subclass of internal change
(documentation SurfaceChange EnglishLanguage "Processes which involve altering the properties that apply to the surface of an Object.") Merge.kif 12903-12904 Surface change is a subclass of internal change

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


(subclass Coloring SurfaceChange) Merge.kif 12921-12921 Coloring is a subclass of surface change
(subclass Tracing SurfaceChange) Mid-level-ontology.kif 3922-3922 Tracing is a subclass of surface change
(subclass Drawing SurfaceChange) Mid-level-ontology.kif 3945-3945 Drawing is a subclass of surface change
(subclass Digging SurfaceChange) Mid-level-ontology.kif 19942-19942 Digging is a subclass of surface change
(subclass Tilling SurfaceChange) Mid-level-ontology.kif 19956-19956 Tilling is a subclass of surface change
(subclass Drilling SurfaceChange) Mid-level-ontology.kif 20029-20029 Drilling is a subclass of surface change
(subclass Smoothing SurfaceChange) Mid-level-ontology.kif 27535-27535 Smoothing is a subclass of surface change
(subclass Roughening SurfaceChange) Mid-level-ontology.kif 27551-27551 Roughening is a subclass of surface change
(termFormat EnglishLanguage SurfaceChange "surface change") english_format.kif 1569-1569 Roughening is a subclass of surface change

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


(=>
    (and
        (instance ?ALT SurfaceChange)
        (patient ?ALT ?OBJ))
    (exists (?PART ?PROPERTY)
        (and
            (superficialPart ?PART ?OBJ)
            (or
                (and
                    (holdsDuring
                        (BeginFn
                            (WhenFn ?ALT))
                        (attribute ?PART ?PROPERTY))
                    (holdsDuring
                        (EndFn
                            (WhenFn ?ALT))
                        (not
                            (attribute ?PART ?PROPERTY))))
                (and
                    (holdsDuring
                        (BeginFn
                            (WhenFn ?ALT))
                        (not
                            (attribute ?PART ?PROPERTY)))
                    (holdsDuring
                        (EndFn
                            (WhenFn ?ALT))
                        (attribute ?PART ?PROPERTY)))))))		 Merge.kif 12906-12919 If X is an instance of surface change and Y is a patient of X, then there exist Z and W such that Z is a superficial part of Y and W is an attribute of Z holds during the beginning of the time of existence of X and W is not an attribute of Z holds during the end of the time of existence of X or W is not an attribute of Z holds during the beginning of the time of existence of X and W is an attribute of Z holds during the end of the time of existence of X

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


(=>
    (instance ?B BrushOrComb)
    (hasPurpose ?B
        (exists (?S)
            (and
                (or
                    (instance ?S Removing)
                    (instance ?S SurfaceChange))
                (instrument ?S ?B)))))		 Mid-level-ontology.kif 2499-2507 If X is an instance of brush or comb, then X has the purpose there exists Y such that Y is an instance of removing or Y is an instance of surface change and X is an instrument for Y
(=>
    (instance ?DEVICE FileDevice)
    (capability SurfaceChange instrument ?DEVICE))		 Mid-level-ontology.kif 3137-3139 If X is an instance of file device, then X is capable of doing surface change as a instrument
(=>
    (instance ?L Lathe)
    (hasPurpose ?L
        (exists (?PROC ?OBJ)
            (and
                (instrument ?PROC ?L)
                (patient ?PROC ?OBJ)
                (or
                    (instance ?PROC ShapeChange)
                    (instance ?PROC SurfaceChange))))))		 Economy.kif 6412-6421 If X is an instance of lathe, then X has the purpose there exist Y, Z such that X is an instrument for Y, Z is a patient of Y, and Y is an instance of shape change or Y is an instance of surface change
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG PrintingAndRelatedSupportActivities))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Manufacture)
                    (instance ?THING SurfaceChange)
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))		 naics.kif 2917-2933 If X is an instance of organization and printing and related support activities is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exist W, V (5) U such that Y is an instance of manufacture (6) W is an instance of surface change (7) W is a patient of Y (8) V is a member of X (9) U is an instance of selling (10) V is an agent of U (11) W is a patient of U


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