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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3961-3961
No TPTP formula. May not be expressible in strict first order. Merge.kif 16561-16562
No TPTP formula. May not be expressible in strict first order. Merge.kif 16557-16557 Shape attribute is a subclass of StructureAttribute

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21811-21811 Circular is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2637-2637 Concave is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order. Cars.kif 1440-1440 Cone segment is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2605-2605 Convex is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21819-21819 DiskShaped is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21803-21803 Elliptical is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 9396-9396 Fillable is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2717-2717 Flat is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2750-2750 Level shape is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15963-15963 Line formation is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2735-2735 Long and thin is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order. Cars.kif 4425-4425 Ring torus is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21800-21800 RoundTwoDimensional is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2770-2770 Symmetric shape is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9402-9402 Fingerprint is a subclass of shape attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 16608-16608 Geometric figure is a subclass of shape attribute
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 109-109 Molecule structural attribute is a subclass of shape attribute
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1254-1254
No TPTP formula. May not be expressible in strict first order. english_format.kif 1734-1734

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21790-21790 The number 2 argument of shape is an instance of shape attribute

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16564-16569
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21793-21798

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11764-11777


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