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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 17755-17756
No TPTP formula. May not be expressible in strict first order. Merge.kif 17751-17751 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. 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 25594-25594 DiskShaped est une instance de attribut de forme
No TPTP formula. May not be expressible in strict first order. Merge.kif 9971-9971 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 19423-19423 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 4417-4417 RingTorus est une instance de attribut de forme
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25586-25586 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 12531-12531 Fingerprint est une sous-classe de attribut de forme
No TPTP formula. May not be expressible in strict first order. Merge.kif 17802-17802 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
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 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 25576-25576 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 17758-17763
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25579-25584

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12678-12691


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