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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Smooth
Smooth

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


(contraryAttribute Smooth Rough) Merge.kif 17959-17959 SmoothRoughdisjoint では
(documentation Smooth ChineseLanguage "拥有这个 Attribute Object 的表面是平滑的。") chinese_format.kif 3966-3966 SmoothRoughdisjoint では
(documentation Smooth EnglishLanguage "An Object with this Attribute has a smooth surface.") Merge.kif 17955-17956 SmoothRoughdisjoint では
(instance Smooth TextureAttribute) Merge.kif 17954-17954 SmoothTextureAttributeinstance では

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


(termFormat ChineseLanguage Smooth "平滑") domainEnglishFormat.kif 53538-53538
(termFormat ChineseTraditionalLanguage Smooth "平滑") domainEnglishFormat.kif 53537-53537
(termFormat EnglishLanguage Smooth "smooth") domainEnglishFormat.kif 53536-53536

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


(=>
    (and
        (instance ?SMOOTH Smoothing)
        (patient ?SMOOTH ?OBJ))
    (exists (?PART)
        (and
            (superficialPart ?PART ?OBJ)
            (holdsDuring
                (EndFn
                    (WhenFn ?SMOOTH))
                (attribute ?PART Smooth)))))
Mid-level-ontology.kif 26882-26891
(=>
    (instance ?G Rifle)
    (exists (?B ?P)
        (and
            (instance ?B GunBore)
            (properPart ?B ?G)
            (superficialPart ?P ?B)
            (orientation ?P ?B Inside)
            (not
                (attribute ?P Smooth)))))
Mid-level-ontology.kif 1960-1969
(=>
    (instance ?G Shotgun)
    (exists (?B ?P)
        (and
            (instance ?B GunBore)
            (properPart ?B ?G)
            (superficialPart ?P ?B)
            (orientation ?P ?B Inside)
            (attribute ?P Smooth))))
Mid-level-ontology.kif 1943-1951


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