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 17901-17902
(domain geometricPart 1 GeometricFigure)	Merge.kif 17899-17899	域幾何部分, 1 and 幾何圖
(domain geometricPart 2 GeometricFigure)	Merge.kif 17900-17900	域幾何部分, 2 and 幾何圖
(instance geometricPart BinaryPredicate)	Merge.kif 17897-17897	例幾何部分 and BinaryPredicate
(instance geometricPart PartialOrderingRelation)	Merge.kif 17898-17898	例幾何部分 and PartialOrderingRelation

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	子關係圖的角度 and 幾何部分
(subrelation pointOfFigure geometricPart)	Merge.kif 17904-17904	子關係點圖 and 幾何部分
(subrelation sideOfFigure geometricPart)	Mid-level-ontology.kif 4972-4972	子關係圖的一面 and 幾何部分
(termFormat ChineseLanguage geometricPart "几何部分")	domainEnglishFormat.kif 25824-25824
(termFormat ChineseTraditionalLanguage geometricPart "幾何部分")	domainEnglishFormat.kif 25823-25823
(termFormat EnglishLanguage geometricPart "geometric part")	domainEnglishFormat.kif 25822-25822

antecedent

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

Mid-level-ontology.kif 4872-4876

例幾何圖 and 多邊形幾何圖是幾何圖的 geometric 部分
例幾何圖 and 一維圖

consequent

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

Mid-level-ontology.kif 4878-4883

例幾何圖 and 多邊形
一維圖圖的一面一維圖 and 幾何圖幾何圖是一維圖的 geometric 部分

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

KB Term:			Term intersection

English Word: