Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - InternalChange
InternalChange(changement interne)

appearance as argument number 1
-------------------------


(documentation InternalChange ChineseLanguage "这是当 Object 内部特性受到改变的 Process, 例如:Object 形状、颜色和结构等等。不属于这个类别的 Process 包括只影响和其他物体之间关系的改变,例如: 时空位置的变化。") chinese_format.kif 3192-3194
(documentation InternalChange EnglishLanguage "Processes which involve altering an internal property of an Object, e.g. the shape of the Object, its coloring, its structure, etc. Processes that are not instances of this class include changes that only affect the relationship to other objects, e.g. changes in spatial or temporal location.") Merge.kif 12744-12748
(subclass InternalChange Process) Merge.kif 12743-12743 Changement interne est une sous-classe de processus

appearance as argument number 2
-------------------------


(subclass BiologicalProcess InternalChange) Merge.kif 10269-10269 Processus biologique est une sous-classe de changement interne
(subclass ChemicalProcess InternalChange) Merge.kif 12654-12654 Processus chimique est une sous-classe de changement interne
(subclass ComputerProcess InternalChange) QoSontology.kif 154-154 ComputerProcess est une sous-classe de changement interne
(subclass Creation InternalChange) Merge.kif 12935-12935 Cr�ation est une sous-classe de changement interne
(subclass Damaging InternalChange) Merge.kif 12417-12417 Endommager est une sous-classe de changement interne
(subclass GeologicalProcess InternalChange) Merge.kif 11325-11325 GeologicalProcess est une sous-classe de changement interne
(subclass QuantityChange InternalChange) Merge.kif 11007-11007 Changement de quantit� est une sous-classe de changement interne
(subclass ShapeChange InternalChange) Merge.kif 12803-12803 Changement de forme est une sous-classe de changement interne
(subclass StateChange InternalChange) Merge.kif 13903-13903 Changement d'�tat est une sous-classe de changement interne
(subclass SurfaceChange InternalChange) Merge.kif 12763-12763 Changement de surface est une sous-classe de changement interne
(subclass TidalProcess InternalChange) Geography.kif 6439-6439 TidalProcess est une sous-classe de changement interne
(subclass TurningOffDevice InternalChange) Mid-level-ontology.kif 1058-1058 TurningOffDevice est une sous-classe de changement interne
(subclass TurningOnDevice InternalChange) Mid-level-ontology.kif 1082-1082 TurningOnDevice est une sous-classe de changement interne
(termFormat ChineseLanguage InternalChange "内部变化") chinese_format.kif 1173-1173 TurningOnDevice est une sous-classe de changement interne
(termFormat EnglishLanguage InternalChange "internal change") english_format.kif 1563-1563 TurningOnDevice est une sous-classe de changement interne
(termFormat FrenchLanguage InternalChange "changement interne") french_format.kif 851-851 TurningOnDevice est une sous-classe de changement interne
(termFormat Hindi InternalChange "aantarika parivartana") terms-hindi.txt 383-383 TurningOnDevice est une sous-classe de changement interne
(termFormat ItalianLanguage InternalChange "CambiamentoInterno") terms-it.txt 386-386 TurningOnDevice est une sous-classe de changement interne
(termFormat JapaneseLanguage InternalChange "内部変化") japanese_format.kif 2535-2535 TurningOnDevice est une sous-classe de changement interne
(termFormat PortugueseLanguage InternalChange "Mudanca Interna") portuguese_format.kif 803-803 TurningOnDevice est une sous-classe de changement interne
(termFormat cz InternalChange "internal change") terms-cz.txt 422-422 TurningOnDevice est une sous-classe de changement interne
(termFormat de InternalChange "innere Aenderung") terms-de.txt 681-681 TurningOnDevice est une sous-classe de changement interne
(termFormat ro InternalChange "schimbare internã") relations-ro.kif 872-872 TurningOnDevice est une sous-classe de changement interne
(termFormat tg InternalChange "pagpalit ng panloob") terms-tg.txt 387-387 TurningOnDevice est une sous-classe de changement interne

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


(=>
    (and
        (instance ?CHANGE InternalChange)
        (patient ?CHANGE ?OBJ))
    (exists (?PROPERTY)
        (or
            (and
                (holdsDuring
                    (BeginFn
                        (WhenFn ?CHANGE))
                    (attribute ?OBJ ?PROPERTY))
                (holdsDuring
                    (EndFn
                        (WhenFn ?CHANGE))
                    (not
                        (attribute ?OBJ ?PROPERTY))))
            (and
                (holdsDuring
                    (BeginFn
                        (WhenFn ?CHANGE))
                    (not
                        (attribute ?OBJ ?PROPERTY)))
                (holdsDuring
                    (EndFn
                        (WhenFn ?CHANGE))
                    (attribute ?OBJ ?PROPERTY))))))
Merge.kif 12750-12761

consequent
-------------------------


(=>
    (and
        (instance ?P Putting)
        (patient ?P ?S)
        (instance ?S Spice)
        (destination ?P ?F)
        (instance ?F PreparedFood))
    (exists (?C ?A)
        (and
            (instance ?C InternalChange)
            (patient ?C ?F)
            (result ?C ?A)
            (attribute ?F ?A)
            (or
                (instance ?A FlavourAttribute)
                (instance ?A ColorAttribute)))))
Economy.kif 4722-4737


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