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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Plasma
Plasma(plasma)plasma

appearance as argument number 1
-------------------------


(documentation Plasma ChineseLanguage "这是一个极为有活力的 PhysicalState,它包含剥离了电子的 原子核。也就是说等离子是由正离子和自由电子所组成的。Plasma 的活动有别于 Gas,这个差别足够让我们把它 当成物质的第四种状态。") chinese_format.kif 3932-3934
(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 17584-17587
(instance Plasma PhysicalState) Merge.kif 17582-17582 Plasma is an instance of physical state
(subAttribute Plasma Fluid) Merge.kif 17583-17583 Plasma is a subattribute of fluid

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


(termFormat ChineseLanguage Plasma "等离子体") domainEnglishFormat.kif 46140-46140
(termFormat ChineseTraditionalLanguage Plasma "等離子體") domainEnglishFormat.kif 46139-46139
(termFormat EnglishLanguage Plasma "plasma") domainEnglishFormat.kif 46138-46138

appearance as argument number 4
-------------------------


(contraryAttribute Solid Liquid Gas Plasma) Merge.kif 17542-17542 Solid is the opposite of liquid

appearance as argument number 5
-------------------------


(exhaustiveAttribute PhysicalState Solid Liquid Gas Plasma) Merge.kif 17543-17543 Solid are all the attributes of physical state

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


(=>
    (and
        (instance ?X Substance)
        (or
            (attribute ?X Gas)
            (attribute ?X Liquid)
            (attribute ?X Plasma)))
    (attribute ?X Fluid))
Merge.kif 17594-17601


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