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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Chromatography
Chromatography(chromatography)chromatographic, chromatographical, chromatography, precipitate

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


s__documentation(s__Chromatography,s__EnglishLanguage,'"Processes of Separating a LiquidMixture or a GasMixture into some or all of the PureSubstances that comprise it."')

Mid-level-ontology.kif 18850-18851
s__instance(s__Separating,s__Class)

s__instance(s__Chromatography,s__Class)

s__subclass(s__Chromatography,s__Separating)

Mid-level-ontology.kif 18849-18849 Chromatography is a subclass of separating

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


s__termFormat(s__ChineseLanguage,s__Chromatography,'"色谱"')

domainEnglishFormat.kif 14751-14751
s__termFormat(s__ChineseTraditionalLanguage,s__Chromatography,'"色譜"')

domainEnglishFormat.kif 14750-14750
s__termFormat(s__EnglishLanguage,s__Chromatography,'"chromatography"')

domainEnglishFormat.kif 14749-14749

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


( ! [V__C] :
   ((s__instance(V__C,s__Chromatography) =>
       (( ? [V__M] :
           ((s__resource(V__C,V__M)
             &
             (s__instance(V__M,s__LiquidMixture) |
               s__instance(V__M,s__GasMixture)))))))
   )
)

Mid-level-ontology.kif 18853-18860
( ! [V__C] :
   ((s__instance(V__C,s__Chromatography) =>
       (( ? [V__S] :
           ((s__instance(V__S,s__PureSubstance) &
               s__result(V__C,V__S))))))
   )
)

Mid-level-ontology.kif 18862-18867


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