TreeView Knowledge Base Browser - PhysicalState

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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3921-3923
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17544-17549
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17543-17543	Solid are all the attributes of physical state
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17541-17541	Physical state is a subclass of internal attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17564-17564	Gas is an instance of physical state
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17555-17555	Liquid is an instance of physical state
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17582-17582	Plasma is an instance of physical state
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17551-17551	Solid is an instance of physical state
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1247-1247
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1715-1715
No TPTP formula. May not be expressible in strict first order.	french_format.kif 925-925
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 459-459
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 462-462
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2609-2609
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 877-877
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 498-498
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 946-946
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 463-463

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1187-1187	The number 2 argument of precipitation state is an instance of physical state
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31674-31674	The number 2 argument of roomTempState is an instance of physical state

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 17576-17580

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

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13756-13767	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17569-17574	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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