ShapeChange - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ShapeChange ChineseLanguage "这是在变 Object 形状的 Process。")	chinese_format.kif 3198-3198
(documentation ShapeChange EnglishLanguage "The Process of changing the shape of an Object.")	Merge.kif 12699-12700
(subclass ShapeChange InternalChange)	Merge.kif 12698-12698	Shape change is a subclass of internal change

appearance as argument number 2

(subclass Crushing ShapeChange)	Food.kif 963-963	Crushing is a subclass of shape change
(subclass Folding ShapeChange)	Mid-level-ontology.kif 3158-3158	Folding is a subclass of shape change
(termFormat ChineseLanguage ShapeChange "形状变化")	chinese_format.kif 1175-1175	Folding is a subclass of shape change
(termFormat EnglishLanguage ShapeChange "shape change")	english_format.kif 1567-1567	Folding is a subclass of shape change
(termFormat FrenchLanguage ShapeChange "changement de forme")	french_format.kif 853-853	Folding is a subclass of shape change
(termFormat Hindi ShapeChange "aakaara parivartana")	terms-hindi.txt 385-385	Folding is a subclass of shape change
(termFormat ItalianLanguage ShapeChange "CambiamentoDiForma")	terms-it.txt 388-388	Folding is a subclass of shape change
(termFormat JapaneseLanguage ShapeChange "形状変化")	japanese_format.kif 2537-2537	Folding is a subclass of shape change
(termFormat PortugueseLanguage ShapeChange "Mudanca de Forma")	portuguese_format.kif 805-805	Folding is a subclass of shape change
(termFormat cz ShapeChange "shape change")	terms-cz.txt 424-424	Folding is a subclass of shape change
(termFormat ro ShapeChange "schimbare de formã")	relations-ro.kif 874-874	Folding is a subclass of shape change
(termFormat tg ShapeChange "pagpalit ng hugis")	terms-tg.txt 389-389	Folding is a subclass of shape change

antecedent

(=>
    (and
        (instance ?ALT ShapeChange)
        (patient ?ALT ?OBJ))
    (exists (?PROPERTY)
        (and
            (instance ?PROPERTY ShapeAttribute)
            (or
                (and
                    (holdsDuring
                        (BeginFn
                            (WhenFn ?ALT))
                        (attribute ?OBJ ?PROPERTY))
                    (holdsDuring
                        (EndFn
                            (WhenFn ?ALT))
                        (not
                            (attribute ?OBJ ?PROPERTY))))
                (and
                    (holdsDuring
                        (BeginFn
                            (WhenFn ?ALT))
                        (not
                            (attribute ?OBJ ?PROPERTY)))
                    (holdsDuring
                        (EndFn
                            (WhenFn ?ALT))
                        (attribute ?OBJ ?PROPERTY)))))))

Merge.kif 12702-12715

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

consequent

(=> (and (instance ?C Crushing) (patient ?C ?O) (instance ?O Object)) (exists (?B ?SC) (and (instance ?B Breaking) (causes ?C ?B) (subProcess ?B ?SC) (instance ?SC ShapeChange) (patient ?B ?O) (patient ?SC ?O))))	Food.kif 980-992	If a process is an instance of crushing and an entity is a patient of the process and the entity is an instance of object, then there exist another process and a third process such that the other process is an instance of breaking and the process causes the other process and the other process is a subprocess of the third process and the third process is an instance of shape change and the entity is a patient of the other process and the entity is a patient of the third process
(=> (and (instance ?C Crushing) (patient ?C ?O) (instance ?O Object)) (exists (?SC) (and (result ?C ?SC) (instance ?SC ShapeChange) (patient ?SC ?O))))	Food.kif 994-1003	If a process is an instance of crushing and an entity is a patient of the process and the entity is an instance of object, then there exists another process such that the other process is a result of the process and the other process is an instance of shape change and the entity is a patient of the other process
(=> (and (instance ?OBJ Object) (attribute ?OBJ Pliable)) (exists (?CHANGE) (and (instance ?CHANGE ShapeChange) (patient ?CHANGE ?OBJ))))	Merge.kif 17825-17832	If an object is an instance of object and pliable is an attribute of the object, then there exists a process such that the process is an instance of shape change and the object is a patient of the process
(=> (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
(=> (instance ?X Sculpting) (exists (?SC ?OBJ) (and (instance ?OBJ Object) (patient ?X ?OBJ) (instance ?SC ShapeChange) (subProcess ?SC ?X) (patient ?SC ?OBJ))))	Mid-level-ontology.kif 3273-3281	If a process is an instance of sculpting, then there exist another process and an entity such that the entity is an instance of object and the entity is a patient of the process and the other process is an instance of shape change and the other process is a subprocess of the process and the entity is a patient of the other process

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: