| 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 | The number 1 argument of line measure is an instance of one dimensional figure |
| (domain lineMeasure 2 LengthMeasure) | Merge.kif 18046-18046 | The number 2 argument of line measure is an instance of length measure |
| (instance lineMeasure BinaryPredicate) | Merge.kif 18043-18043 | line measure is an instance of binary predicate |
| (instance lineMeasure TotalValuedRelation) | Merge.kif 18044-18044 | line measure is an instance of total valued relation |
| 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 34551-34551 | |
| (termFormat ChineseTraditionalLanguage lineMeasure "線測量") | domainEnglishFormat.kif 34550-34550 | |
| (termFormat EnglishLanguage lineMeasure "line measure") | domainEnglishFormat.kif 34549-34549 |
| 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