TreeView 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 12613-12614
(subclass SurfaceChange InternalChange)	Merge.kif 12612-12612	表面变化是内部变化的 subclass

appearance as argument number 2

(subclass Coloring SurfaceChange)	Merge.kif 12631-12631	染色是表面变化的 subclass
(subclass Digging SurfaceChange)	Mid-level-ontology.kif 18008-18008	挖掘是表面变化的 subclass
(subclass Drawing SurfaceChange)	Mid-level-ontology.kif 3333-3333	画画是表面变化的 subclass
(subclass Drilling SurfaceChange)	Mid-level-ontology.kif 18095-18095	钻孔是表面变化的 subclass
(subclass Roughening SurfaceChange)	Mid-level-ontology.kif 25231-25231	Roughening 是表面变化的 subclass
(subclass Smoothing SurfaceChange)	Mid-level-ontology.kif 25215-25215	Smoothing 是表面变化的 subclass
(subclass Tilling SurfaceChange)	Mid-level-ontology.kif 18022-18022	翻耕是表面变化的 subclass
(subclass Tracing SurfaceChange)	Mid-level-ontology.kif 3310-3310	追踪是表面变化的 subclass
(termFormat ChineseLanguage SurfaceChange "表面变化")	chinese_format.kif 1174-1174
(termFormat EnglishLanguage SurfaceChange "surface change")	english_format.kif 1565-1565
(termFormat FrenchLanguage SurfaceChange "changement de surface")	french_format.kif 852-852
(termFormat Hindi SurfaceChange "sataha parivartana")	terms-hindi.txt 384-384
(termFormat ItalianLanguage SurfaceChange "CambiamentoDiSuperficie")	terms-it.txt 387-387
(termFormat JapaneseLanguage SurfaceChange "表面変化")	japanese_format.kif 2536-2536
(termFormat PortugueseLanguage SurfaceChange "Mudanca Superficial")	portuguese_format.kif 804-804
(termFormat cb SurfaceChange "ibabawng kabalhinan")	terms-cb.txt 389-389
(termFormat cz SurfaceChange "surface change")	terms-cz.txt 423-423
(termFormat ro SurfaceChange "schimbare de suprafaþã")	relations-ro.kif 873-873
(termFormat tg SurfaceChange "pagpalit ng mukha")	terms-tg.txt 388-388

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 12616-12629

如果过程是表面变化的 instance 和客体是那个过程的 patient，
然后有存在另一个客体和实体这样那个另外客体是那个客体的 superficialPart 和那个实体是那个另外客体的 attribute 在那个过程出现的 time 的开始 holdsDuring 和那个实体不是那个另外客体的 attribute 在那个过程出现的 time 的结束 holdsDuring 或那个实体不是那个另外客体的 attribute 在那个过程出现的 time 的开始 holdsDuring 和那个实体是那个另外客体的 attribute 在那个过程出现的 time 的结束 holdsDuring

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	如果群体是机构的 instance 和印刷和相关的支持活动是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在实体，那个过程2， and 和那个施事体2 这样那个施事体是制造的 instance 和那个实体是表面变化的 instance 和那个实体是那个施事体的 patient 和那个过程2 是那个群体的 member 和那个施事体2 是出售的 instance 和那个过程2 是那个施事体2 的 agent 和那个实体是那个施事体2 的 patient
(=> (instance ?B BrushOrComb) (hasPurpose ?B (exists (?S) (and (or (instance ?S Removing) (instance ?S SurfaceChange)) (instrument ?S ?B)))))	Mid-level-ontology.kif 1924-1932	如果物理是刷子或梳子的 instance，然后那个物理的目的是有存在实体这样那个实体是移除的 instance 或那个实体是表面变化的 instance 和那个物理是导致那个实体的 instrument
(=> (instance ?DEVICE FileDevice) (capability SurfaceChange instrument ?DEVICE))	Mid-level-ontology.kif 2538-2540	如果客体是文件设备的 instance，然后那个客体能够担当工具的角色做表面变化
(=> (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	如果物理是车床的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个物理是导致那个实体的 instrument 和那个另外实体是那个实体的 patient 和那个实体是形状变化的 instance 或那个实体是表面变化的 instance

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

KB Term:			Term intersection

English Word: