TreeView Knowledge Base Browser

appearance as argument number 1

(documentation lineMeasure ChineseLanguage "(lineMeasure ?LINE ?MEASURE)的意思是直线 ?LINE 的 LengthMeasure 是 ?MEASURE。")	chinese_format.kif 3995-3996
(documentation lineMeasure EnglishLanguage "(lineMeasure ?LINE ?MEASURE) means that the straight line ?LINE has the LengthMeasure of ?MEASURE.")	Merge.kif 17968-17969
(domain lineMeasure 1 OneDimensionalFigure)	Merge.kif 17966-17966	Die Zahl 1 Argument von lineMeasure ist ein fall von OneDimensionalFigure %n{nicht}
(domain lineMeasure 2 LengthMeasure)	Merge.kif 17967-17967	Die Zahl 2 Argument von lineMeasure ist ein fall von LengthMeasure %n{nicht}
(instance lineMeasure BinaryPredicate)	Merge.kif 17964-17964	lineMeasure ist ein fall von BinaryPredicate %n{nicht}
(instance lineMeasure TotalValuedRelation)	Merge.kif 17965-17965	lineMeasure ist ein fall von TotalValuedRelation %n{nicht}

appearance as argument number 2

(format ChineseLanguage lineMeasure "%2 %n 是 %1 的 line 量测")	domainEnglishFormat.kif 1543-1543
(format ChineseTraditionalLanguage lineMeasure "%2 %n 是 %1 的 line 量测")	domainEnglishFormat.kif 1542-1542
(format EnglishLanguage lineMeasure "%2 is %n a line measure of %1")	domainEnglishFormat.kif 1541-1541
(termFormat ChineseLanguage lineMeasure "线测量")	domainEnglishFormat.kif 34517-34517
(termFormat ChineseTraditionalLanguage lineMeasure "線測量")	domainEnglishFormat.kif 34516-34516
(termFormat EnglishLanguage lineMeasure "line measure")	domainEnglishFormat.kif 34515-34515

consequent

(=>
    (instance ?SQUARE Square)
    (exists (?LENGTH)
        (forall (?SIDE)
            (=>
                (sideOfFigure ?SIDE ?SQUARE)
                (lineMeasure ?SIDE ?LENGTH)))))

Mid-level-ontology.kif 4937-4943

Wenn GeometricFigure ist ein fall von Square %n{nicht},
dann es gibt LengthMeasure um fuer alle OneDimensionalFigure
- wenn sideOfFigure ** OneDimensionalFigure and ** GeometricFigure,
- dann lineMeasure ** OneDimensionalFigure and ** LengthMeasure

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

KB Term:			Term intersection

English Word: