| 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 16702-16703 | |
| (domain lineMeasure 1 OneDimensionalFigure) | Merge.kif 16700-16700 | The number 1 argument of line measure is an instance of one dimensional figure |
| (domain lineMeasure 2 LengthMeasure) | Merge.kif 16701-16701 | The number 2 argument of line measure is an instance of length measure |
| (instance lineMeasure BinaryPredicate) | Merge.kif 16698-16698 | line measure is an instance of binary predicate |
| (instance lineMeasure TotalValuedRelation) | Merge.kif 16699-16699 | 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 34507-34507 | |
| (termFormat ChineseTraditionalLanguage lineMeasure "線測量") | domainEnglishFormat.kif 34506-34506 | |
| (termFormat EnglishLanguage lineMeasure "line measure") | domainEnglishFormat.kif 34505-34505 |
| 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