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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ShapeAttribute

 Sigma KEE - ShapeAttribute
ShapeAttribute(attribut de forme)

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 17733-17734
No TPTP formula. May not be expressible in strict first order. Merge.kif 17729-17729 Attribut de forme est une sous-classe de StructureAttribute

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25598-25598 Circular est une instance de attribut de forme
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2678-2678 Concave est une instance de attribut de forme
No TPTP formula. May not be expressible in strict first order. Cars.kif 1426-1426 ConeSegment est une instance de attribut de forme
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2646-2646 Convex est une instance de attribut de forme
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25606-25606 DiskShaped est une instance de attribut de forme
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25590-25590 Elliptical est une instance de attribut de forme
No TPTP formula. May not be expressible in strict first order. Merge.kif 9949-9949 Fillable est une instance de attribut de forme
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2781-2781 Flat est une instance de attribut de forme
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2818-2818 LevelShape est une instance de attribut de forme
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19424-19424 LineFormation est une instance de attribut de forme
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2801-2801 LongAndThin est une instance de attribut de forme
No TPTP formula. May not be expressible in strict first order. Cars.kif 4409-4409 RingTorus est une instance de attribut de forme
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25587-25587 RoundTwoDimensional est une instance de attribut de forme
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2838-2838 SymmetricShape est une instance de attribut de forme
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12532-12532 Fingerprint est une sous-classe de attribut de forme
No TPTP formula. May not be expressible in strict first order. Merge.kif 17780-17780 GeometricFigure est une sous-classe de attribut de forme
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 154-154 MoleculeStructuralAttribute est une sous-classe de attribut de forme
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

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 Le nombre 2 argument de cellShape est une instance de attribut de forme
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25577-25577 Le nombre 2 argument de shape est une instance de attribut de forme

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17736-17741
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25580-25585

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12656-12669


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