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 17844-17845
(domain geometricPart 1 GeometricFigure)	Merge.kif 17842-17842	Die Zahl 1 Argument von geometricPart ist ein fall von GeometricFigure %n{nicht}
(domain geometricPart 2 GeometricFigure)	Merge.kif 17843-17843	Die Zahl 2 Argument von geometricPart ist ein fall von GeometricFigure %n{nicht}
(instance geometricPart BinaryPredicate)	Merge.kif 17840-17840	geometricPart ist ein fall von BinaryPredicate %n{nicht}
(instance geometricPart PartialOrderingRelation)	Merge.kif 17841-17841	geometricPart ist ein fall von PartialOrderingRelation %n{nicht}

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 17854-17854	angleOfFigure ist eine teilrelation von geometricPart
(subrelation pointOfFigure geometricPart)	Merge.kif 17847-17847	pointOfFigure ist eine teilrelation von geometricPart
(subrelation sideOfFigure geometricPart)	Mid-level-ontology.kif 4977-4977	sideOfFigure ist eine teilrelation von geometricPart
(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 4877-4881

Wenn GeometricFigure ist ein fall von Polygon %n{nicht} und geometricPart ** GeometricFigure and ** GeometricFigure,
dann ** ** GeometricFigure ist ein fall von OneDimensionalFigure %n{nicht}

consequent

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

Mid-level-ontology.kif 4883-4888

Wenn GeometricFigure ist ein fall von Polygon %n{nicht},
dann es gibt OneDimensionalFigure um sideOfFigure ** OneDimensionalFigure and ** GeometricFigure und geometricPart ** OneDimensionalFigure and ** GeometricFigure

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

KB Term:			Term intersection

English Word: