PhysicalState - Sigma Knowledge base Browser

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

appearance as argument number 2

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

appearance as argument number 3

(domain precipitationState 2 PhysicalState)	Weather.kif 1171-1171	The number 2 argument of precipitation state is an instance of physical state
(domain roomTempState 2 PhysicalState)	Mid-level-ontology.kif 31939-31939	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 17655-17659

If an attribute is an instance of physical state and the attribute is an attribute of an object,
then the object is an instance of substance

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 13802-13813	If a process is an instance of state change and an object is a patient of the process, then there exist another object, an entity and another entity such that the other object is a part of the object and the entity is an instance of physical state and the other entity is an instance of physical state and the entity is not equal to the other entity and the entity is an attribute of the other object holds during the beginning of the time of existence of the process and the other entity is an attribute of the other object holds during the end of the time of existence of the process
(=> (instance ?OBJ Substance) (exists (?ATTR) (and (instance ?ATTR PhysicalState) (attribute ?OBJ ?ATTR))))	Merge.kif 17648-17653	If an object is an instance of substance, then there exists an attribute such that the attribute is an instance of physical state and the attribute is an attribute of the object

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: