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 12728-12729
(subclass ShapeChange InternalChange)	Merge.kif 12727-12727

appearance as argument number 2

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

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 12731-12744

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
(=> (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
(=> (and (instance ?OBJ Object) (attribute ?OBJ Pliable)) (exists (?CHANGE) (and (instance ?CHANGE ShapeChange) (patient ?CHANGE ?OBJ))))	Merge.kif 17850-17857
(=> (and (instance ?P ThreeDPrinting) (instance ?X CompoundSubstance) (patient ?P ?X)) (exists (?SC) (and (instance ?SC ShapeChange) (subProcess ?SC ?P) (patient ?SC ?X))))	QoSontology.kif 525-534
(=> (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
(=> (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 3346-3354

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: