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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - sliceOfFigure
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 5127-5130
(domain sliceOfFigure 1 TwoDimensionalObject) Mid-level-ontology.kif 5131-5131
(domain sliceOfFigure 2 CorpuscularObject) Mid-level-ontology.kif 5132-5132
(instance sliceOfFigure BinaryPredicate) Mid-level-ontology.kif 5126-5126

appearance as argument number 2
-------------------------


(format ChineseLanguage sliceOfFigure "%2 %n 是 %1 的 slice 图像") domainEnglishFormat.kif 2303-2303
(format ChineseTraditionalLanguage sliceOfFigure "%2 %n 是 %1 的 slice 圖像") domainEnglishFormat.kif 2302-2302
(format EnglishLanguage sliceOfFigure "%2 is %n a slice of figure of %1") domainEnglishFormat.kif 2301-2301
(termFormat ChineseLanguage sliceOfFigure "一块图") domainEnglishFormat.kif 53308-53308
(termFormat ChineseTraditionalLanguage sliceOfFigure "一塊圖") domainEnglishFormat.kif 53307-53307
(termFormat EnglishLanguage sliceOfFigure "slice of figure") domainEnglishFormat.kif 53306-53306


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



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