Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - sliceOfFigure

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 4806-4809
(domain sliceOfFigure 1 TwoDimensionalObject) Mid-level-ontology.kif 4810-4810 sliceOfFigure の数値 1 引数は TwoDimensionalObjectinstance では %n
(domain sliceOfFigure 2 CorpuscularObject) Mid-level-ontology.kif 4811-4811 sliceOfFigure の数値 2 引数は 微粒子オブジェクトinstance では %n
(instance sliceOfFigure BinaryPredicate) Mid-level-ontology.kif 4805-4805 sliceOfFigure2進述語instance では %n

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 53390-53390
(termFormat ChineseTraditionalLanguage sliceOfFigure "一塊圖") domainEnglishFormat.kif 53389-53389
(termFormat EnglishLanguage sliceOfFigure "slice of figure") domainEnglishFormat.kif 53388-53388

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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners