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

Formal Language: 



KB Term:  Term intersection
English Word: 

  lineMeasure

 Sigma KEE - lineMeasure
lineMeasure

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 18047-18048
(domain lineMeasure 1 OneDimensionalFigure) Merge.kif 18045-18045 O argumento numero 1 de lineMeasure e' uma instancia de OneDimensionalFigure
(domain lineMeasure 2 LengthMeasure) Merge.kif 18046-18046 O argumento numero 2 de lineMeasure e' uma instancia de Medida de Comprimento
(instance lineMeasure BinaryPredicate) Merge.kif 18043-18043 lineMeasure e' uma instancia de Predicado Binario
(instance lineMeasure TotalValuedRelation) Merge.kif 18044-18044 lineMeasure e' uma instancia de Relacao Total

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

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