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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ShapeAttribute

Sigma KEE - ShapeAttribute
ShapeAttribute(形状属性)

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


(documentation ShapeAttribute ChineseLanguage "这是任何与 Object 的形状有关的 Attribute。") Merge.kif 18181-18181
(documentation ShapeAttribute EnglishLanguage "Any Attribute that relates to the shape of an Object.") Merge.kif 18179-18180
(subclass ShapeAttribute StructureAttribute) Merge.kif 18175-18175 形状属性StructureAttributesubclass

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


(instance Circular ShapeAttribute) Mid-level-ontology.kif 23514-23514 Circular形状属性instance
(instance Concave ShapeAttribute) ComputingBrands.kif 1118-1118 Concave形状属性instance
(instance ConeSegment ShapeAttribute) Cars.kif 1421-1421 ConeSegment形状属性instance
(instance Convex ShapeAttribute) ComputingBrands.kif 1099-1099 Convex形状属性instance
(instance DiskShaped ShapeAttribute) Mid-level-ontology.kif 23522-23522 DiskShaped形状属性instance
(instance Elliptical ShapeAttribute) Mid-level-ontology.kif 23506-23506 Elliptical形状属性instance
(instance Fillable ShapeAttribute) Merge.kif 9977-9977 Fillable形状属性instance
(instance Flat ShapeAttribute) Mid-level-ontology.kif 3251-3251 Flat形状属性instance
(instance LevelShape ShapeAttribute) Mid-level-ontology.kif 3289-3289 LevelShape形状属性instance
(instance LineFormation ShapeAttribute) Mid-level-ontology.kif 17203-17203 LineFormation形状属性instance
(instance LongAndThin ShapeAttribute) Mid-level-ontology.kif 3274-3274 LongAndThin形状属性instance
(instance RingTorus ShapeAttribute) Cars.kif 4373-4373 RingTorus形状属性instance
(instance RoundTwoDimensional ShapeAttribute) Mid-level-ontology.kif 23503-23503 RoundTwoDimensional形状属性instance
(instance SymmetricShape ShapeAttribute) Mid-level-ontology.kif 3306-3306 SymmetricShape形状属性instance
(subclass Fingerprint ShapeAttribute) Mid-level-ontology.kif 10251-10251 Fingerprint形状属性subclass
(subclass GeometricFigure ShapeAttribute) Merge.kif 18233-18233 GeometricFigure形状属性subclass
(subclass MoleculeStructuralAttribute ShapeAttribute) VirusProteinAndCellPart.kif 109-109 MoleculeStructuralAttribute形状属性subclass
(termFormat ChineseLanguage ShapeAttribute "形状属性") chinese_format.kif 1254-1254 termFormat ChineseLanguage, 形状属性 and "形状属性"
(termFormat EnglishLanguage ShapeAttribute "shape attribute") english_format.kif 941-941 termFormat EnglishLanguage, 形状属性 and "shape attribute"

appearance as argument number 3
-------------------------


(domain shape 2 ShapeAttribute) Mid-level-ontology.kif 23490-23490 shape 的 2 数量 是 形状属性instance

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


(=>
    (and
        (instance ?ATTRIBUTE ShapeAttribute)
        (attribute ?OBJ ?ATTRIBUTE)
        (surface ?SURFACE ?OBJ))
    (attribute ?SURFACE ?ATTRIBUTE))
Merge.kif 18183-18188
(=>
    (and
        (property ?OBJ ?SHAPE)
        (instance ?OBJ Physical)
        (instance ?SHAPE ShapeAttribute))
    (shape ?OBJ ?SHAPE))
Mid-level-ontology.kif 23496-23501

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


(=>
    (and
        (instance ?ALT ShapeChange)
        (patient ?ALT ?OBJ))
    (exists (?PROPERTY)
        (and
            (instance ?PROPERTY ShapeAttribute)
            (or
                (and
                    (holdsDuring
                        (BeginFn
                            (WhenFn ?ALT))
                        (attribute ?OBJ ?PROPERTY))
                    (holdsDuring
                        (EndFn
                            (WhenFn ?ALT))
                        (not
                            (attribute ?OBJ ?PROPERTY))))
                (and
                    (holdsDuring
                        (BeginFn
                            (WhenFn ?ALT))
                        (not
                            (attribute ?OBJ ?PROPERTY)))
                    (holdsDuring
                        (EndFn
                            (WhenFn ?ALT))
                        (attribute ?OBJ ?PROPERTY)))))))
Merge.kif 12571-12584


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