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)polycrystalline

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


(subclass PolyCrystalline CrystallineStructure) Geography.kif 6824-6824 Poly crystalline is a subclass of crystalline structure

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


(termFormat ChineseLanguage PolyCrystalline "多晶结构") Geography.kif 6828-6828
(termFormat EnglishLanguage PolyCrystalline "poly crystalline") Geography.kif 6826-6826

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


(=>
    (and
        (instance ?C Crystal)
        (attribute ?C MonoCrystalline)
        (instance ?Sub Substance)
        (attribute ?Sub Solid)
        (attribute ?Sub PolyCrystalline)
        (instance ?S Substance)
        (surface ?S ?Sub)
        (not
            (part ?C ?S)))
    (exists (?CLNT)
        (and
            (instance ?CLNT Collection)
            (memberCount ?CLNT ?X)
            (greaterThanOrEqualTo ?X 4)
            (=>
                (member ?MBR ?CLNT)
                (and
                    (part ?MBR ?Sub)
                    (meetsSpatially ?C ?MBR))))))
Geography.kif 6830-6850

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


(=>
    (instance ?ICING Icing)
    (exists (?ICE ?OBJ)
        (and
            (instance ?ICE Ice)
            (attribute ?ICE PolyCrystalline)
            (patient ?ICING ?ICE)
            (instance ?OBJ Object)
            (attribute ?OBJ Solid)
            (destination ?ICING ?OBJ)
            (meetsSpatially ?ICE ?OBJ))))
Weather.kif 2513-2523


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