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 3292-3293
(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 3290-3291
(subclass Frosting Deposition) Weather.kif 3294-3294
(subclass Frosting WeatherProcess) Weather.kif 3295-3295

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


(termFormat ChineseLanguage Frosting "霜") Weather.kif 3296-3296
(termFormat EnglishLanguage Frosting "frosting") Weather.kif 3297-3297

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 3299-3309


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