geometricPart - Sigma Knowledge base Browser

appearance as argument number 1

(documentation geometricPart ChineseLanguage "(geometricPart ?PART ?WHOLE)的意思是 GeometricFigure ?PART 是 GeometricFigure ?WHOLE 的一部分。")	chinese_format.kif 3984-3985
(documentation geometricPart EnglishLanguage "(geometricPart ?PART ?WHOLE) means that the GeometricFigure ?PART is part of the GeometricFigure ?WHOLE.")	Merge.kif 17901-17902
(domain geometricPart 1 GeometricFigure)	Merge.kif 17899-17899	The number 1 argument of geometric part is an instance of geometric figure
(domain geometricPart 2 GeometricFigure)	Merge.kif 17900-17900	The number 2 argument of geometric part is an instance of geometric figure
(instance geometricPart BinaryPredicate)	Merge.kif 17897-17897	geometric part is an instance of binary predicate
(instance geometricPart PartialOrderingRelation)	Merge.kif 17898-17898	geometric part is an instance of partial ordering relation

appearance as argument number 2

(format ChineseLanguage geometricPart "%2 %n 是 %1 的 geometric 部分")	domainEnglishFormat.kif 1105-1105
(format ChineseTraditionalLanguage geometricPart "%2 %n 是 %1 的 geometric 部分")	domainEnglishFormat.kif 1104-1104
(format EnglishLanguage geometricPart "%2 is %n a geometric part of %1")	domainEnglishFormat.kif 1103-1103
(subrelation angleOfFigure geometricPart)	Merge.kif 17911-17911	angle of figure is a subrelation of geometric part
(subrelation pointOfFigure geometricPart)	Merge.kif 17904-17904	point of figure is a subrelation of geometric part
(subrelation sideOfFigure geometricPart)	Mid-level-ontology.kif 4972-4972	side of figure is a subrelation of geometric part
(termFormat ChineseLanguage geometricPart "几何部分")	domainEnglishFormat.kif 25858-25858	side of figure is a subrelation of geometric part
(termFormat ChineseTraditionalLanguage geometricPart "幾何部分")	domainEnglishFormat.kif 25857-25857	side of figure is a subrelation of geometric part
(termFormat EnglishLanguage geometricPart "geometric part")	domainEnglishFormat.kif 25856-25856	side of figure is a subrelation of geometric part

antecedent

(=>
    (and
        (instance ?POLYGON Polygon)
        (geometricPart ?PART ?POLYGON))
    (instance ?PART OneDimensionalFigure))

Mid-level-ontology.kif 4872-4876

If a geometric figure is an instance of polygon and the geometric figure is a geometric part of another geometric figure,
then the other geometric figure is an instance of one dimensional figure

consequent

(=>
    (instance ?POLYGON Polygon)
    (exists (?SIDE)
        (and
            (sideOfFigure ?SIDE ?POLYGON)
            (geometricPart ?SIDE ?POLYGON))))

Mid-level-ontology.kif 4878-4883

If a geometric figure is an instance of polygon,
then there exists an one dimensional figure such that the size of the geometric figure is the one dimensional figure and the geometric figure is a geometric part of the one dimensional figure

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

KB Term:			Term intersection

English Word: