| 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 17938-17939 | |
| (domain lineMeasure 1 OneDimensionalFigure) | Merge.kif 17936-17936 | lineMeasure の数値 1 引数は OneDimensionalFigure の instance では %n |
| (domain lineMeasure 2 LengthMeasure) | Merge.kif 17937-17937 | lineMeasure の数値 2 引数は 長さ測定 の instance では %n |
| (instance lineMeasure BinaryPredicate) | Merge.kif 17934-17934 | lineMeasure は 2進述語 の instance では %n |
| (instance lineMeasure TotalValuedRelation) | Merge.kif 17935-17935 | lineMeasure は 合計値関係 の instance では %n |
| 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 34523-34523 | |
| (termFormat ChineseTraditionalLanguage lineMeasure "線測量") | domainEnglishFormat.kif 34522-34522 | |
| (termFormat EnglishLanguage lineMeasure "line measure") | domainEnglishFormat.kif 34521-34521 |
| consequent |
|
|
| (=> (instance ?SQUARE Square) (exists (?LENGTH) (forall (?SIDE) (=> (sideOfFigure ?SIDE ?SQUARE) (lineMeasure ?SIDE ?LENGTH))))) |
Mid-level-ontology.kif 4909-4915 |
|
|
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