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 |
![]() |
![]() |