TreeView Knowledge Base Browser

appearance as argument number 1

(documentation sliceOfFigure EnglishLanguage "(sliceOfFigure ?SLICE ?FIGURE) indicates that ?SLICE is a 2-d section of the 3-d figure ?FIGURE. Or, more formally, ?SLICE is 2-d figure formed by the intersection of a plane with the 3-d figure ?FIGURE.")	Mid-level-ontology.kif 4801-4804
(domain sliceOfFigure 1 TwoDimensionalObject)	Mid-level-ontology.kif 4805-4805	Die Zahl 1 Argument von sliceOfFigure ist ein fall von TwoDimensionalObject %n{nicht}
(domain sliceOfFigure 2 CorpuscularObject)	Mid-level-ontology.kif 4806-4806	Die Zahl 2 Argument von sliceOfFigure ist ein fall von CorpuscularObject %n{nicht}
(instance sliceOfFigure BinaryPredicate)	Mid-level-ontology.kif 4800-4800	sliceOfFigure ist ein fall von BinaryPredicate %n{nicht}

appearance as argument number 2

(format ChineseLanguage sliceOfFigure "%2 %n 是 %1 的 slice 图像")	domainEnglishFormat.kif 2307-2307
(format ChineseTraditionalLanguage sliceOfFigure "%2 %n 是 %1 的 slice 圖像")	domainEnglishFormat.kif 2306-2306
(format EnglishLanguage sliceOfFigure "%2 is %n a slice of figure of %1")	domainEnglishFormat.kif 2305-2305
(termFormat ChineseLanguage sliceOfFigure "一块图")	domainEnglishFormat.kif 53392-53392
(termFormat ChineseTraditionalLanguage sliceOfFigure "一塊圖")	domainEnglishFormat.kif 53391-53391
(termFormat EnglishLanguage sliceOfFigure "slice of figure")	domainEnglishFormat.kif 53390-53390