TreeView 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 17911-17912
(domain geometricPart 1 GeometricFigure)	Merge.kif 17909-17909
(domain geometricPart 2 GeometricFigure)	Merge.kif 17910-17910
(instance geometricPart BinaryPredicate)	Merge.kif 17907-17907
(instance geometricPart PartialOrderingRelation)	Merge.kif 17908-17908

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 17921-17921
(subrelation pointOfFigure geometricPart)	Merge.kif 17914-17914
(subrelation sideOfFigure geometricPart)	Mid-level-ontology.kif 4972-4972
(termFormat ChineseLanguage geometricPart "几何部分")	domainEnglishFormat.kif 25853-25853
(termFormat ChineseTraditionalLanguage geometricPart "幾何部分")	domainEnglishFormat.kif 25852-25852
(termFormat EnglishLanguage geometricPart "geometric part")	domainEnglishFormat.kif 25851-25851

antecedent

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

Mid-level-ontology.kif 4872-4876

consequent

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

Mid-level-ontology.kif 4878-4883

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: