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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PhysicalState
PhysicalState(physical state)aerosolised, aerosolized, chaos, creaminess, fluid, form, gelatinousness, glutinosity, glutinousness, isomeric, negative_charge, phase, positive_charge, semifluidity, semiliquid, semisolid, soupiness, state, state_of_matter, thickness, thinness, viscosity, viscousness

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 17544-17549
(exhaustiveAttribute PhysicalState Solid Liquid Gas Plasma) Merge.kif 17543-17543 Solid are all the attributes of physical state
(subclass PhysicalState InternalAttribute) Merge.kif 17541-17541 Physical state is a subclass of internal attribute

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


(instance Gas PhysicalState) Merge.kif 17564-17564 Gas is an instance of physical state
(instance Liquid PhysicalState) Merge.kif 17555-17555 Liquid is an instance of physical state
(instance Plasma PhysicalState) Merge.kif 17582-17582 Plasma is an instance of physical state
(instance Solid PhysicalState) Merge.kif 17551-17551 Solid is an instance of physical state
(termFormat ChineseLanguage PhysicalState "物质状态") chinese_format.kif 1247-1247
(termFormat EnglishLanguage PhysicalState "physical state") english_format.kif 1715-1715
(termFormat FrenchLanguage PhysicalState "�tat physique") french_format.kif 925-925
(termFormat Hindi PhysicalState "bhOtika avasthaa") terms-hindi.txt 459-459
(termFormat ItalianLanguage PhysicalState "StatoFisico") terms-it.txt 462-462
(termFormat JapaneseLanguage PhysicalState "物理状態") japanese_format.kif 2609-2609
(termFormat PortugueseLanguage PhysicalState "Estado Fisico") portuguese_format.kif 877-877
(termFormat cz PhysicalState "skupenstv�") terms-cz.txt 498-498
(termFormat ro PhysicalState "stare fizicã") relations-ro.kif 946-946
(termFormat tg PhysicalState "kalagayan ukol sa katawan") terms-tg.txt 463-463

appearance as argument number 3
-------------------------


(domain precipitationState 2 PhysicalState) Weather.kif 1187-1187 The number 2 argument of precipitation state is an instance of physical state
(domain roomTempState 2 PhysicalState) Mid-level-ontology.kif 31674-31674 The number 2 argument of roomTempState is an instance of physical state

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


(=>
    (and
        (instance ?ATTR PhysicalState)
        (attribute ?OBJ ?ATTR))
    (instance ?OBJ Substance))
Merge.kif 17576-17580

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


(=>
    (and
        (instance ?PROCESS StateChange)
        (patient ?PROCESS ?OBJ))
    (exists (?PART ?STATE1 ?STATE2)
        (and
            (part ?PART ?OBJ)
            (instance ?STATE1 PhysicalState)
            (instance ?STATE2 PhysicalState)
            (not
                (equal ?STATE1 ?STATE2))
            (holdsDuring
                (BeginFn
                    (WhenFn ?PROCESS))
                (attribute ?PART ?STATE1))
            (holdsDuring
                (EndFn
                    (WhenFn ?PROCESS))
                (attribute ?PART ?STATE2)))))
Merge.kif 13756-13767
(=>
    (instance ?OBJ Substance)
    (exists (?ATTR)
        (and
            (instance ?ATTR PhysicalState)
            (attribute ?OBJ ?ATTR))))
Merge.kif 17569-17574


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