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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PolyCrystalline

Sigma KEE - PolyCrystalline
PolyCrystalline(poly crystalline)poly_crystalline, polycrystalline, 多晶结构

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


s__instance(s__CrystallineStructure,s__SetOrClass)

s__subclass(s__PolyCrystalline,s__CrystallineStructure)

s__instance(s__PolyCrystalline,s__SetOrClass)

Geography.kif 6458-6458 Poly crystalline is a subclass of crystalline structure

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


s__termFormat(s__ChineseLanguage,s__PolyCrystalline,'多晶结构')

Geography.kif 6462-6462 "多晶结构" is the printable form of poly crystalline in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__PolyCrystalline,'poly crystalline')

Geography.kif 6460-6460 "poly crystalline" is the printable form of poly crystalline in english language

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


( ∀ [V__MBR,V__X,V__C,V__Sub,V__S]
   ((s__instance(V__MBR,s__Object)s__and__ms__instance(V__X,s__Integer))
    s__=>((s__instance(V__C,s__Crystal)s__and__ms__attribute(V__C,s__MonoCrystalline)s__and__ms__instance(V__Sub,s__Substance)s__and__ms__attribute(V__Sub,s__Solid)s__and__ms__attribute(V__Sub,s__PolyCrystalline)s__and__ms__instance(V__S,s__Substance)s__and__ms__surface(V__S,V__Sub)
      s__and__m(s__not__ms__part(V__C,V__S)))
s__=>(s__exists__m[V__CLNT]
   (s__instance(V__CLNT,s__Collection)s__and__ms__memberCount(V__CLNT,V__X)
  s__and__ms__greaterThanOrEqualTo(V__X,4)
s__and__m(s__member(V__MBR,V__CLNT)
s__=>(s__part(V__MBR,V__Sub)
s__and__ms__meetsSpatially(V__C,V__MBR)))))))
)

Geography.kif 6464-6484

consequent
-------------------------


( ∀ [V__ICING]
   (s__instance(V__ICING,s__Icing)s__=>(s__exists__m[V__ICE,V__OBJ]
       (s__instance(V__ICE,s__Ice)s__and__ms__attribute(V__ICE,s__PolyCrystalline)s__and__ms__patient(V__ICING,V__ICE)
      s__and__ms__instance(V__OBJ,s__Object)s__and__ms__attribute(V__OBJ,s__Solid)s__and__ms__destination(V__ICING,V__OBJ)
    s__and__ms__meetsSpatially(V__ICE,V__OBJ))))
)

Weather.kif 936-946


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners