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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Rough

Sigma KEE - Rough
Roughイレギュラー, ちぐはぐ, 不揃い, 粗い, 粗大, 粗目, いかつい, ごっつい, ざらざら, ごつい, 凸凹, 粗い, 荒い, 凸凹,

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


(documentation Rough ChineseLanguage "拥有这个 Attribute Object 的表面是粗躁的。") Merge.kif 18179-18179
(documentation Rough EnglishLanguage "An Object with this Attribute has a rough surface.") Merge.kif 18177-18178
(instance Rough TextureAttribute) Merge.kif 18175-18175

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


(contraryAttribute Smooth Rough) Merge.kif 18176-18176
(termFormat EnglishLanguage Rough "rough") domainEnglishFormat.kif 8843-8843

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


(=>
    (and
        (instance ?P Roughening)
        (patient ?P ?OBJ))
    (exists (?PART)
        (and
            (superficialPart ?PART ?OBJ)
            (holdsDuring
                (EndFn
                    (WhenFn ?P))
                (attribute ?PART Rough)))))
Mid-level-ontology.kif 23095-23104


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