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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ShapeAttribute
  annualExpendituresOfArea

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 17812-17813
No TPTP formula. May not be expressible in strict first order. Merge.kif 17808-17808 Shape attribute is a subclass of structure attribute

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2678-2678 Concave is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order. Cars.kif 1426-1426 Cone segment is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2646-2646 Convex is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25639-25639 Disk shaped is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 9985-9985 Fillable is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2774-2774 Flat is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2811-2811 Level shape is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19451-19451 Line formation is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2794-2794 Long and thin is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order. Cars.kif 4394-4394 Ring torus is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25631-25631 Round two dimensional is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2831-2831 Symmetric shape is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12559-12559 Fingerprint is a subclass of shape attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17859-17859 Geometric figure is a subclass of shape attribute
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 154-154 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 1729-1729
No TPTP formula. May not be expressible in strict first order. french_format.kif 932-932
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 466-466
No TPTP formula. May not be expressible in strict first order. terms-it.txt 469-469
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2616-2616
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 884-884
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 471-471
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 505-505

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 405-405 The number 2 argument of cell shape is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 7622-7622 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 17815-17820
No TPTP formula. May not be expressible in strict first order. Merge.kif 7625-7630

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12702-12715


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 3.0 is open source software produced by Articulate Software and its partners