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 12659-12660
(subclass SurfaceChange InternalChange)	Merge.kif 12658-12658	Surface change is a subclass of internal change

appearance as argument number 2

(subclass Coloring SurfaceChange)	Merge.kif 12677-12677	Coloring is a subclass of surface change
(subclass Digging SurfaceChange)	Mid-level-ontology.kif 18266-18266	Digging is a subclass of surface change
(subclass Drawing SurfaceChange)	Mid-level-ontology.kif 3326-3326	Drawing is a subclass of surface change
(subclass Drilling SurfaceChange)	Mid-level-ontology.kif 18353-18353	Drilling is a subclass of surface change
(subclass Roughening SurfaceChange)	Mid-level-ontology.kif 25519-25519	Roughening is a subclass of surface change
(subclass Smoothing SurfaceChange)	Mid-level-ontology.kif 25503-25503	Smoothing is a subclass of surface change
(subclass Tilling SurfaceChange)	Mid-level-ontology.kif 18280-18280	Tilling is a subclass of surface change
(subclass Tracing SurfaceChange)	Mid-level-ontology.kif 3303-3303	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 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 12662-12675

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 1917-1925	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 2531-2533	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 5990-5999	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: