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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - PhysicalState

appearance as argument number 1

(documentation PhysicalState ChineseLanguage "这是一个 Object 的物理状态。这个 Class 有三个 具体的实例:Solid, Liquid, and Gas。从一个物质转换到另外一个物质的特征不是物理变化,反而是该物质 形式的改变(物理状态)。例如:把铁定溶掉所得的物质仍然叫铁。") chinese_format.kif 3921-3923
(documentation PhysicalState EnglishLanguage "The physical state of an Object. There are three reified instances of this Class: Solid, Liquid, and Gas. Physical changes are not characterized by the transformation of one substance into another, but rather by the change of the form (physical states) of a given substance. For example, melting an iron nail yields a substance still called iron.") Merge.kif 16384-16389
(exhaustiveAttribute PhysicalState Solid Fluid Liquid Gas Plasma) Merge.kif 16383-16383
(subclass PhysicalState InternalAttribute) Merge.kif 16381-16381

appearance as argument number 2

(instance Fluid PhysicalState) Merge.kif 16395-16395
(instance Gas PhysicalState) Merge.kif 16409-16409
(instance Liquid PhysicalState) Merge.kif 16400-16400
(instance Plasma PhysicalState) Merge.kif 16421-16421
(instance Solid PhysicalState) Merge.kif 16391-16391
(termFormat ChineseLanguage PhysicalState "物质状态") chinese_format.kif 1247-1247
(termFormat EnglishLanguage PhysicalState "physical state") english_format.kif 1720-1720

appearance as argument number 3

(domain precipitationState 2 PhysicalState) Weather.kif 995-995


    (instance ?OBJ Substance)
    (exists (?ATTR)
            (instance ?ATTR PhysicalState)
            (attribute ?OBJ ?ATTR))))
Merge.kif 16414-16419
        (instance ?PROCESS StateChange)
        (patient ?PROCESS ?OBJ))
    (exists (?PART ?STATE1 ?STATE2)
            (part ?PART ?OBJ)
            (instance ?STATE1 PhysicalState)
            (instance ?STATE2 PhysicalState)
                (equal ?STATE1 ?STATE2))
                    (WhenFn ?PROCESS))
                (attribute ?PART ?STATE1))
                    (WhenFn ?PROCESS))
                (attribute ?PART ?STATE2)))))
Merge.kif 12774-12785

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