Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Baton(baton) |  | baton, wand |
| appearance as argument number 1 |
|
|
| (subclass Baton Device) | Mid-level-ontology.kif 3477-3477 | Baton is a subclass of device |
| (documentation Baton EnglishLanguage "A thin stick which is used for MusicalConducting.") | Mid-level-ontology.kif 3478-3478 | Baton is a subclass of device |
| (defaultMinimumLength Baton (MeasureFn 10 Inch)) |
DimensioningAmenities.kif 1046-1046 | The minimum expected length of baton is 10 inch(s) |
| (defaultMaximumLength Baton (MeasureFn 24 Inch)) |
DimensioningAmenities.kif 1047-1047 | The maximum expected length of baton is 24 inch(s) |
| (defaultMinimumMeasure Baton (MeasureFn 0.5 PoundMass)) |
DimensioningAmenities.kif 1048-1048 | The minimum expected value of baton is 0.5 pound mass(s) |
| (defaultMaximumMeasure Baton (MeasureFn 1.5 PoundMass)) |
DimensioningAmenities.kif 1049-1049 | The maximum expected value of baton is 1.5 pound mass(s) |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?B Baton) (hasPurpose ?B (exists (?M ?G) (and (instance ?M MusicalPerformance) (instance ?G Guiding) (subProcess ?G ?M) (instrument ?G ?B))))) |
Mid-level-ontology.kif 3480-3488 | If X is an instance of baton, then X has the purpose there exist Y, Z such that Y is an instance of musical performance, Z is an instance of guiding, Z is a subprocess of Y, and X is an instrument for Z |
| (=> (instance ?B Baton) (attribute ?B LongAndThin)) |
Mid-level-ontology.kif 3490-3492 | If X is an instance of baton, then long and thin is an attribute of X |
|