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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ShapeAttribute
ShapeAttribute(shape attribute)3-D, 3D, Platonic_body, Platonic_solid, abruptly-pinnate, acanthoid, acanthous, acellular, acerate, acerose, acetabular, acicular, aciculate, acid-base_balance, acid-base_equilibrium, acneiform, acuate, acuminate, acute, acuteness, adamantine, alabaster, alabastrine, aligned, allantoid, almond-shaped, alveolate, ameboid, amethystine, amoeboid, amorphous_shape, amygdaliform, amygdaline, amygdaloid, amygdaloidal, anchor_ring, anfractuous, angled, angular, angular_shape, angularity, angulate, annulus, antiphonal, antiphonary, apiculate, aquiline, arboreal, arboreous, arborescent...

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


s__documentation(s__ShapeAttribute,s__ChineseLanguage,'"这是任何与 Object 的形状有关的 Attribute。"')

chinese_format.kif 3961-3961
s__documentation(s__ShapeAttribute,s__EnglishLanguage,'"Any Attribute that relates to the shape of an Object."')

Merge.kif 16909-16910
s__instance(s__StructureAttribute,s__SetOrClass)

s__instance(s__ShapeAttribute,s__SetOrClass)

s__subclass(s__ShapeAttribute,s__StructureAttribute)

Merge.kif 16905-16905 Shape attribute is a subclass of StructureAttribute

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


s__instance(s__ShapeAttribute,s__SetOrClass)

s__instance(s__Circular,s__ShapeAttribute)

Mid-level-ontology.kif 23722-23722 Circular is an instance of shape attribute
s__instance(s__Concave,s__ShapeAttribute)

s__instance(s__ShapeAttribute,s__SetOrClass)

ComputingBrands.kif 2637-2637 Concave is an instance of shape attribute
s__instance(s__ConeSegment,s__ShapeAttribute)

s__instance(s__ShapeAttribute,s__SetOrClass)

Cars.kif 1440-1440 Cone segment is an instance of shape attribute
s__instance(s__ShapeAttribute,s__SetOrClass)

s__instance(s__Convex,s__ShapeAttribute)

ComputingBrands.kif 2605-2605 Convex is an instance of shape attribute
s__instance(s__DiskShaped,s__ShapeAttribute)

s__instance(s__ShapeAttribute,s__SetOrClass)

Mid-level-ontology.kif 23730-23730 DiskShaped is an instance of shape attribute
s__instance(s__ShapeAttribute,s__SetOrClass)

s__instance(s__Elliptical,s__ShapeAttribute)

Mid-level-ontology.kif 23714-23714 Elliptical is an instance of shape attribute
s__instance(s__Fillable,s__ShapeAttribute)

s__instance(s__ShapeAttribute,s__SetOrClass)

Merge.kif 9517-9517 Fillable is an instance of shape attribute
s__instance(s__Flat,s__ShapeAttribute)

s__instance(s__ShapeAttribute,s__SetOrClass)

Mid-level-ontology.kif 2717-2717 Flat is an instance of shape attribute
s__instance(s__ShapeAttribute,s__SetOrClass)

s__instance(s__LevelShape,s__ShapeAttribute)

Mid-level-ontology.kif 2750-2750 Level shape is an instance of shape attribute
s__instance(s__LineFormation,s__ShapeAttribute)

s__instance(s__ShapeAttribute,s__SetOrClass)

Mid-level-ontology.kif 17556-17556 Line formation is an instance of shape attribute
s__instance(s__ShapeAttribute,s__SetOrClass)

s__instance(s__LongAndThin,s__ShapeAttribute)

Mid-level-ontology.kif 2735-2735 Long and thin is an instance of shape attribute
s__instance(s__ShapeAttribute,s__SetOrClass)

s__instance(s__RingTorus,s__ShapeAttribute)

Cars.kif 4426-4426 Ring torus is an instance of shape attribute
s__instance(s__RoundTwoDimensional,s__ShapeAttribute)

s__instance(s__ShapeAttribute,s__SetOrClass)

Mid-level-ontology.kif 23711-23711 RoundTwoDimensional is an instance of shape attribute
s__instance(s__ShapeAttribute,s__SetOrClass)

s__instance(s__SymmetricShape,s__ShapeAttribute)

Mid-level-ontology.kif 2770-2770 Symmetric shape is an instance of shape attribute
s__instance(s__ShapeAttribute,s__SetOrClass)

s__subclass(s__Fingerprint,s__ShapeAttribute)

s__instance(s__Fingerprint,s__SetOrClass)

Mid-level-ontology.kif 10921-10921 Fingerprint is a subclass of shape attribute
s__instance(s__GeometricFigure,s__SetOrClass)

s__instance(s__ShapeAttribute,s__SetOrClass)

s__subclass(s__GeometricFigure,s__ShapeAttribute)

Merge.kif 16956-16956 Geometric figure is a subclass of shape attribute
s__instance(s__MoleculeStructuralAttribute,s__SetOrClass)

s__subclass(s__MoleculeStructuralAttribute,s__ShapeAttribute)

s__instance(s__ShapeAttribute,s__SetOrClass)

VirusProteinAndCellPart.kif 109-109 Molecule structural attribute is a subclass of shape attribute
s__termFormat(s__ChineseLanguage,s__ShapeAttribute,'"形状属性"')

chinese_format.kif 1254-1254
s__termFormat(s__EnglishLanguage,s__ShapeAttribute,'"shape attribute"')

english_format.kif 1734-1734

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


s__domain(s__shape__m,n__2,s__ShapeAttribute)

Mid-level-ontology.kif 23701-23701 The number 2 argument of shape is an instance of shape attribute

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


( ! [V__SURFACE,V__OBJ,V__ATTRIBUTE] :
   (((s__instance(V__SURFACE,s__SelfConnectedObject) &
         s__instance(V__OBJ,s__SelfConnectedObject))
       =>
       (((s__instance(V__ATTRIBUTE,s__ShapeAttribute) &
             s__attribute(V__OBJ,V__ATTRIBUTE)
           &
           s__surface(V__SURFACE,V__OBJ))
       =>
       (s__attribute(V__SURFACE,V__ATTRIBUTE)))))
)
)

Merge.kif 16912-16917
( ! [V__OBJ,V__SHAPE] :
   (((s__property(V__OBJ,V__SHAPE)
       &
       s__instance(V__OBJ,s__Physical) &
       s__instance(V__SHAPE,s__ShapeAttribute))
     =>
     (s__shape(V__OBJ,V__SHAPE)))
)
)

Mid-level-ontology.kif 23704-23709

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12023-12036


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