Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Scales(scales) |  | balance, scale, weighbridge, weighing_machine |
| appearance as argument number 1 |
|
|
| (subclass Scales MeasuringDevice) | Society.kif 849-849 | Scales is a subclass of measuring device |
| (documentation Scales EnglishLanguage "A measuring instrument for weighing; shows amount of mass.") | Society.kif 850-850 | Scales is a subclass of measuring device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Scales "scales") | domainEnglishFormat.kif 65447-65447 |
| antecedent |
|
|
| (=> (and (instance ?M Measuring) (result ?M ?Q) (instrument ?M ?S) (instance ?S Scales)) (instance ?Q MassMeasure)) |
Society.kif 851-857 | If X is an instance of measuring, Y is a result of X, Z is an instrument for X, and Z is an instance of scales, then Y is an instance of mass measure |
|