Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Ruler
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Ruler MeasuringDevice) | Mid-level-ontology.kif 34292-34292 | Ruler is a subclass of measuring device |
| (documentation Ruler EnglishLanguage "A Rigid instrument used in measuring relatively small distances.") | Mid-level-ontology.kif 34294-34295 | Ruler is a subclass of measuring device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Ruler "ruler") | Mid-level-ontology.kif 34293-34293 |
| antecedent |
|
|
| (=> (instance ?R Ruler) (hasPurpose ?R (exists (?D ?M) (and (instance ?D LinearExtent) (instance ?M Measuring) (result ?M ?D) (instrument ?M ?R))))) |
Mid-level-ontology.kif 34297-34305 | If X is an instance of ruler, then X has the purpose there exist Y, Z such that Y is an instance of LinearExtent, Z is an instance of measuring, Y is a result of Z, and X is an instrument for Z |
| (=> (instance ?R Ruler) (attribute ?R Rigid)) |
Mid-level-ontology.kif 34307-34309 | If X is an instance of ruler, then rigid is an attribute of X |
| (=> (and (instance ?R Ruler) (instance ?M Measuring) (instrument ?M ?R) (patient ?M ?O) (length ?O (MeasureFn ?N Meter))) (lessThan ?N 10.0)) |
Mid-level-ontology.kif 34311-34319 | If X is an instance of ruler, Y is an instance of measuring, X is an instrument for Y, Z is a patient of Y, and the length of Z is W meter(s), then W is less than 10.0 |
|