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 17990-17991
(domain lineMeasure 1 OneDimensionalFigure) Merge.kif 17988-17988 Die Zahl 1 Argument von lineMeasure ist ein fall von OneDimensionalFigure %n{nicht}
(domain lineMeasure 2 LengthMeasure) Merge.kif 17989-17989 Die Zahl 2 Argument von lineMeasure ist ein fall von LengthMeasure %n{nicht}
(instance lineMeasure BinaryPredicate) Merge.kif 17986-17986 lineMeasure ist ein fall von BinaryPredicate %n{nicht}
(instance lineMeasure TotalValuedRelation) Merge.kif 17987-17987 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

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