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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Plasma

Sigma KEE - 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 17663-17666
(instance Plasma PhysicalState) Merge.kif 17661-17661
(subAttribute Plasma Fluid) Merge.kif 17662-17662

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


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

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


(contraryAttribute Solid Liquid Gas Plasma) Merge.kif 17621-17621

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


(exhaustiveAttribute PhysicalState Solid Liquid Gas Plasma) Merge.kif 17622-17622

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


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


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