TreeView Knowledge Base Browser

appearance as argument number 1

(instance Plasma PhysicalState)	Merge.kif 17939-17939	Plasma is an instance of physical state
(subAttribute Plasma Fluid)	Merge.kif 17940-17940	Plasma is a subattribute of fluid
(documentation Plasma EnglishLanguage "An extremely energetic PhysicalState that consists of atomic nuclei stripped of electrons. That is, a plasma is composed of positive ions and free electrons. Plasma behaves differently enough from Gas that it is referred to as the fourth state of matter.")	Merge.kif 17941-17944	Plasma is a subattribute of fluid

appearance as argument number 2

(termFormat EnglishLanguage Plasma "plasma")	domainEnglishFormat.kif 46133-46133
(termFormat ChineseTraditionalLanguage Plasma "等離子體")	domainEnglishFormat.kif 46134-46134
(termFormat ChineseLanguage Plasma "等离子体")	domainEnglishFormat.kif 46135-46135

appearance as argument number 4

(contraryAttribute Solid Liquid Gas Plasma)

appearance as argument number 5

(exhaustiveAttribute PhysicalState Solid Liquid Gas Plasma)

antecedent

(=>
    (and
        (instance ?X Substance)
        (or
            (attribute ?X Gas)
            (attribute ?X Liquid)
            (attribute ?X Plasma)))
    (attribute ?X Fluid))

If X is an instance of substance and At least one of the following holds: (1) gas is an attribute of X (2) liquid is an attribute of X (3) plasma is an attribute of X, then fluid is an attribute of X