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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - geometricPart
geometricPart

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 18005-18006
(domain geometricPart 1 GeometricFigure) Merge.kif 18003-18003
(domain geometricPart 2 GeometricFigure) Merge.kif 18004-18004
(instance geometricPart BinaryPredicate) Merge.kif 18001-18001
(instance geometricPart PartialOrderingRelation) Merge.kif 18002-18002

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 18015-18015
(subrelation faceOfFigure geometricPart) Mid-level-ontology.kif 5338-5338
(subrelation pointOfFigure geometricPart) Merge.kif 18008-18008
(subrelation sideOfFigure geometricPart) Mid-level-ontology.kif 5915-5915
(termFormat ChineseLanguage geometricPart "几何部分") domainEnglishFormat.kif 25835-25835
(termFormat ChineseTraditionalLanguage geometricPart "幾何部分") domainEnglishFormat.kif 25834-25834
(termFormat EnglishLanguage geometricPart "geometric part") domainEnglishFormat.kif 25833-25833

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


(=>
    (and
        (equal ?S CircleSector)
        (equal ?C Circle)
        (geometricPart ?S ?C)
        (equal ?L ClosedLineSegment)
        (sideOfFigure ?L ?S))
    (lineMeasure ?L
        (RadiusFn ?C)))
Mid-level-ontology.kif 5626-5633
(=>
    (and
        (equal ?S CircularSegment)
        (equal ?A CircularArc)
        (geometricPart ?A ?S)
        (equal ?C ChordOfACircle)
        (geometricPart ?C ?S))
    (exists (?P1 ?P2)
        (and
            (not
                (equal ?P1 ?P2))
            (endPointsOfLine ?P1 ?P2 ?C)
            (pointOfIntersection ?A ?C ?P1)
            (pointOfIntersection ?A ?C ?P2))))
Mid-level-ontology.kif 5889-5902
(=>
    (and
        (instance ?POLYGON Polygon)
        (geometricPart ?PART ?POLYGON))
    (equal ?PART StraightLine))
Mid-level-ontology.kif 5506-5510

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


(=>
    (and
        (arcLength ?SEMI
            (MeasureFn ?L ?U))
        (equal ?SEMI SemicircularArc))
    (exists (?CIR ?C)
        (and
            (equal ?CIR Circle)
            (geometricPart ?SEMI ?CIR)
            (circumference ?CIR
                (MeasureFn ?C ?U))
            (equal ?C
                (AdditionFn ?L ?L)))))
Mid-level-ontology.kif 5700-5710
(=>
    (and
        (equal ?A CircularArc)
        (pointOfFigure ?P ?A))
    (exists (?C ?P2)
        (and
            (geometricPart ?A ?C)
            (equal ?C Circle)
            (pointOfFigure ?P2 ?C)
            (equal ?P ?P2))))
Mid-level-ontology.kif 5658-5667
(=>
    (and
        (equal ?S SecantLine)
        (pointOfFigure ?P1 ?S)
        (pointOfFigure ?P2 ?S)
        (not
            (equal ?P1 ?P2))
        (equal ?C Circle)
        (pointOfFigure ?P1 ?C)
        (pointOfFigure ?P2 ?C))
    (exists (?CHORD)
        (and
            (equal ?CHORD ChordOfACircle)
            (endPointsOfLine ?P1 ?P2 ?CHORD)
            (geometricPart ?CHORD ?S))))
Mid-level-ontology.kif 5867-5881
(=>
    (equal ?A CircularArc)
    (exists (?C)
        (and
            (equal ?C Circle)
            (geometricPart ?A ?C))))
Mid-level-ontology.kif 5649-5654
(=>
    (equal ?S CircleSector)
    (exists (?C ?A)
        (and
            (equal ?C Circle)
            (geometricPart ?S ?C)
            (equal ?A CircularArc)
            (geometricPart ?A ?C)
            (sideOfFigure ?A ?S)
            (sideOfIntersection ?S ?C ?A))))
Mid-level-ontology.kif 5606-5615
(=>
    (instance ?A CentralAngle)
    (exists (?L ?L2 ?C ?R)
        (and
            (equal ?L ClosedLineSegment)
            (sideOfFigure ?L ?A)
            (equal ?L2 ClosedLineSegment)
            (sideOfFigure ?L2 ?A)
            (equal ?C Circle)
            (geometricPart ?A ?C)
            (pointOfIntersection ?L ?L2
                (CenterOfCircleFn ?C))
            (lineMeasure ?L ?R)
            (lineMeasure ?L2 ?R)
            (radius ?C ?R))))
Mid-level-ontology.kif 5737-5751
(=>
    (instance ?P Polyhedron)
    (exists (?F)
        (and
            (faceOfFigure ?F ?P)
            (geometricPart ?F ?P))))
Mid-level-ontology.kif 5340-5345
(=>
    (instance ?POLYGON Polygon)
    (exists (?SIDE)
        (and
            (sideOfFigure ?SIDE ?POLYGON)
            (geometricPart ?SIDE ?POLYGON))))
Mid-level-ontology.kif 5512-5517


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