| 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 |
| consequent |
|
|
| (=> (sideOfFigure ?SIDE Square) (lineMeasure ?SIDE ?LENGTH)) |
Mid-level-ontology.kif 4925-4927 |
|
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