| 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 16653-16654 | |
| (domain lineMeasure 1 OneDimensionalFigure) | Merge.kif 16651-16651 | The number 1 argument of line measure is an instance of one dimensional figure |
| (domain lineMeasure 2 LengthMeasure) | Merge.kif 16652-16652 | The number 2 argument of line measure is an instance of length measure |
| (instance lineMeasure BinaryPredicate) | Merge.kif 16649-16649 | line measure is an instance of binary predicate |
| (instance lineMeasure TotalValuedRelation) | Merge.kif 16650-16650 | 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 34432-34432 | |
| (termFormat ChineseTraditionalLanguage lineMeasure "線測量") | domainEnglishFormat.kif 34431-34431 | |
| (termFormat EnglishLanguage lineMeasure "line measure") | domainEnglishFormat.kif 34430-34430 |
| consequent |
|
|
| (=> (instance ?SQUARE Square) (exists (?LENGTH) (forall (?SIDE) (=> (sideOfFigure ?SIDE ?SQUARE) (lineMeasure ?SIDE ?LENGTH))))) |
Mid-level-ontology.kif 5240-5246 |
|
|
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