SurfaceChange - Sigma Knowledge base Browser

appearance as argument number 1

(documentation SurfaceChange ChineseLanguage "这是改变 Object 表面属性的 Process。")	chinese_format.kif 3195-3195
(documentation SurfaceChange EnglishLanguage "Processes which involve altering the properties that apply to the surface of an Object.")	Merge.kif 12688-12689
(subclass SurfaceChange InternalChange)	Merge.kif 12687-12687	Surface change is a subclass of internal change

appearance as argument number 2

(subclass Coloring SurfaceChange)	Merge.kif 12706-12706	Coloring is a subclass of surface change
(subclass Digging SurfaceChange)	Mid-level-ontology.kif 19097-19097	Digging is a subclass of surface change
(subclass Drawing SurfaceChange)	Mid-level-ontology.kif 3399-3399	Drawing is a subclass of surface change
(subclass Drilling SurfaceChange)	Mid-level-ontology.kif 19184-19184	Drilling is a subclass of surface change
(subclass Roughening SurfaceChange)	Mid-level-ontology.kif 26350-26350	Roughening is a subclass of surface change
(subclass Smoothing SurfaceChange)	Mid-level-ontology.kif 26334-26334	Smoothing is a subclass of surface change
(subclass Tilling SurfaceChange)	Mid-level-ontology.kif 19111-19111	Tilling is a subclass of surface change
(subclass Tracing SurfaceChange)	Mid-level-ontology.kif 3376-3376	Tracing is a subclass of surface change
(termFormat ChineseLanguage SurfaceChange "表面变化")	chinese_format.kif 1174-1174	Tracing is a subclass of surface change
(termFormat EnglishLanguage SurfaceChange "surface change")	english_format.kif 1565-1565	Tracing is a subclass of surface change
(termFormat FrenchLanguage SurfaceChange "changement de surface")	french_format.kif 852-852	Tracing is a subclass of surface change
(termFormat Hindi SurfaceChange "sataha parivartana")	terms-hindi.txt 384-384	Tracing is a subclass of surface change
(termFormat ItalianLanguage SurfaceChange "CambiamentoDiSuperficie")	terms-it.txt 387-387	Tracing is a subclass of surface change
(termFormat JapaneseLanguage SurfaceChange "表面変化")	japanese_format.kif 2536-2536	Tracing is a subclass of surface change
(termFormat PortugueseLanguage SurfaceChange "Mudanca Superficial")	portuguese_format.kif 804-804	Tracing is a subclass of surface change
(termFormat cb SurfaceChange "ibabawng kabalhinan")	terms-cb.txt 389-389	Tracing is a subclass of surface change
(termFormat cz SurfaceChange "surface change")	terms-cz.txt 423-423	Tracing is a subclass of surface change
(termFormat de SurfaceChange "Oberflaechenaenderung")	terms-de.txt 682-682	Tracing is a subclass of surface change
(termFormat ro SurfaceChange "schimbare de suprafaþã")	relations-ro.kif 873-873	Tracing is a subclass of surface change
(termFormat tg SurfaceChange "pagpalit ng mukha")	terms-tg.txt 388-388	Tracing 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 12691-12704

If a process is an instance of surface change and an object is a patient of the process,
then there exist another object and an entity such that the other object is a superficial part of the object and the entity is an attribute of the other object holds during the beginning of the time of existence of the process and the entity is not an attribute of the other object holds during the end of the time of existence of the process or the entity is not an attribute of the other object holds during the beginning of the time of existence of the process and the entity is an attribute of the other object holds during the end of the time of existence of the process

consequent

(=> (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 2923-2939	If a collection is an instance of organization and printing and related support activities is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of surface change and the entity is a patient of the agent and the process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the entity is a patient of the agent2
(=> (instance ?B BrushOrComb) (hasPurpose ?B (exists (?S) (and (or (instance ?S Removing) (instance ?S SurfaceChange)) (instrument ?S ?B)))))	Mid-level-ontology.kif 1990-1998	If a physical is an instance of brush or comb, then the physical has the purpose there exists an entity such that the entity is an instance of removing or the entity is an instance of surface change and the physical is an instrument for the entity
(=> (instance ?DEVICE FileDevice) (capability SurfaceChange instrument ?DEVICE))	Mid-level-ontology.kif 2604-2606	If an object is an instance of file device, then the object 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 6200-6209	If a physical is an instance of lathe, then the physical has the purpose there exist an entity and another entity such that the physical is an instrument for the entity and the other entity is a patient of the entity and the entity is an instance of shape change or the entity is an instance of surface change

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: