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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Frosting
Frosting

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


(documentation Frosting ChineseLanguage "FrostingIce Crystal 褂在 Solid Object 或积聚的 Process。") Weather.kif 2776-2777
(documentation Frosting EnglishLanguage "Frosting is the Process by which a coating or deposit of Ice Crystals form on the surface of Solid Objects.") Weather.kif 2774-2775
(subclass Frosting Deposition) Weather.kif 2778-2778
(subclass Frosting WeatherProcess) Weather.kif 2779-2779

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


(termFormat ChineseLanguage Frosting "霜") Weather.kif 2780-2780

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


(=>
    (instance ?FROST Frosting)
    (exists (?ICE ?OBJ)
        (and
            (instance ?ICE Ice)
            (attribute ?ICE MonoCrystalline)
            (patient ?FROST ?ICE)
            (instance ?OBJ Object)
            (attribute ?OBJ Solid)
            (destination ?FROST ?OBJ)
            (meetsSpatially ?FROST ?OBJ))))
Weather.kif 2782-2792


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