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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ThreeDimensionalFigure

 Sigma KEE - ThreeDimensionalFigure
ThreeDimensionalFigure

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3982-3983
No TPTP formula. May not be expressible in strict first order. Merge.kif 17893-17895
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2400-2400
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2029-2029
No TPTP formula. May not be expressible in strict first order. Merge.kif 17892-17892 ThreeDimensionalFigure est une sous-classe de GeometricFigure

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4808-4808 ConvexRoundShape est une instance de ThreeDimensionalFigure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4834-4834 Cylinder est une instance de ThreeDimensionalFigure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4830-4830 Cone est une sous-classe de ThreeDimensionalFigure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26588-26588 HemisphereFigure est une sous-classe de ThreeDimensionalFigure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4979-4979 Sphere est une sous-classe de ThreeDimensionalFigure
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57904-57904
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57903-57903
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57902-57902

appearance as argument number 5
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 17860-17860 GeometricFigure est compl�tement d�compos� en GeometricPoint, OneDimensionalFigure, TwoDimensionalFigure, + ThreeDimensionalFigure


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