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
(domain geometricPart 2 GeometricFigure)	Merge.kif 17900-17900
(instance geometricPart BinaryPredicate)	Merge.kif 17897-17897
(instance geometricPart PartialOrderingRelation)	Merge.kif 17898-17898

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
(subrelation pointOfFigure geometricPart)	Merge.kif 17904-17904
(subrelation sideOfFigure geometricPart)	Mid-level-ontology.kif 4972-4972
(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

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: